if (fListener != null) { JavaCore.removeElementChangedListener(fListener); fListener= null;
synchronized(fWorkingSets) { fWorkingSets.clear();
	public void dispose() {		if (fListener != null) {			JavaCore.removeElementChangedListener(fListener);			fListener= null;		}	}