The next release of EiffelStudio 6.0 will fix this problem.