Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.NullProgressMonitor;
import org.eclipse.ui.views.markers.internal.MarkerMessages;
import org.eclipse.ui.views.markers.internal.MarkerType;
import org.eclipse.ui.views.markers.internal.MarkerTypesModel;
/**
 * The MarkersChangeListener is IResourceChangeListener that waits for any
 * change in the markers in workspace that are of the view's interest. Schedules
 * and manages the gathering of markers and updating of UI.
 * 
 * @since 3.6
 */
class MarkersChangeListener implements IResourceChangeListener {
	private LinkedList markerEntryList;
	private List collectingtypes;
	private ExtendedMarkersView view;
	private CachedMarkerBuilder builder;
	private MarkerContentGenerator generator;
	private boolean incremental;
	private boolean updating;
	static final int SHORT_DELAY = 150;
	static final int LONG_DELAY = 10000;
	static final long TIME_OUT = 30000;
	
	private long preBuildTime;
	
	private MarkerUpdateTimer updateTimer;
	
	/**
	 *