if (IWorkbenchPage.CHANGE_WORKING_SET_REPLACE.equals(property)) updateTitle(); else if (IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE.equals(property))
if (IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE.equals(property))
			public void propertyChange(PropertyChangeEvent event) {				String property= event.getProperty();				if (IWorkbenchPage.CHANGE_WORKING_SET_REPLACE.equals(property))					updateTitle();				else if (IWorkingSet.CHANGE_WORKING_SET_NAME_CHANGE.equals(property))					updateTitle();			}