Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
/**
	 * Markers have not changed
	 */
	private void handleNoMarkerChange() {
		
	}
	/**
	 * Schedules marker updates at appropriate events and times.
	 * 
	 * @param event
	 * @param removed
	 * @param added
	 * @param changed
	 */
	private void handleMarkerChange(IResourceChangeEvent event, List removed,
			List added, List changed) {
		if (incremental) {