The bug is fixed in rev#98924 of EiffelStudio 16.05 intermediate bug fix release.