This should be fixed with rev#81614 of EiffelStudio.