Fixed in rev#92776 of EiffelStudio 7.4 intermediate release.