Fixed in rev#96790 of EiffelStudio 15.05 intermediate release.