Fixed in freeelks#552 that will be included in EiffelStudio 7.1 release.