Fixed in rev#92566 of EiffelStudio 7.3 intermediate release.