diff --git a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
index 62eee01cd6a..8d8b149cacc 100644
--- a/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
+++ b/plugins/org.eclipse.dd.gdb/src/org/eclipse/dd/gdb/internal/provisional/launching/GdbLaunchDelegate.java
@@ -182,7 +182,7 @@ public class GdbLaunchDelegate extends LaunchConfigurationDelegate
         } finally {
             if (!succeed) {
                 // finalLaunchSequence failed. Shutdown the session so that all started
-                // services including any GDB process are shutdown.
+                // services including any GDB process are shutdown. (bug 251486)
                 //
                 final GdbLaunch gdbLaunch = launch;