Thank you for the bug report. The issue is fixed in rev#98614 of EiffelStudio 16.05 intermediate release.