Removing a workspace from Eclipse

Occasionally one wants to remove a workspace from Eclipse.
This is how one can remove it from launching a deleted workspace.

• Close Eclipse if its running
• Browse to the folder /configuration/.settings in the Eclipse installation folder (%ECLIPSE_HOME%)
• Note that .settings is a hidden folder (Ctrl-H in Ubuntu to display hidden files)
• Open the file org.eclipse.ui.ide.prefs. This is where Eclipse stores workspace information.
• Just edit the key named RECENT_WORKSPACES
• Save and restart Eclipse.