Actualizar la Lista de Workspaces Recientes en Eclipse

Cuando se cambia de workspace en Eclipse, aparece una lista con los últimos workspaces con los que has trabajado. Aunque estos workspaces se hayan borrado del disco duro, la lista no se actualiza, y puede aparecer alguno que ya no existe. Para modificar esta lista, es necesario editar el fichero 'org.eclipse.ui.ide.prefs'


 En mi Ubuntu, este fichero se encuentra en ~/.eclipse/org.eclipse.platform_3.5.0_155965261/configuration/.settings/org.eclipse.ui.ide.prefs

Hay que modificar "RECENT_WORKSPACES"