Fixed in rev#87231 of EiffelStudio 7.0 intermediate release.