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

Thanks for your report.