Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
boolean isIncremental() {
		return incremental;
	}
	/**
	 * //Fix for Bug 294959.There is another patch(more exhaustive in terms of
	 * possibilities to cover) on the bug in which we keep scheduling updates
	 * with CANCEL_MARGIN_DELAY after a Post-Build event until we have actually
	 * finished an update. In case the current way has problems on a machine It
	 * would be worth looking at that.An optimization to ensure we do not update
	 * too often, yet be responsive and not miss any change.
	 * 
	 * Note that we re-schedule the update every time.This is to ensure we do
	 * not miss out an update even if another update was externally(UI)
	 * scheduled, and finished much earlier(The changes before that have been
	 * taken care of by the that update).Also we mandate updating once in
	 * TIME-OUT.To change behaviour, changes in the DELAY parameters will
	 * suffice.
	 * 
	 * @since 3.6
	 */
	private class MarkerUpdateTimer {
		/**
		 * This is to allow batching together any changes that may arrive in after a
		 * post-build, in a short interval.This controls how we update when we are
		 * receiving post-build events and change-events continously over a  short
		 * gap of time.
		 */
		private final long CANCEL_MARGIN_DELAY = (SHORT_DELAY * 3);
		private long timeB4Update;
		private long timerValidStart;