This bug is fixed in revision#83548. The fix will be available in next Eiffel Studio intermediate release.

Thanks for your report.