This bug is fixed in revision#80659 for Eiffel Studio intermediate releases. 

Thanks for the reproduce steps.