Project: JDT
Bug 66737 Memento problem with org.eclipse.jdt.search.resultpage.grouping [search]
Reported: 2004-06-11 13:48:00 | Status: verified fixed

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

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchResultPage.java