Eclipse, cancellare la lista dei workspace

Capita molto spesso che la lista dei workspace diventa obsoleta ed e’ comodo cancellare qualche riga. In Eclipse Neon il file da editare e’:

{pathToEclipse}/configuration/.settings/org.eclipse.ui.ide.prefs

MAX_RECENT_WORKSPACES=10
RECENT_WORKSPACES=/home/andrea/Documents/ProgettiEasyCloud/Ing/inbound\n/home/andrea/Documents/ProgettiEasyCloud/WebContainer/2018WorkspaceMaven\n/home/andrea/Documents/ProgettiEasyCloud/FerrovieNord/Progetto RINF 2020/eclipseworkspace\n/home/andrea/Documents/ProgettiEasyCloud/Maffei/EclipseWorkspace\n/home/andrea/Documents/ProgettiEasyCloud/Raccolta MRN/letturaMrnDaPortale
RECENT_WORKSPACES_PROTOCOL=3
SHOW_RECENT_WORKSPACES=true
SHOW_WORKSPACE_SELECTION_DIALOG=true
eclipse.preferences.version=1

Quindi cancellando i paths che non servono dalla variabile RECENT_WORKSPACE otterremo una lista pulita all’apertura di Eclipse.