Fixed in rev#86846 of EiffelStudio 7.0 intermediate release.