Bug 176441 [Markers] NPE while refreshing the problem view
I got this exception using I20070228-0930. No steps to reproduce. It seems to happen when refreshing the problem view. java.lang.NullPointerException at org.eclipse.ui.views.markers.internal.MarkerAdapter.buildAllMarkers(MarkerAdapter.java:251) at org.eclipse.ui.views.markers.internal.MarkerView.updateForContentsRefresh(MarkerView.java:570) at org.eclipse.ui.views.markers.internal.MarkerView$MarkerProcessJob.run(MarkerView.java:151) 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 void refreshForFocusUpdate() {
		if (focusElements != null) {
			updateFilterSelection(focusElements);
			refreshViewer();
		}
	}
	/**
	 * Save the current selection in the update for reselection after update.
	 */
	protected void preserveSelection() {
		updateJob.saveSelection(getViewer().getSelection());
	}
	
	/**
	 * Return the string name of the specific type of marker shown in this view.
	 */
	protected abstract String getMarkerName();
	
	/**
	 * Return the undo context associated with operations performed 
	 * in this view.  By default, return the workspace undo context.
	 * Subclasses should override if a more specific undo context should
	 * be used.
	 */
	protected IUndoContext getUndoContext() {
		return (IUndoContext)ResourcesPlugin.getWorkspace().getAdapter(IUndoContext.class);
	}
}