Fixed in rev#93295 of EiffelStudio 13.11 intermediate release.