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
super.addDropDownContributions(menu);
		menu.add(new Separator(MENU_FILTERS_GROUP));
		
		filtersMenu = new MenuManager(MarkerMessages.filtersSubMenu_title);
		refreshFilterMenu();
		menu.appendToGroup(MENU_FILTERS_GROUP, filtersMenu);
	}
	/**
	 * Create the show in menu if there is a single selection.
	 * 
	 * @param menu
	 */
	void createShowInMenu(IMenuManager menu) {
		ISelection selection = getViewer().getSelection();
		if (!(selection instanceof IStructuredSelection))
			return;
		IStructuredSelection structured = (IStructuredSelection) selection;
		if (!Util.isSingleConcreteSelection(structured))
			return;
		menu.add(new Separator(MENU_SHOW_IN_GROUP));
		
		showInMenu = new MenuManager(IDEWorkbenchMessages.Workbench_showIn);
		showInMenu.add(ContributionItemFactory.VIEWS_SHOW_IN
				.create(getViewSite().getWorkbenchWindow()));
		menu.appendToGroup(MENU_SHOW_IN_GROUP, showInMenu);
	}
	/**
	 * Refresh the marker counts
	 * 
	 * @param monitor