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
newSelection.add(marker);
				}
			}
		}
		if (viewer != null)
			viewer.setSelection(new StructuredSelection(newSelection), reveal);
	}
	protected MarkerList getVisibleMarkers() {
		return getCurrentMarkers();
	}
	/**
	 * Returns the total number of markers. Should not be called while the
	 * marker list is still updating.
	 * 
	 * @return the total number of markers in the workspace (including
	 *         everything that doesn't pass the filters)
	 */
	int getTotalMarkers() {
		
		
		
		
		
		
		
		return totalMarkers;
	}
	/*
	 * (non-Javadoc)
	 *