Fixed in rev#92767 of EiffelStudio 7.4 intermediate release.