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