Program: 9833
Project: 9833
Buggy source:
@Override public void actionPerformed(ActionEvent e){
  traceInput();
  if (e.getActionCommand().equals("String_Node_Str")) {
    NamedClass nc=classesTable.getSelectedClass(currentClassIndex);
    if (!showingMultiTables) {
    }
    if (showingMultiTables && showingEquivalentSuggestions) {
      if (defaultSuperMap.get(nc) != null) {
        showSuperSuggestions(nc);
        showSingleTable();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        graphPanel.setConcept(classesTable.getSelectedClass(currentClassIndex));
        showEquivalentSuggestions(classesTable.getSelectedClass(currentClassIndex));
        showSingleTable();
      }
    }
 else     if (!showingMultiTables && showingEquivalentSuggestions) {
      if (owlEquivalenceStandardMap.get(nc) != null) {
        showMultiTables();
      }
 else       if (defaultSuperMap.get(nc) != null) {
        showSuperSuggestions(nc);
        showSingleTable();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        graphPanel.setConcept(classesTable.getSelectedClass(currentClassIndex));
        if (defaultEquivalenceMap.get(classesTable.getSelectedClass(currentClassIndex)) != null) {
          showEquivalentSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
 else {
          showSuperSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
        showSingleTable();
      }
    }
 else     if (!showingMultiTables && !showingEquivalentSuggestions) {
      if (owlSuperStandardMap.get(nc) != null) {
        showMultiTables();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        NamedClass newNc=classesTable.getSelectedClass(currentClassIndex);
        graphPanel.setConcept(newNc);
        if (defaultEquivalenceMap.get(newNc) != null) {
          showEquivalentSuggestions(newNc);
        }
 else {
          showSuperSuggestions(newNc);
        }
        showSingleTable();
      }
    }
 else {
      currentClassIndex++;
      classesTable.setSelectedClass(currentClassIndex);
      NamedClass newCl=classesTable.getSelectedClass(currentClassIndex);
      graphPanel.setConcept(newCl);
      if (defaultEquivalenceMap.containsKey(newCl)) {
        showEquivalentSuggestions(newCl);
      }
 else {
        showSuperSuggestions(newCl);
      }
      showSingleTable();
    }
    setFinished();
    resetTablePanels();
  }
 else   if (e.getActionCommand().equals("String_Node_Str")) {
    closeDialog();
    saveInput();
  }
}

Fixed version (ground truth):
@Override public void actionPerformed(ActionEvent e){
  traceInput();
  if (e.getActionCommand().equals("String_Node_Str")) {
    defaultTab.clearSelection();
    NamedClass nc=classesTable.getSelectedClass(currentClassIndex);
    if (!showingMultiTables) {
    }
    if (showingMultiTables && showingEquivalentSuggestions) {
      if (defaultSuperMap.get(nc) != null) {
        showSuperSuggestions(nc);
        showSingleTable();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        graphPanel.setConcept(classesTable.getSelectedClass(currentClassIndex));
        if (defaultEquivalenceMap.get(classesTable.getSelectedClass(currentClassIndex)) != null) {
          showEquivalentSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
 else {
          showSuperSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
        showSingleTable();
      }
    }
 else     if (!showingMultiTables && showingEquivalentSuggestions) {
      if (owlEquivalenceStandardMap.get(nc) != null) {
        showMultiTables();
      }
 else       if (defaultSuperMap.get(nc) != null) {
        showSuperSuggestions(nc);
        showSingleTable();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        graphPanel.setConcept(classesTable.getSelectedClass(currentClassIndex));
        if (defaultEquivalenceMap.get(classesTable.getSelectedClass(currentClassIndex)) != null) {
          showEquivalentSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
 else {
          showSuperSuggestions(classesTable.getSelectedClass(currentClassIndex));
        }
        showSingleTable();
      }
    }
 else     if (!showingMultiTables && !showingEquivalentSuggestions) {
      if (owlSuperStandardMap.get(nc) != null) {
        showMultiTables();
      }
 else {
        currentClassIndex++;
        classesTable.setSelectedClass(currentClassIndex);
        NamedClass newNc=classesTable.getSelectedClass(currentClassIndex);
        graphPanel.setConcept(newNc);
        if (defaultEquivalenceMap.get(newNc) != null) {
          showEquivalentSuggestions(newNc);
        }
 else {
          showSuperSuggestions(newNc);
        }
        showSingleTable();
      }
    }
 else {
      currentClassIndex++;
      classesTable.setSelectedClass(currentClassIndex);
      NamedClass newCl=classesTable.getSelectedClass(currentClassIndex);
      graphPanel.setConcept(newCl);
      if (defaultEquivalenceMap.containsKey(newCl)) {
        showEquivalentSuggestions(newCl);
      }
 else {
        showSuperSuggestions(newCl);
      }
      showSingleTable();
    }
    setFinished();
    resetTablePanels();
  }
 else   if (e.getActionCommand().equals("String_Node_Str")) {
    closeDialog();
    saveInput();
  }
}