diff --git a/bundles/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java b/bundles/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java
index c05d0a32861..20c88b8afc3 100644
--- a/bundles/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java
+++ b/bundles/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/MarkerUtilities.java
@@ -31,6 +31,7 @@
 
 import org.eclipse.core.resources.IMarker;
 import org.eclipse.core.resources.IResource;
+import org.eclipse.core.resources.IResourceStatus;
 import org.eclipse.core.resources.IWorkspace;
 import org.eclipse.core.resources.IWorkspaceRunnable;
 import org.eclipse.core.resources.ResourcesPlugin;
@@ -258,7 +259,11 @@ public static String getMarkerType(IMarker marker) {
 		try {
 			return marker.getType();
 		} catch (CoreException x) {
-			handleCoreException(x);
+			// check if the marker marker was deleted and an exception was thrown due to that
+			boolean deletedMarkerNotFound = x.getStatus().getCode() == IResourceStatus.MARKER_NOT_FOUND && !marker.exists();
+			if (!deletedMarkerNotFound) {
+				handleCoreException(x);
+			}
 		}
 		return null;
 	}