From bb5fa1ce0a1bb74bb97b9de773ce2511208f1b7d Mon Sep 17 00:00:00 2001
From: Andrey Loskutov <loskutov@gmx.de>
Date: Tue, 14 Jul 2026 08:50:28 +0200
Subject: [PATCH] Don't report errors while updating already deleted launch
 configs

Fixes https://github.com/eclipse-platform/eclipse.platform/issues/2814
---
 .../core/org/eclipse/debug/core/Launch.java                   | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debug/org.eclipse.debug.core/core/org/eclipse/debug/core/Launch.java b/debug/org.eclipse.debug.core/core/org/eclipse/debug/core/Launch.java
index e63150a30a9..ea094c098dc 100644
--- a/debug/org.eclipse.debug.core/core/org/eclipse/debug/core/Launch.java
+++ b/debug/org.eclipse.debug.core/core/org/eclipse/debug/core/Launch.java
@@ -494,7 +494,9 @@ protected void fireTerminate() {
 					prefs.flush();
 				}
 			} catch (CoreException | BackingStoreException e) {
-				DebugPlugin.log(e);
+				if (launchConfig.exists()) {
+					DebugPlugin.log(e);
+				}
 			}
 		}
 		if (!fSuppressChange) {