Fixed in rev#80336 of EiffelStudio 6.5 intermediate release.