Bug 81070 ElementMapper should not use Integer keys computed from System#identityHashCode
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/workingsets/WorkingSetModel.java
active.putString(TAG_WORKING_SET_NAME, workingSet.getName());
		}
	}
	
	private void restoreState(IMemento memento) {
		String configured= memento.getString(TAG_CONFIGURED);
		if (configured != null)
			fConfigured= Boolean.valueOf(configured).booleanValue();
		fLocalWorkingSetManager= PlatformUI.getWorkbench().createLocalWorkingSetManager();
		addListenersToWorkingSetManagers();
		fLocalWorkingSetManager.restoreState(memento.getChild(TAG_LOCAL_WORKING_SET_MANAGER));
		IMemento[] actives= memento.getChildren(TAG_ACTIVE_WORKING_SET);
		fActiveWorkingSets= new ArrayList(actives.length);
		for (int i= 0; i < actives.length; i++) {
			String name= actives[i].getString(TAG_WORKING_SET_NAME);
			if (name != null) {
				IWorkingSet ws= fLocalWorkingSetManager.getWorkingSet(name);
				if (ws == null) {
					ws= PlatformUI.getWorkbench().getWorkingSetManager().getWorkingSet(name);
				}
				if (ws != null) {
					fActiveWorkingSets.add(ws);
				}
			}
		}
	}
    private void workingSetManagerChanged(PropertyChangeEvent event) {
		String property= event.getProperty();
    	if (IWorkingSetManager.CHANGE_WORKING_SET_UPDATER_INSTALLED.equals(property) && event.getSource() == fLocalWorkingSetManager) {
			IWorkingSetUpdater updater= (IWorkingSetUpdater)event.getNewValue();