Fixed by rev#88424 of EiffelStudio 7.1 intermediate release.