Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersChangeListener.java
stop();
		clearPendingDeltas();
		if (monitor.isCanceled()) {
			return false;
		}
		synchronized (this) {
			incremental = updateIncrementally;
			init();
			if (includeSubTypes) {
				HashSet superTypes = getMutuallyExclusiveSupers(typeIds);
				Iterator iterator = superTypes.iterator();
				while (iterator.hasNext()) {
					MarkerType type = (MarkerType) iterator.next();
					boolean success = startCollectingType(type.getId(),
							includeSubTypes, monitor);
					if (!success) {
						return success;
					}
					if (monitor.isCanceled()) {
						return false;
					}
				}
				HashSet subTypes = getAllSubTypes(typeIds);
				iterator = subTypes.iterator();
				while (iterator.hasNext()) {
					MarkerType type = (MarkerType) iterator.next();
					collectingtypes.add(type.getId());
				}
			} else {
				for (int i = 0; i < typeIds.length; i++) {