Bug 123323 [Markers] Problems view does not display anything (index out of bounds)
I20060110-1026, GTK+ 2.8.8, KDE 3.4.3, X.org 6.8.2, Linux 2.6.14 Whenever I try to look at the Problems view, I get the following exception and nothing is shown. !ENTRY org.eclipse.core.jobs 4 2 2006-01-10 16:28:54.848 !MESSAGE An internal error occurred during: "Process resource updates". !STACK 0 java.lang.ArrayIndexOutOfBoundsException: 9 at org.eclipse.ui.views.markers.internal.TableSorter.compare(TableSorter.java:222) at org.eclipse.ui.views.markers.internal.TableSorter.compare(TableSorter.java:225) at org.eclipse.ui.views.markers.internal.TableSorter.compare(TableSorter.java:225) at org.eclipse.ui.views.markers.internal.TableSorter.compare(TableSorter.java:225) at org.eclipse.ui.views.markers.internal.TableSorter.compare(TableSorter.java:225) at org.eclipse.ui.views.markers.internal.CategorySorter.compare(CategorySorter.java:63) at org.eclipse.ui.views.markers.internal.CategorySorter.compare(CategorySorter.java:96) at org.eclipse.ui.views.markers.internal.SortUtil.partitionHelper(SortUtil.java:114) at org.eclipse.ui.views.markers.internal.SortUtil.getFirst(SortUtil.java:74) at org.eclipse.ui.views.markers.internal.SortUtil.getFirst(SortUtil.java:43) at org.eclipse.ui.views.markers.internal.MarkerAdapter.buildAllMarkers(MarkerAdapter.java:215) at org.eclipse.ui.views.markers.internal.MarkerView.updateForContentsRefresh(MarkerView.java:515) at org.eclipse.ui.views.markers.internal.MarkerView$MarkerProcessJob.run(MarkerView.java:171) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:58)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableSorter.java
}
		try {
			for (int i = 0; i < priorities.length; i++) {
				String priority = settings.get(TAG_PRIORITY + i);
				if (priority == null) {
					resetState();
					return;
				}
				priorities[i] = Integer.parseInt(priority);
				String direction = settings.get(TAG_DIRECTION + i);
				if (direction == null) {
					resetState();
					return;
				}
				directions[i] = Integer.parseInt(direction);
				String defaultPriority = settings.get(TAG_DEFAULT_PRIORITY + i);
				if (defaultPriority == null) {
					resetState();
					return;
				}
				defaultPriorities[i] = Integer.parseInt(defaultPriority);
				String defaultDirection = settings.get(TAG_DEFAULT_DIRECTION
						+ i);
				if (defaultDirection == null) {
					resetState();
					return;
				}
				defaultDirections[i] = Integer.parseInt(defaultDirection);
			}
		} catch (NumberFormatException e) {