Program: 9957
Project: 9957
Buggy source:
@Override protected void paintComponent(Graphics g){
  if (eval != null) {
    Graphics2D g2D;
    g2D=(Graphics2D)g;
    AlphaComposite ac=AlphaComposite.getInstance(AlphaComposite.SRC_OVER,0.5f);
    g2D.setColor(Color.BLACK);
    g2D.drawString(model.getOldConceptOWLAPI().toString(),320,10);
    g2D.setColor(Color.ORANGE);
    g2D.fillOval(310,20,9,9);
    g2D.setColor(Color.black);
    int p=30;
    for (int i=0; i < conceptVector.size(); i++) {
      g2D.drawString(conceptVector.get(i),320,p);
      p=p + 20;
    }
    g2D.setColor(darkGreen);
    Ellipse2D circlePoint=new Ellipse2D.Double(315 - 1,p - 6,3,3);
    g2D.draw(circlePoint);
    g2D.setColor(Color.BLACK);
    g2D.drawString("String_Node_Str",320,p);
    p=p + 20;
    g2D.drawString("String_Node_Str",320,p);
    p=p + 20;
    if (id.equals(EQUI_STRING)) {
      g2D.setColor(darkRed);
      Ellipse2D circlePoint2=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.draw(circlePoint2);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
      p=p + 20;
      g2D.drawString("String_Node_Str",320,p);
    }
 else {
      g2D.setColor(darkRed);
      Ellipse2D circlePoint2=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.draw(circlePoint2);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
      p=p + 20;
      g2D.setColor(Color.BLACK);
      Ellipse2D circlePoint3=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.draw(circlePoint3);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
    }
    g2D.setColor(Color.YELLOW);
    g2D.fill(oldConcept);
    g2D.fillOval(310,0,9,9);
    g2D.setColor(Color.ORANGE);
    g2D.setComposite(ac);
    g2D.fill(newConcept);
    g2D.setColor(Color.BLACK);
    if (coveredIndividualSize != model.getReasoner().getIndividuals(model.getCurrentConcept()).size() && coveredIndividualSize != 0) {
      g2D.drawLine(x1 - 1 - shiftOldConcept,y1 - 1,x2 + 1 - shiftOldConcept,y1 - 1);
      g2D.drawLine(x1 - shiftOldConcept,centerY - 1,x2 - shiftOldConcept,centerY - 1);
      g2D.drawLine(x1 - shiftOldConcept,centerY,x2 - shiftOldConcept,centerY);
      g2D.drawLine(x1 - shiftOldConcept,centerY + 1,x2 - shiftOldConcept,centerY + 1);
      g2D.drawLine(x1 - 1 - shiftOldConcept,y2 + 1,x2 + 1 - shiftOldConcept,y2 + 1);
      g2D.drawLine(x1 - 1 - shiftOldConcept,y1 - 1,x1 - 1 - shiftOldConcept,y2 + 1);
      g2D.drawLine(centerX - 1 - shiftOldConcept,y1,centerX - 1 - shiftOldConcept,y2);
      g2D.drawLine(centerX - shiftOldConcept,y1,centerX - shiftOldConcept,y2);
      g2D.drawLine(centerX + 1 - shiftOldConcept,y1,centerX + 1 - shiftOldConcept,y2);
      g2D.drawLine(x2 + 1 - shiftOldConcept,y1 - 1,x2 + 1 - shiftOldConcept,y2 + 1);
    }
    g2D.drawLine(x1 - 1 + shiftCovered,y1 - 1,x2 + 1 + shiftCovered,y1 - 1);
    g2D.drawLine(x1 + shiftCovered,centerY - 1,x2 + shiftCovered,centerY - 1);
    g2D.drawLine(x1 + shiftCovered,centerY,x2 + shiftCovered,centerY);
    g2D.drawLine(x1 + shiftCovered,centerY + 1,x2 + shiftCovered,centerY + 1);
    g2D.drawLine(x1 - 1 + shiftCovered,y2 + 1,x2 + 1 + shiftCovered,y2 + 1);
    g2D.drawLine(x1 - 1 + shiftCovered,y1 - 1,x1 - 1 + shiftCovered,y2 + 1);
    g2D.drawLine(centerX - 1 + shiftCovered,y1,centerX - 1 + shiftCovered,y2);
    g2D.drawLine(centerX + shiftCovered,y1,centerX + shiftCovered,y2);
    g2D.drawLine(centerX + 1 + shiftCovered,y1,centerX + 1 + shiftCovered,y2);
    g2D.drawLine(x2 + 1 + shiftCovered,y1 - 1,x2 + 1 + shiftCovered,y2 + 1);
    if (coveredIndividualSize != model.getReasoner().getIndividuals(model.getCurrentConcept()).size()) {
      g2D.drawLine(x1 - 1 + shiftNewConcept,y1 - 1,x2 + 1 + shiftNewConcept,y1 - 1);
      g2D.drawLine(x1 + shiftNewConcept,centerY - 1,x2 + shiftNewConcept,centerY - 1);
      g2D.drawLine(x1 + shiftNewConcept,centerY,x2 + shiftNewConcept,centerY);
      g2D.drawLine(x1 + shiftNewConcept,centerY + 1,x2 + shiftNewConcept,centerY + 1);
      g2D.drawLine(x1 - 1 + shiftNewConcept,y2 + 1,x2 + 1 + shiftNewConcept,y2 + 1);
      g2D.drawLine(x1 - 1 + shiftNewConcept,y1 - 1,x1 - 1 + shiftNewConcept,y2 + 1);
      g2D.drawLine(centerX - 1 + shiftNewConcept,y1,centerX - 1 + shiftNewConcept,y2);
      g2D.drawLine(centerX + shiftNewConcept,y1,centerX + shiftNewConcept,y2);
      g2D.drawLine(centerX + 1 + shiftNewConcept,y1,centerX + 1 + shiftNewConcept,y2);
      g2D.drawLine(x2 + 1 + shiftNewConcept,y1 - 1,x2 + 1 + shiftNewConcept,y2 + 1);
    }
    if (((EvaluatedDescriptionClass)eval).getAddition() != 1.0 && ((EvaluatedDescriptionClass)eval).getCoverage() == 1.0) {
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY - 1 + shiftNewConcept,x2 + shiftNewConceptX,centerY - 1 + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY + shiftNewConcept,x2 + shiftNewConceptX,centerY + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY + 1 + shiftNewConcept,x2 + shiftNewConceptX,centerY + 1 + shiftNewConcept);
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x1 - 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
      g2D.drawLine(centerX - 1 + shiftNewConceptX,y1 + shiftNewConcept,centerX - 1 + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(centerX + shiftNewConceptX,y1 + shiftNewConcept,centerX + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(centerX + 1 + shiftNewConceptX,y1 + shiftNewConcept,centerX + 1 + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(x2 + 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
    }
    for (int i=0; i < posCovIndVector.size(); i++) {
      g2D.setColor(darkGreen);
      g2D.draw(posCovIndVector.get(i).getIndividualPoint());
    }
    for (int i=0; i < posNotCovIndVector.size(); i++) {
      g2D.setColor(darkRed);
      g2D.draw(posNotCovIndVector.get(i).getIndividualPoint());
    }
    for (int i=0; i < additionalIndividuals.size(); i++) {
      g2D.setColor(Color.BLACK);
      g2D.draw(additionalIndividuals.get(i).getIndividualPoint());
    }
    this.setVisible(true);
    panel.repaint();
  }
}

Fixed version (ground truth):
@Override protected void paintComponent(Graphics g){
  if (eval != null) {
    Graphics2D g2D;
    g2D=(Graphics2D)g;
    Composite original=g2D.getComposite();
    AlphaComposite ac=AlphaComposite.getInstance(AlphaComposite.SRC_OVER,0.5f);
    g2D.setColor(Color.BLACK);
    g2D.drawString(model.getOldConceptOWLAPI().toString(),320,10);
    g2D.setColor(Color.ORANGE);
    g2D.fillOval(310,20,9,9);
    g2D.setColor(Color.black);
    int p=30;
    for (int i=0; i < conceptVector.size(); i++) {
      g2D.drawString(conceptVector.get(i),320,p);
      p=p + 20;
    }
    g2D.setColor(darkGreen);
    Ellipse2D circlePoint=new Ellipse2D.Double(315 - 1,p - 6,3,3);
    g2D.fill(circlePoint);
    g2D.setColor(Color.BLACK);
    g2D.drawString("String_Node_Str",320,p);
    g2D.setColor(Color.ORANGE);
    g2D.fillOval(445,p - 9,9,9);
    g2D.setColor(Color.BLACK);
    g2D.drawString("String_Node_Str",460,p);
    g2D.setColor(Color.YELLOW);
    g2D.fillOval(490,p - 9,9,9);
    p=p + 20;
    if (id.equals(EQUI_STRING)) {
      g2D.setColor(darkRed);
      Ellipse2D circlePoint2=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.fill(circlePoint2);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
      g2D.setColor(Color.ORANGE);
      g2D.fillOval(445,p - 9,9,9);
      p=p + 20;
      g2D.setColor(darkRed);
      Ellipse2D circlePoint3=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.fill(circlePoint3);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
      g2D.setColor(Color.YELLOW);
      g2D.fillOval(445,p - 9,9,9);
    }
 else {
      g2D.setColor(Color.BLACK);
      Ellipse2D circlePoint2=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.fill(circlePoint2);
      g2D.drawString("String_Node_Str",320,p);
      g2D.setColor(Color.ORANGE);
      g2D.fillOval(445,p - 9,9,9);
      p=p + 20;
      g2D.setColor(darkRed);
      Ellipse2D circlePoint3=new Ellipse2D.Double(315 - 1,p - 6,3,3);
      g2D.fill(circlePoint3);
      g2D.setColor(Color.BLACK);
      g2D.drawString("String_Node_Str",320,p);
      g2D.setColor(Color.YELLOW);
      g2D.fillOval(445,p - 9,9,9);
    }
    g2D.setColor(Color.YELLOW);
    g2D.fill(oldConcept);
    g2D.fillOval(310,0,9,9);
    g2D.setColor(Color.ORANGE);
    g2D.setComposite(ac);
    g2D.fill(newConcept);
    g2D.setColor(Color.BLACK);
    if (coveredIndividualSize != model.getReasoner().getIndividuals(model.getCurrentConcept()).size() && coveredIndividualSize != 0) {
      g2D.drawLine(x1 - 1 - shiftOldConcept,y1 - 1,x2 + 1 - shiftOldConcept,y1 - 1);
      g2D.drawLine(x1 - shiftOldConcept,centerY - 1,x2 - shiftOldConcept,centerY - 1);
      g2D.drawLine(x1 - shiftOldConcept,centerY,x2 - shiftOldConcept,centerY);
      g2D.drawLine(x1 - shiftOldConcept,centerY + 1,x2 - shiftOldConcept,centerY + 1);
      g2D.drawLine(x1 - 1 - shiftOldConcept,y2 + 1,x2 + 1 - shiftOldConcept,y2 + 1);
      g2D.drawLine(x1 - 1 - shiftOldConcept,y1 - 1,x1 - 1 - shiftOldConcept,y2 + 1);
      g2D.drawLine(centerX - 1 - shiftOldConcept,y1,centerX - 1 - shiftOldConcept,y2);
      g2D.drawLine(centerX - shiftOldConcept,y1,centerX - shiftOldConcept,y2);
      g2D.drawLine(centerX + 1 - shiftOldConcept,y1,centerX + 1 - shiftOldConcept,y2);
      g2D.drawLine(x2 + 1 - shiftOldConcept,y1 - 1,x2 + 1 - shiftOldConcept,y2 + 1);
    }
    g2D.drawLine(x1 - 1 + shiftCovered,y1 - 1,x2 + 1 + shiftCovered,y1 - 1);
    g2D.drawLine(x1 + shiftCovered,centerY - 1,x2 + shiftCovered,centerY - 1);
    g2D.drawLine(x1 + shiftCovered,centerY,x2 + shiftCovered,centerY);
    g2D.drawLine(x1 + shiftCovered,centerY + 1,x2 + shiftCovered,centerY + 1);
    g2D.drawLine(x1 - 1 + shiftCovered,y2 + 1,x2 + 1 + shiftCovered,y2 + 1);
    g2D.drawLine(x1 - 1 + shiftCovered,y1 - 1,x1 - 1 + shiftCovered,y2 + 1);
    g2D.drawLine(centerX - 1 + shiftCovered,y1,centerX - 1 + shiftCovered,y2);
    g2D.drawLine(centerX + shiftCovered,y1,centerX + shiftCovered,y2);
    g2D.drawLine(centerX + 1 + shiftCovered,y1,centerX + 1 + shiftCovered,y2);
    g2D.drawLine(x2 + 1 + shiftCovered,y1 - 1,x2 + 1 + shiftCovered,y2 + 1);
    if (coveredIndividualSize != model.getReasoner().getIndividuals(model.getCurrentConcept()).size()) {
      g2D.drawLine(x1 - 1 + shiftNewConcept,y1 - 1,x2 + 1 + shiftNewConcept,y1 - 1);
      g2D.drawLine(x1 + shiftNewConcept,centerY - 1,x2 + shiftNewConcept,centerY - 1);
      g2D.drawLine(x1 + shiftNewConcept,centerY,x2 + shiftNewConcept,centerY);
      g2D.drawLine(x1 + shiftNewConcept,centerY + 1,x2 + shiftNewConcept,centerY + 1);
      g2D.drawLine(x1 - 1 + shiftNewConcept,y2 + 1,x2 + 1 + shiftNewConcept,y2 + 1);
      g2D.drawLine(x1 - 1 + shiftNewConcept,y1 - 1,x1 - 1 + shiftNewConcept,y2 + 1);
      g2D.drawLine(centerX - 1 + shiftNewConcept,y1,centerX - 1 + shiftNewConcept,y2);
      g2D.drawLine(centerX + shiftNewConcept,y1,centerX + shiftNewConcept,y2);
      g2D.drawLine(centerX + 1 + shiftNewConcept,y1,centerX + 1 + shiftNewConcept,y2);
      g2D.drawLine(x2 + 1 + shiftNewConcept,y1 - 1,x2 + 1 + shiftNewConcept,y2 + 1);
    }
    if (((EvaluatedDescriptionClass)eval).getAddition() != 1.0 && ((EvaluatedDescriptionClass)eval).getCoverage() == 1.0) {
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY - 1 + shiftNewConcept,x2 + shiftNewConceptX,centerY - 1 + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY + shiftNewConcept,x2 + shiftNewConceptX,centerY + shiftNewConcept);
      g2D.drawLine(x1 + shiftNewConceptX,centerY + 1 + shiftNewConcept,x2 + shiftNewConceptX,centerY + 1 + shiftNewConcept);
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
      g2D.drawLine(x1 - 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x1 - 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
      g2D.drawLine(centerX - 1 + shiftNewConceptX,y1 + shiftNewConcept,centerX - 1 + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(centerX + shiftNewConceptX,y1 + shiftNewConcept,centerX + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(centerX + 1 + shiftNewConceptX,y1 + shiftNewConcept,centerX + 1 + shiftNewConceptX,y2 + shiftNewConcept);
      g2D.drawLine(x2 + 1 + shiftNewConceptX,y1 - 1 + shiftNewConcept,x2 + 1 + shiftNewConceptX,y2 + 1 + shiftNewConcept);
    }
    for (int i=0; i < posCovIndVector.size(); i++) {
      g2D.setColor(darkGreen);
      g2D.fill(posCovIndVector.get(i).getIndividualPoint());
    }
    for (int i=0; i < posNotCovIndVector.size(); i++) {
      g2D.setColor(darkRed);
      g2D.fill(posNotCovIndVector.get(i).getIndividualPoint());
    }
    for (int i=0; i < additionalIndividuals.size(); i++) {
      g2D.setColor(Color.BLACK);
      g2D.fill(additionalIndividuals.get(i).getIndividualPoint());
    }
    if (!((EvaluatedDescriptionClass)eval).isConsistent()) {
      g2D.setComposite(original);
      g2D.setColor(darkRed);
      g2D.drawString("String_Node_Str",0,220);
    }
    this.setVisible(true);
    panel.repaint();
  }
}