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
*/
	public void saveState(IMemento memento) {
		super.saveState(memento);
		memento.putInteger(KEY_GROUPING, fCurrentGrouping);
		memento.putInteger(KEY_SORTING, fCurrentSortOrder);
		memento.putString(KEY_FILTERS, encodeFilters());
		if (fLimitElements)
			memento.putString(KEY_GROUPING, TRUE);
		else 
			memento.putString(KEY_LIMIT_ENABLED, FALSE);
		memento.putInteger(KEY_LIMIT, getElementLimit());
	}
	
	void addMatchFilter(MatchFilter filter) {
		fMatchFilters.add(filter);
		filtersChanged();
	}
	
	void enableLimit(boolean enable) {
		fLimitElements= enable;
		if (fLimitElements)
			getSettings().put(KEY_GROUPING, TRUE);
		else 
			getSettings().put(KEY_LIMIT_ENABLED, FALSE);
		limitChanged();
	}
	
	/**
	 * 
	 */