Fixed in rev#103000 of EiffelStudio 19.05 intermediate release (beta 19.03).