Bug 162102 [Workbench] User configurability for MAX_RECENT_WORKSPACES
MAX_RECENT_WORKSPACES=5 from org.eclipse.ui.ide.prefs needs to have an easier interface to change this value. It is obscured from users who need more then 5 workspaces.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java
break;
			case PERS_ENCODING_VERSION_CONFIG_PREFS :
				tokens = ","; 
				break;
		}
		if (tokens == null) 
							
			return new String[0];
			
		StringTokenizer tokenizer = new StringTokenizer(prefValue, tokens);
		for (int i = 0; i < paths.length && tokenizer.hasMoreTokens(); ++i) {
			paths[i] = tokenizer.nextToken();
		}
		return paths;
	}
    /**
	 * Return true if the protocol used to encode the argument memento is
	 * compatible with the receiver's implementation and false otherwise.
	 */
    private static boolean compatibleFileProtocol(IMemento memento) {
        IMemento protocolMemento = memento.getChild(XML.PROTOCOL);
        if (protocolMemento == null) {
			return false;
		}
        Integer version = protocolMemento.getInteger(XML.VERSION);
        return version != null && version.intValue() == PERS_ENCODING_VERSION;
    }
    /**
     * The workspace data is stored in the well known file pointed to by the result
     * of this method.