Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerUpdateJob.java
}
	/**
	 * Process,sort and group the new marker entries in markerEntryList and
	 * update the Markers object
	 * 
	 * @param markerEntryList
	 *            the list of new MarkerEntry(s)
	 */
	private void processMarkerEntries(List markerEntryList,
			IProgressMonitor monitor) {
		synchronized (markerEntryList) {
			Markers markers = builder.getMarkers();
			if (monitor.isCanceled()) {
				return;
			}
			markers.updateWithNewMarkers(markerEntryList, true, monitor);
			if (monitor.isCanceled()) {
				return;
			}
			if (isIncremental()) {
				markerEntryList.clear();
				MarkerEntry[] entries = markers.getMarkerEntryArray();
				for (int i = 0; i < entries.length; i++) {
					markerEntryList.add(entries[i]);
				}
			}
		}
	}
	/*
	 * (non-Javadoc)