Fixed in rev#88124 of EiffelStudio 7.1 intermediate release.