This bug is fixed in revision#83598. The fix will available in next EiffelStudio intermediate release.

Thanks for your report.