Fixed in rev#83498 of EiffelStudio 6.7 intermediate release.