Fixed in rev#82602 of EiffelStudio 6.6 intermediate release.