Fixed in rev#102901 of EiffelStudio 19.05 intermediate release.