The issue is fixed in rev#102594 of EiffelStudio 19.05 intermediate release.