Bug 123319 [Markers] ClassCastException during marker update
3.2 20050116 It is possible to get the following ClassCastException during marker updates. This is because the refreshes are not IMarkers and should not be processed. !ENTRY org.eclipse.core.jobs 4 2 2006-01-10 16:00:48.468 !MESSAGE An internal error occurred during: "Process resource updates". !STACK 0 java.lang.ClassCastException at org.eclipse.ui.views.markers.internal.MarkerView$MarkerProcessJob.getExistingMarkers(MarkerView.java:206) at org.eclipse.ui.views.markers.internal.MarkerView$MarkerProcessJob.run(MarkerView.java:169) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:58)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
private static final String TAG_SELECTION = "selection"; 
	private static final String TAG_MARKER = "marker"; 
	private static final String TAG_RESOURCE = "resource"; 
	private static final String TAG_ID = "id"; 
	private static final String TAG_FILTERS_SECTION = "filters"; 
	private static final String TAG_FILTER_ENTRY = "filter"; 
	private static final String MENU_FILTERS_GROUP = "group.filter";
	private static final String MENU_SHOW_IN_GROUP = "group.showIn";
	
	private static final String OLD_FILTER_SECTION = "filter"; 
	private class MarkerProcessJob extends Job {
		/**
		 * Create a new instance of the receiver.
		 */
		MarkerProcessJob() {
			super(MarkerMessages.MarkerView_processUpdates);
			setSystem(true);
		}
		boolean buildDone = true;
		private Collection refreshes = new ArrayList();