Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
synchronized (markerEntryList) {
				/**
				 * The following performs incremental updation of the markers
				 * that were gathered intially, and keeps them synched at any
				 * point with the markers of interest in Workspace.
				 * Unfortunately marker operations cannot be locked so locking
				 * between gathering of markers and marker deltas is not
				 * possible
				 * 
				 * We do not update incrementally.Anyway, we have this code
				 * for further investigation(*).
				 */
				handleRemovedEntries(removed);
				handleChangedEntries(changed);
				handleAddedEntries(added);
			}
		}
		boolean[] changeFlags = new boolean[] { added.size() > 0,
				removed.size() > 0, changed.size() > 0 };
		scheduleUpdate(changeFlags);
	}
	
	/**
	 * Post-build has happened.
	 */
	protected void postBuild() {
		preBuildTime = -1;
	}
	/**
	 * We are in a pre build state. Do not update until the post build happens.