Fixed in rev#92835 of EiffelStudio 7.4 intermediate release (review#11340012).