Fixed in rev#89593 of EiffelStudio 7.2 intermediate release (review#8563069).