NewSearchUI.getSearchManager().removeSearchResultListener(this); }
	public void searchResultRemoved(ISearchResult search) {		if (search.equals(fResult))			JavaCore.removeElementChangedListener(this);	}