Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
/**
	 * Stop listening for changes.
	 */
	synchronized void stop() {
		ResourcesPlugin.getWorkspace().removeResourceChangeListener(this);
		if (markerEntryList != null) {
			markerEntryList.clear();
			markerEntryList = null;
		}
	}
	/**
	 * Schedule marker update.
	 */
	void scheduleUpdate(long delay, boolean cancelPrevious,
			boolean[] changeFlags) {
		if (cancelPrevious) {
			cancelQueuedUIUpdates();
			cancelUpdate();
		}
		indicateStatus(MarkerMessages.MarkerView_queueing_updates, true);
		builder.scheduleUpdateJob(delay, true, changeFlags);
		
	}
	
	/**
	 * Schedule marker update.
	 */
	void scheduleUpdate(long delay, boolean cancelPrevious) {
		if (cancelPrevious) {
			cancelQueuedUIUpdates();