Program: 9806
Project: 9806
Buggy source:
/** 
 * Show the descriptions for next class to evaluate.
 */
private void showNextEvaluatedDescriptions(){
  showInconsistencyWarning(false);
  NamedClass currentClass=classes.get(currentClassIndex++);
  evaluationTable.setAllColumnsEnabled(OWLAPIDescriptionConvertVisitor.getOWLDescription(currentClass).asOWLClass().getEquivalentClasses(getOWLModelManager().getActiveOntology()).size() > 0);
  String renderedClass=getOWLModelManager().getRendering(OWLAPIDescriptionConvertVisitor.getOWLDescription(currentClass));
  currentClassLabel.setText(CURRENT_CLASS_MESSAGE + "String_Node_Str" + renderedClass+ "String_Node_Str");
  System.out.println("String_Node_Str" + currentClass.toString());
  coveragePanel.setConcept(currentClass);
  progressBar.setValue(currentClassIndex);
  progressBar.setString("String_Node_Str" + currentClassIndex + "String_Node_Str"+ classes.size());
  lastSelectedRowIndex=-1;
  OWLDescription desc=OWLAPIDescriptionConvertVisitor.getOWLDescription(currentClass);
  OWLEntity curEntity=desc.asOWLClass();
  getOWLEditorKit().getWorkspace().getOWLSelectionModel().setSelectedEntity(curEntity);
  evaluationTable.setDescriptions(getMergedDescriptions(currentClass));
  if (currentClassIndex == classes.size()) {
    nextSaveButton.setAction(new AbstractAction("String_Node_Str"){
      /** 
 */
      private static final long serialVersionUID=8298689809521088714L;
      @Override public void actionPerformed(      ActionEvent arg0){
        saveUserInputToFile();
      }
    }
);
    nextSaveButton.setToolTipText("String_Node_Str");
  }
}

Fixed version (ground truth):
/** 
 * Show the descriptions for next class to evaluate.
 */
private void showNextEvaluatedDescriptions(){
  showInconsistencyWarning(false);
  NamedClass newClass=classes.get(currentClassIndex++);
  evaluationTable.setAllColumnsEnabled(OWLAPIDescriptionConvertVisitor.getOWLDescription(newClass).asOWLClass().getEquivalentClasses(getOWLModelManager().getActiveOntology()).size() > 0);
  String renderedClass=getOWLModelManager().getRendering(OWLAPIDescriptionConvertVisitor.getOWLDescription(newClass));
  currentClassLabel.setText(CURRENT_CLASS_MESSAGE + "String_Node_Str" + renderedClass+ "String_Node_Str");
  System.out.println("String_Node_Str" + newClass.toString());
  coveragePanel.setConcept(newClass);
  progressBar.setValue(currentClassIndex);
  progressBar.setString("String_Node_Str" + currentClassIndex + "String_Node_Str"+ classes.size());
  lastSelectedRowIndex=-1;
  OWLDescription desc=OWLAPIDescriptionConvertVisitor.getOWLDescription(newClass);
  OWLEntity curEntity=desc.asOWLClass();
  getOWLEditorKit().getWorkspace().getOWLSelectionModel().setSelectedEntity(curEntity);
  evaluationTable.setDescriptions(getMergedDescriptions(newClass));
  if (currentClassIndex == classes.size()) {
    nextSaveButton.setAction(new AbstractAction("String_Node_Str"){
      /** 
 */
      private static final long serialVersionUID=8298689809521088714L;
      @Override public void actionPerformed(      ActionEvent arg0){
        traceInput(classes.get(currentClassIndex - 1));
        saveUserInputToFile();
      }
    }
);
    nextSaveButton.setToolTipText("String_Node_Str");
  }
}