Thanks for reporting this issue. It has now been solved in rev#96428 of the EiffelStudio environment and the fix will be available shortly in our forthcoming release.