delete launch configs when project is deleted

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

Index: editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/DartDebugUIPlugin.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/DartDebugUIPlugin.java	(revision 6890)
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/DartDebugUIPlugin.java	(working copy)
@@ -1,11 +1,11 @@
 /*
  * Copyright (c) 2012, the Dart project authors.
- * 
+ *
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
- * 
+ *
  * http://www.eclipse.org/legal/epl-v10.html
- * 
+ *
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
  * or implied. See the License for the specific language governing permissions and limitations under
@@ -15,7 +15,10 @@
 
 import com.google.dart.tools.debug.ui.internal.presentation.DebugElementAdapterFactory;
 import com.google.dart.tools.debug.ui.internal.view.DebuggerViewManager;
+import com.google.dart.tools.debug.ui.launch.LaunchResourceChangeListener;
 
+import org.eclipse.core.resources.IResourceChangeEvent;
+import org.eclipse.core.resources.ResourcesPlugin;
 import org.eclipse.jface.resource.ImageDescriptor;
 import org.eclipse.swt.graphics.Image;
 import org.eclipse.ui.plugin.AbstractUIPlugin;
@@ -61,7 +64,7 @@
 
   /**
    * Returns the shared instance
-   * 
+   *
    * @return the shared instance
    */
   public static DartDebugUIPlugin getDefault() {
@@ -70,7 +73,7 @@
 
   /**
    * Get a image from this plugin's icons directory.
-   * 
+   *
    * @param imagePath the image path, relative to the icons directory.
    * @return the specified image
    */
@@ -93,6 +96,7 @@
 
     // Initialize the DebuggerViewManager.
     DebuggerViewManager.getDefault();
+    ResourcesPlugin.getWorkspace().addResourceChangeListener(new LaunchResourceChangeListener(),IResourceChangeEvent.PRE_DELETE);
   }
 
   /**