Fixed in rev#82569 of EiffelStudio 6.6 intermediate release.