Fixed in rev#84216 of EiffelStudio 6.7 intermediate release.