Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
MarkerUpdateTimer() {
		}
		void update() {
			long startTime = view.getLastUIRefreshTime();
			long currentTime = System.currentTimeMillis();
			long updateTimeGap = currentTime - startTime;
			
			boolean cancelable = !(updateTimeGap > TIME_OUT);
			if (!cancelable) {
				cancelable = !isValidTimeOut(startTime, currentTime);
				if (timeB4Update != -1 && cancelable) {
					if (updateTimeGap < CANCEL_MARGIN_DELAY) {
						updateTimeGap = CANCEL_MARGIN_DELAY;
					}
				}
			}
			updateTimeGap = updateTimeGap % TIME_OUT;
			/* This is an optimization and may be removed.But, it
			 * is desirable that we schedule soon after a post-build.
			 */
			if (timeB4Update == -1) {
				
				go(CANCEL_MARGIN_DELAY, true);
				return;
			}
			if (!workspaceBuilding()) {
				if (updateTimeGap + LONG_DELAY > TIME_OUT) {
					go(TIME_OUT - updateTimeGap, false);
				} else {
					go(LONG_DELAY, cancelable);