Fixed in rev#93586 of EiffelStudio 14.05 intermediate release.