if (ws == null) {
if (ws == null || (ws.isAggregateWorkingSet() && ws.isEmpty())) {
					public void propertyChange(PropertyChangeEvent event) {						IWorkingSet ws= (IWorkingSet)event.getNewValue();						if (ws == null) {							fScope= SearchEngine.createWorkspaceScope();							fTitleLabel.setText(null);						} else {							fScope= JavaSearchScopeFactory.getInstance().createJavaSearchScope(ws, true);							fTitleLabel.setText(ws.getLabel());						}						fViewer.setSearchScope(fScope, true);					}