Fixed in rev#80355 of EiffelStudio 6.5 intermediate release.