Wer in Eclipse verschiedene Workspaces verwendet, benutzt sicherlich auf den Auswahldialog beim Start.
Während Eclipse bis zu diesem Dialog kommt, dauert es manchmal etwas, was dazu führt (bei mir zumindest), dass man während des Splashscreens noch schnell chattet oder andere Faxen macht.
Allerdings krallt sich der Dialog zur Workspace den Fokus, woraus dann auch mal ein neuer Workspace mit dem Namen “argl… honk ^^” oder Ähnlichem entsteht. Diesen zu löschen ist nicht weiter schlimm, aber in der Auswahlliste ist dann immer dieser Zombie-Workspace vorhanden.
Um diese Liste aus obigem oder anderem Grund zu ändern, muss man im Eclipse-Verzeichnis in der Datei “org.eclipse.ui.ide.prefs” Hand anlegen. Zu finden ist diese unter “ECLIPSE_HOME/configuration/.settings/”.
via Software Engineering: How To Remove An Obsolet Workspace From Eclipse 3.1.
