protected void handleServerButtonSelected() {
   final Server newServer = getServerFromWizard();
   if (newServer != null) {
     Display.getDefault()
         .asyncExec(
             new Runnable() {
               public void run() {
                 servers.add(newServer);
                 serverCombo.add(newServer.getName());
                 serverCombo.select(serverCombo.indexOf(newServer.getName()));
                 handleServerSelection();
               }
             });
   }
 }
 private void deleteLaunchConfiguration(final ILaunchConfiguration launchConfig)
     throws CoreException {
   Display.getDefault()
       .asyncExec(
           new Runnable() {
             public void run() {
               ILaunchConfiguration config = launchConfig;
               try {
                 if (config instanceof ILaunchConfigurationWorkingCopy) {
                   config = ((ILaunchConfigurationWorkingCopy) config).getOriginal();
                 }
                 if (config != null) {
                   config.delete();
                 }
               } catch (CoreException ce) {
                 // Ignore
               }
             }
           });
 }