delete launch configs when project is deleted

editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java

Index: editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java	(revision 6890)
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java	(working copy)
@@ -195,6 +195,30 @@
 
   }
 
+  public static List<ILaunchConfiguration> getLaunchesFor(IProject project) {
+    List<ILaunchConfiguration> launches = new ArrayList<ILaunchConfiguration>();
+
+    for (ILaunchConfiguration config : LaunchUtils.getAllLaunches()) {
+      try {
+        if (config.getMappedResources() == null) {
+          continue;
+        }
+
+        for (IResource resource : config.getMappedResources()) {
+          if (project.equals(resource.getProject())) {
+            if (!launches.contains(config)) {
+              launches.add(config);
+            }
+          }
+        }
+      } catch (CoreException exception) {
+        DartUtil.logError(exception);
+      }
+    }
+
+    return launches;
+  }
+
   /**
    * Return the best launch configuration to run for the given resource.
    * 
@@ -336,30 +360,6 @@
     return new ArrayList<ILaunchConfiguration>(configs);
   }
 
-  private static List<ILaunchConfiguration> getLaunchesFor(IProject project) {
-    List<ILaunchConfiguration> launches = new ArrayList<ILaunchConfiguration>();
-
-    for (ILaunchConfiguration config : LaunchUtils.getAllLaunches()) {
-      try {
-        if (config.getMappedResources() == null) {
-          continue;
-        }
-
-        for (IResource resource : config.getMappedResources()) {
-          if (project.equals(resource.getProject())) {
-            if (!launches.contains(config)) {
-              launches.add(config);
-            }
-          }
-        }
-      } catch (CoreException exception) {
-        DartUtil.logError(exception);
-      }
-    }
-
-    return launches;
-  }
-
   private LaunchUtils() {
 
   }