Fixed in rev#84192 of EiffelStudio 6.7 intermediate release.