Program: 9346
Project: 9346
Buggy source:
@Override public void run(){
  Set<OWLIndividual> posIndividuals=null;
  Set<OWLIndividual> negIndividuals=null;
  Set<OWLAxiom> posTestQueries;
  Set<OWLAxiom> negTestQueries;
  if (lp instanceof PosNegLP) {
    posIndividuals=((PosNegLP)lp).getPositiveExamples();
    negIndividuals=((PosNegLP)lp).getNegativeExamples();
  }
 else   if (lp instanceof PosOnlyLP) {
    posIndividuals=((PosOnlyLP)lp).getPositiveExamples();
  }
 else {
    throw new UnsupportedOperationException("String_Node_Str" + lp.getClass());
  }
  posTestQueries=OWLUtils.convertIndividualsToAssertionalAxioms(posIndividuals,classExpression);
  negTestQueries=OWLUtils.convertIndividualsToAssertionalAxioms(safe(negIndividuals),classExpression);
  try {
    Set<OWLProbReasonerResult> posTestResults=computeQueries(posTestQueries);
    Set<OWLProbReasonerResult> negTestResults=computeQueries(negTestQueries);
    PrintWriter outFile=new PrintWriter(outputFile,"String_Node_Str");
    outFile.println("String_Node_Str" + posTestResults.size());
    outFile.println("String_Node_Str" + negTestResults.size());
    outFile.print("String_Node_Str");
    for (    OWLProbReasonerResult q : posTestResults) {
      outFile.print(q.getProbability() + "String_Node_Str");
      outFile.print("String_Node_Str");
    }
    Iterator<OWLProbReasonerResult> it=negTestResults.iterator();
    while (it.hasNext()) {
      OWLProbReasonerResult q=it.next();
      outFile.print(q.getProbability() + "String_Node_Str");
      if (it.hasNext()) {
        outFile.print("String_Node_Str");
      }
      outFile.println();
    }
    outFile.close();
  }
 catch (  OWLException owle) {
    logger.error("String_Node_Str");
    System.exit(State.FAILURE.ordinal());
  }
catch (  FileNotFoundException|UnsupportedEncodingException ex) {
    logger.error("String_Node_Str" + outputFile + "String_Node_Str"+ "String_Node_Str"+ ex.getMessage());
    System.exit(State.FAILURE.ordinal());
  }
}

Fixed version (ground truth):
@Override public void run(){
  Set<OWLIndividual> posIndividuals=null;
  Set<OWLIndividual> negIndividuals=null;
  Set<OWLAxiom> posTestQueries;
  Set<OWLAxiom> negTestQueries;
  if (lp instanceof PosNegLP) {
    posIndividuals=((PosNegLP)lp).getPositiveExamples();
    negIndividuals=((PosNegLP)lp).getNegativeExamples();
  }
 else   if (lp instanceof PosOnlyLP) {
    posIndividuals=((PosOnlyLP)lp).getPositiveExamples();
  }
 else {
    throw new UnsupportedOperationException("String_Node_Str" + lp.getClass());
  }
  posTestQueries=OWLUtils.convertIndividualsToAssertionalAxioms(posIndividuals,classExpression);
  negTestQueries=OWLUtils.convertIndividualsToAssertionalAxioms(safe(negIndividuals),classExpression);
  try {
    Set<OWLProbReasonerResult> posTestResults=computeQueries(posTestQueries);
    Set<OWLProbReasonerResult> negTestResults=computeQueries(negTestQueries);
    PrintWriter outFile=new PrintWriter(outputFile,"String_Node_Str");
    outFile.println("String_Node_Str" + posTestResults.size());
    outFile.println("String_Node_Str" + negTestResults.size());
    outFile.print("String_Node_Str");
    for (    OWLProbReasonerResult q : posTestResults) {
      outFile.print(q.getProbability() + "String_Node_Str");
      outFile.print("String_Node_Str");
    }
    Iterator<OWLProbReasonerResult> it=negTestResults.iterator();
    while (it.hasNext()) {
      OWLProbReasonerResult q=it.next();
      outFile.print(q.getProbability() + "String_Node_Str");
      if (it.hasNext()) {
        outFile.print("String_Node_Str");
      }
    }
    outFile.println();
    outFile.close();
  }
 catch (  OWLException owle) {
    logger.error("String_Node_Str");
    System.exit(State.FAILURE.ordinal());
  }
catch (  FileNotFoundException|UnsupportedEncodingException ex) {
    logger.error("String_Node_Str" + outputFile + "String_Node_Str"+ "String_Node_Str"+ ex.getMessage());
    System.exit(State.FAILURE.ordinal());
  }
}