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