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
return null;
		}
	}
	private ContextProvider contextProvider = new ContextProvider();
	protected ActionCopyMarker copyAction;
	protected ActionPasteMarker pasteAction;
	protected SelectionProviderAction revealAction;
	protected SelectionProviderAction openAction;
	protected SelectionProviderAction deleteAction;
	protected SelectionProviderAction selectAllAction;
	protected SelectionProviderAction propertiesAction;
	private ISelectionListener focusListener = new ISelectionListener() {
		public void selectionChanged(IWorkbenchPart part, ISelection selection) {
			MarkerView.this.focusSelectionChanged(part, selection);
		}
	};
	private int totalMarkers = 0;
	
	private MarkerFilter[] markerFilters = new MarkerFilter[0];
	
	private MarkerFilter[] enabledFilters = null;
	private MenuManager filtersMenu;
	private MenuManager showInMenu;
	private IPropertyChangeListener workingSetListener;
	/**
	 * Get the current markers for the receiver.
	 * 
	 * @return MarkerList
	 */
	public MarkerList getCurrentMarkers() {