diff --git a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/launching/GdbLaunch.java b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/launching/GdbLaunch.java
index 79899995dea..261aff1f991 100644
--- a/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/launching/GdbLaunch.java
+++ b/dsf-gdb/org.eclipse.cdt.dsf.gdb/src/org/eclipse/cdt/dsf/gdb/launching/GdbLaunch.java
@@ -201,19 +201,7 @@ public class GdbLaunch extends Launch
     // ITerminate
     @Override
     public boolean canTerminate() {
-        return super.canTerminate() && fInitialized && !fShutDown;
-    }
-
-    @Override
-    public boolean isTerminated() {
-        return super.isTerminated() || fShutDown;
-    }
-
-
-    @Override
-    public void terminate() throws DebugException {
-        if (fShutDown) return;
-        super.terminate();
+        return fInitialized && super.canTerminate();
     }
     // ITerminate
     ///////////////////////////////////////////////////////////////////////////