Bug 120736 [Markers] NPE during: "Fetching children of Problems".
[I20051213-0010, Windows XP] I can only reproduce this in my inner workspace, not in the outer one. It happens when I selected "New Window" and then close the new window immediately. java.lang.NullPointerException at org.eclipse.ui.views.markers.internal.MarkerView.scheduleCountUpdate(MarkerView.java:1432) at org.eclipse.ui.views.markers.internal.MarkerAdapter.fetchDeferredChildren(MarkerAdapter.java:201) at org.eclipse.ui.progress.DeferredTreeContentManager$1.run(DeferredTreeContentManager.java:192) 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
* (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.internal.tableview.TableView#fillContextMenu(org.eclipse.jface.action.IMenuManager)
	 */
	protected void fillContextMenu(IMenuManager manager) {
		if (manager == null)
			return;
		manager.add(openAction);
		createShowInMenu(manager);
		manager.add(new Separator());
		manager.add(copyAction);
		pasteAction.updateEnablement();
		manager.add(pasteAction);
		manager.add(deleteAction);
		manager.add(selectAllAction);
		fillContextMenuAdditions(manager);
		manager.add(new Separator(IWorkbenchActionConstants.MB_ADDITIONS));
		manager.add(new Separator());
		manager.add(propertiesAction);
	}
	/**
	 * Fill the context menu for the receiver.
	 * 
	 * @param manager
	 */
	abstract void fillContextMenuAdditions(IMenuManager manager);
	/**
	 * Get the filters for the receiver.
	 * 
	 * @return MarkerFilter[]