Fixed in rev#87354 of EiffelStudio 7.0 intermediate release.