Fixed in rev#98186 of EiffelStudio 15.11 intermediate release.