Fixed in rev#102127 of EiffelStudio 18.11 intermediate release.