### Eclipse Workspace Patch 1.0
#P org.eclipse.core.resources
Index: src/org/eclipse/core/internal/resources/MarkerManager.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/MarkerManager.java,v
retrieving revision 1.48
diff -u -r1.48 MarkerManager.java
--- src/org/eclipse/core/internal/resources/MarkerManager.java	14 Mar 2007 21:41:36 -0000	1.48
+++ src/org/eclipse/core/internal/resources/MarkerManager.java	15 Mar 2007 15:56:16 -0000
@@ -123,9 +123,11 @@
 		int size = markers.size();
 		if (size <= 0)
 			return max;
-		IMarkerSetElement[] elements = markers.elements();
+		IMarkerSetElement[] elements = markers.elements;
 		for (int i = 0; i < elements.length; i++) {
 			MarkerInfo marker = (MarkerInfo) elements[i];
+			if (marker == null)
+				continue;
 			// if the type is null then we are looking for all types of markers
 			if (type == null)
 				max = Math.max(max, getSeverity(marker));