Fixed in rev#101778 of EiffelStudio 18.07 release.