Program: 130647
Project: 130647
Buggy source:
private void openConfig(){
  int index=configTable.getSelectionIndex();
  if (index >= 0) {
    JettyLaunchConfigEntry entry=configEntryList.get(index);
    IWorkbench workbench=PlatformUI.getWorkbench();
    IWorkbenchWindow window=workbench.getActiveWorkbenchWindow();
    IWorkbenchPage page=window.getActivePage();
    IEditorInput input=null;
    IEditorDescriptor descriptor=null;
switch (entry.getType()) {
case DEFAULT:
      try {
        ILaunchConfiguration configuration=getCurrentLaunchConfiguration();
        ILaunchDelegate[] delegates=configuration.getType().getDelegates(new HashSet<String>(Arrays.asList("String_Node_Str")));
        if (delegates.length == 1) {
          JettyLaunchConfigurationDelegate delegate=(JettyLaunchConfigurationDelegate)delegates[0].getDelegate();
          File file=delegate.createJettyConfigurationFile(configuration,true);
          descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
          input=new FileStoreEditorInput(EFS.getLocalFileSystem().fromLocalFile(file));
        }
      }
 catch (      CoreException ex) {
        JettyPlugin.error("String_Node_Str",ex);
      }
    break;
case PATH:
{
    File file=new File(entry.getPath());
    descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
    input=new FileStoreEditorInput(EFS.getLocalFileSystem().fromLocalFile(file));
  }
break;
case WORKSPACE:
{
IFile file=ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(entry.getPath()));
descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
input=new FileEditorInput(file);
}
break;
}
try {
IDE.openEditor(page,input,descriptor.getId());
}
 catch (PartInitException ex) {
JettyPlugin.error("String_Node_Str",ex);
}
}
}

Fixed version (ground truth):
private void openConfig(){
  int index=configTable.getSelectionIndex();
  if (index >= 0) {
    JettyLaunchConfigEntry entry=configEntryList.get(index);
    IWorkbench workbench=PlatformUI.getWorkbench();
    IWorkbenchWindow window=workbench.getActiveWorkbenchWindow();
    IWorkbenchPage page=window.getActivePage();
    IEditorInput input=null;
    IEditorDescriptor descriptor=null;
switch (entry.getType()) {
case DEFAULT:
      try {
        ILaunchConfiguration configuration=getCurrentLaunchConfiguration();
        ILaunchDelegate[] delegates=configuration.getType().getDelegates(new HashSet<String>(Arrays.asList("String_Node_Str")));
        if (delegates.length == 1) {
          JettyLaunchConfigurationDelegate delegate=(JettyLaunchConfigurationDelegate)delegates[0].getDelegate();
          File file=delegate.createJettyConfigurationFile(configuration,true);
          descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
          input=new FileStoreEditorInput(EFS.getLocalFileSystem().fromLocalFile(file));
        }
      }
 catch (      CoreException ex) {
        JettyPlugin.error("String_Node_Str",ex);
      }
    break;
case PATH:
{
    File file=new File(entry.getPath());
    descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
    input=new FileStoreEditorInput(EFS.getLocalFileSystem().fromLocalFile(file));
  }
break;
case WORKSPACE:
{
IFile file=ResourcesPlugin.getWorkspace().getRoot().getFile(new Path(entry.getPath()));
descriptor=workbench.getEditorRegistry().getDefaultEditor(file.getName());
input=new FileEditorInput(file);
}
break;
}
if (descriptor != null) {
try {
IDE.openEditor(page,input,descriptor.getId());
}
 catch (PartInitException ex) {
JettyPlugin.error("String_Node_Str",ex);
}
}
}
}