Fixed in rev#105171 of EiffelStudio 21.05 intermediate release.