Bug 212581 [launching] widget disposed exception launching

org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationView.java

diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationView.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationView.java
index c398221..3909ba4 100644
--- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationView.java
+++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/launchConfigurations/LaunchConfigurationView.java
@@ -261,7 +261,9 @@
 		Display display = DebugUIPlugin.getStandardDisplay();
         display.asyncExec(new Runnable() {
             public void run() {
-                handleConfigurationAdded(configuration, from);
+            	if(!fTree.isDisposed()) {
+            		handleConfigurationAdded(configuration, from);
+            	}
             }
         });
 	}
@@ -306,7 +308,9 @@
 		Display display = DebugUIPlugin.getStandardDisplay();
 		display.asyncExec(new Runnable() {
 	        public void run() {
-	            handleConfigurationRemoved(configuration);
+	        	if(!fTree.isDisposed()) {
+	        		handleConfigurationRemoved(configuration);
+	        	}
 	        }
 		});
 	}