if (fTitleUpdater != null) fTitleUpdater.propertyChange(new PropertyChangeEvent(this, IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE, null, workingSet));
if (fTitleUpdater != null) { String workingSetName= null; if (workingSet != null) workingSetName= workingSet.getName(); fTitleUpdater.propertyChange(new PropertyChangeEvent(this, IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE, null, workingSetName)); }
	public void setWorkingSet(IWorkingSet workingSet) {		// store default for new view//		IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore();//		String workingSetName= ""; //$NON-NLS-1$//		if (workingSet != null)//			workingSetName= workingSet.getName();//		store.setValue(fPreferenceKey, workingSetName);		// Update action		fClearWorkingSetAction.setEnabled(workingSet != null);		// Update listeners		if (fWorkingSet != null)			fWorkingSet.removePropertyChangeListener(fPropertyChangeListener);		if (workingSet != null)			workingSet.addPropertyChangeListener(fPropertyChangeListener);			fWorkingSet= workingSet;		// Update viewer		if (fWorkingSetFilter != null) {			fWorkingSetFilter.setWorkingSet(workingSet);				fViewer.getControl().setRedraw(false);			fViewer.refresh();			if (fTitleUpdater != null)				fTitleUpdater.propertyChange(new PropertyChangeEvent(this, IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE, null, workingSet));			fViewer.getControl().setRedraw(true);		}	}