Merge pull request #2738 from eclipse/cd_restore_deleteMarkers

Restore old exception handling for
eclipse · Jul 12, 2023 · c32a3be · c32a3be
2 parents 105a4dc + 4cebfc2
commit c32a3be
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/tasks/TaskMarkerContributor.java b/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/tasks/TaskMarkerContributor.java
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2014, 2020 itemis AG (http://www.itemis.eu) and others.
+ * Copyright (c) 2014, 2023 itemis AG (http://www.itemis.eu) and others.
  * This program and the accompanying materials are made available under the
  * terms of the Eclipse Public License 2.0 which is available at
  * http://www.eclipse.org/legal/epl-2.0.
@@ -65,8 +65,8 @@ protected void createTaskMarkers(IFile file, List<Task> tasks, IProgressMonitor
 	public void deleteMarkers(IFile file, IProgressMonitor monitor) {
 		try {
 			file.deleteMarkers(TaskMarkerTypeProvider.XTEXT_TASK_TYPE, true, IResource.DEPTH_ZERO);
-		} catch (Throwable e) {
-			throw new RuntimeException(e);
+		} catch (CoreException e) {
+			LOG.error(e.getMessage(), e);
 		}
 	}
 }