Fixed in rev#102397 of EiffelStudio 18.11 intermediate release.