Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
* 
	 */
	void cancelUpdate() {
		builder.cancelUpdate();
	}
	/**
	 * Cancel any UI update if pending.
	 * 
	 */
	void cancelQueuedUIUpdates() {
		view.cancelQueuedUpdates();
	}
	/**
	 * Checks if the workspace is building
	 * 
	 */
	boolean workspaceBuilding() {
			return preBuildTime > 0;
	}
	/**
	 * Tells the listener to become responsive to changes for the specified
	 * types of markers. Also collects them as a part of initial setup, in case
	 * a incremental updating is desired.
	 * 
	 * @param typeIds the ids of the IMarker types
	 * @param includeSubTypes true to include the sub-marker-types
	 * @param updateIncrementally true if incremental behavior is desired
	 */
	boolean startCollectingType(String[] typeIds, boolean includeSubTypes,
			boolean updateIncrementally, IProgressMonitor monitor) {