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
priorities = other.getPriorities();
		directions = other.getDirections();
	}
	public TableSorter(IField[] properties, final int[] defaultPriorities,
			final int[] defaultDirections) {
		super();
		this.fields = properties;
		if (properties == null
				|| defaultPriorities == null
				|| defaultDirections == null
				|| !(properties.length == defaultPriorities.length && properties.length == defaultDirections.length)
				|| !verifyPriorities(defaultPriorities)
				|| !verifyDirections(defaultDirections)) {
			this.priorities = new int[0];
			this.directions = new int[0];
			this.defaultPriorities = new int[0];
			this.defaultDirections = new int[0];
		} else {
			this.priorities = new int[defaultPriorities.length];
			System.arraycopy(defaultPriorities, 0, this.priorities, 0,
					priorities.length);
			this.directions = new int[defaultDirections.length];
			System.arraycopy(defaultDirections, 0, this.directions, 0,
					directions.length);
			this.defaultPriorities = new int[defaultPriorities.length];
			System.arraycopy(defaultPriorities, 0, this.defaultPriorities, 0,
					defaultPriorities.length);
			this.defaultDirections = new int[defaultDirections.length];
			System.arraycopy(defaultDirections, 0, this.defaultDirections, 0,
					defaultDirections.length);