Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
* @param view
	 *            the marker view the listener is listening for
	 * @param builder
	 *            the builder for the view
	 */
	MarkersChangeListener(ExtendedMarkersView view, CachedMarkerBuilder builder) {
		this.view = view;
		this.builder = builder;
		updateTimer = new MarkerUpdateTimer();
	}
	/**
	 * Initialize the listener.
	 */
	private void init() {
		markerEntryList = new LinkedList();
		collectingtypes = new ArrayList();
		updating = false;
		start();
	}
	/**
	 * Start listening for changes.
	 */
	private void start() {
		generator = builder.getGenerator();
		ResourcesPlugin.getWorkspace().addResourceChangeListener(
				this,
				IResourceChangeEvent.POST_CHANGE
						| IResourceChangeEvent.PRE_BUILD
						| IResourceChangeEvent.POST_BUILD);
	}