Thank you for your report. So far we were unable to reproduce the issue with the recent version of EiffelStudio. Could you check that it still happens with EiffelStudio 15.12, please? If so, could you provide a self-contained example that demonstrates it?