Fixed in rev#104405 of EiffelStudio 20.05 intermediate release.