Bug 66737 Memento problem with org.eclipse.jdt.search.resultpage.grouping [search]
build I20040611-0010 Saw the following entry in my log: !ENTRY org.eclipse.ui 4 4 Jun 11, 2004 13:16:05.683 !MESSAGE Memento problem - invalid integer for key: org.eclipse.jdt.search.resultpage.grouping value: TRUE
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchResultPage.java
return null;
	}
	
	protected void handleOpen(OpenEvent event) {
		Object firstElement= ((IStructuredSelection)event.getSelection()).getFirstElement();
		if (firstElement instanceof ICompilationUnit || 
				firstElement instanceof IClassFile || 
				firstElement instanceof IMember) {
			if (getDisplayedMatchCount(firstElement) == 0) {
				fActionGroup.handleOpen(event);
				return;
			}
		}
		super.handleOpen(event);
	}
	public void setFilters(MatchFilter[] enabledFilters) {
		fMatchFilters.clear();
		for (int i = 0; i < enabledFilters.length; i++) {
			fMatchFilters.add(enabledFilters[i]);
		}
		filtersChanged();
	}
	void setElementLimit(int elementLimit) {
		fElementLimit= elementLimit;
		getSettings().put(KEY_LIMIT, elementLimit);
		limitChanged();
	}
	
}