Miscellany

		final IWorkspace workspace = ResourcesPlugin.getWorkspace();		final IWorkspaceRoot root = workspace.getRoot();		final Collection errorMarkerCollection = new ArrayList();		try {			final IMarker[] markers = root.findMarkers(null, true,					IResource.DEPTH_INFINITE);			if (markers != null) {				for (int i = 0; i < markers.length; i++) {					final IMarker marker = markers[i];					final int severity = marker.getAttribute(IMarker.SEVERITY,							IMarker.SEVERITY_INFO);					if (severity == IMarker.SEVERITY_ERROR) {						errorMarkerCollection.add(marker);					}				}			}		} catch (final CoreException e) {			e.printStackTrace();		}