Fixed in rev#82547 of EiffelStudio 6.6 intermediate release.