Fixed in rev#92769 of EiffelStudio 7.4 intermediate release.