Fixed in rev#93578 of EiffelStudio 14.05 intermediate release.