Fixed in rev#102911 of EiffelStudio 19.05 intermediate release and 19.02 beta release.