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
IDE.Preferences.SHOW_WORKSPACE_SELECTION_DIALOG,
				showDialog);
		
		node.putInt(IDE.Preferences.MAX_RECENT_WORKSPACES,
				recentWorkspaces.length);
		
		if (selection != null) {
			String oldEntry = recentWorkspaces[0];
			recentWorkspaces[0] = selection;
			for (int i = 1; i < recentWorkspaces.length && oldEntry != null; ++i) {
				if (selection.equals(oldEntry)) {
					break;
				}
				String tmp = recentWorkspaces[i];
				recentWorkspaces[i] = oldEntry;
				oldEntry = tmp;
			}
		}
		
		String encodedRecentWorkspaces = encodeStoredWorkspacePaths(recentWorkspaces);
		node.put(IDE.Preferences.RECENT_WORKSPACES,
				encodedRecentWorkspaces);
		
		node.putInt(IDE.Preferences.RECENT_WORKSPACES_PROTOCOL,
				PERS_ENCODING_VERSION_CONFIG_PREFS_NO_COMMAS);
		
		try {
			node.flush();
		} catch (BackingStoreException e) {