This should be fixed in rev#81614 of EiffelStudio.