Closing the report because the workaround for the issue is found and the fix is planned for the next public release of EiffelStudio.