Bug 315281 update copyrights for 3.6
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerContentGenerator.java
}
				markers = resource.findMarkers(typeId, includeSubTypes,
						IResource.DEPTH_INFINITE);
			} catch (CoreException e) {
				MarkerSupportInternalUtilities.logViewError(e);
			}
			if (markers == null) {
				continue;
			}
			if (monitor.isCanceled()) {
				return false;
			}
			for (int i = 0; i < markers.length; i++) {
				MarkerEntry entry = new MarkerEntry(markers[i]);
				if (select(entry)) {
					result.add(entry);
				}
				if (i % 500 == 0) {
					if (monitor.isCanceled()) {
						return false;
					}
				}
			}
		}
		return true;
	}
	void dispose() {
	}
}