Fixed in rev#93711 of EiffelStudio 14.05 intermediate release.