Bug 153888 [Markers] Marker views update on each resource delta (was: Problems view flashes when launching anything)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
protected SelectionProviderAction deleteAction;
	protected SelectionProviderAction selectAllAction;
	protected SelectionProviderAction propertiesAction;
	protected UndoActionHandler undoAction;
	protected RedoActionHandler redoAction;
	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;
	private MarkerAdapter adapter;
	private IPropertyChangeListener preferenceListener;
	/**
	 * Create a new instance of the receiver,
	 */
	public MarkerView() {
		super();
		preferenceListener = new IPropertyChangeListener() {
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
			 */