Fixed in rev#98561 of EiffelStudio 16.05 intermediate release.