Fixed in rev#86839 of EiffelStudio 7.0 intermediate release.