The problem occurred with the second last version of EiffelStudio 6.0 that was released.  I can't provide the version number because I just downloaded the newest version and have uninstalled the last - haven't installed the version I just downloaded yet.