Program: 9856
Project: 9856
Buggy source:
@Override public void mouseMoved(MouseEvent m){
  if (m.getX() >= panel.getX1() + panel.getShiftCovered() && m.getX() <= panel.getX2() + panel.getShiftCovered() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2() || m.getX() >= panel.getX1() + panel.getShiftNewConcept() && m.getX() <= panel.getX2() + panel.getShiftNewConcept() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2() || m.getX() >= panel.getX1() + panel.getShiftNewConceptX() && m.getX() <= panel.getX2() + panel.getShiftNewConceptX() && m.getY() >= panel.getY1() + panel.getShiftNewConcept() && m.getY() <= panel.getY2() + panel.getShiftNewConcept() || m.getX() >= panel.getX1() - panel.getShiftOldConcept() && m.getX() <= panel.getX2() - panel.getShiftOldConcept() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2()) {
    panel.getGraphicalCoveragePanel().setToolTipText("String_Node_Str");
  }
  Vector<IndividualPoint> v=panel.getIndividualVector();
  FastInstanceChecker reasoner=model.getReasoner();
  for (int i=0; i < v.size(); i++) {
    if (v.get(i).getXAxis() >= m.getX() - 5 && v.get(i).getXAxis() <= m.getX() + 5 && v.get(i).getYAxis() >= m.getY() - 5 && v.get(i).getYAxis() <= m.getY() + 5) {
      String individualInformation="String_Node_Str" + v.get(i).getIndividualName().toString();
      Set<NamedClass> types=reasoner.getTypes(v.get(i).getDLLearnerIndividual());
      individualInformation+="String_Node_Str";
      for (      NamedClass dlLearnerClass : types) {
        individualInformation+=dlLearnerClass.toManchesterSyntaxString(v.get(i).getBaseUri(),null) + "String_Node_Str";
      }
      Map<ObjectProperty,Set<Individual>> objectProperties=reasoner.getObjectPropertyRelationships(v.get(i).getDLLearnerIndividual());
      Set<ObjectProperty> key=objectProperties.keySet();
      individualInformation+="String_Node_Str";
      for (      ObjectProperty objectProperty : key) {
        Set<Individual> indiSet=objectProperties.get(objectProperty);
        individualInformation=individualInformation + objectProperty.toManchesterSyntaxString(v.get(i).getBaseUri(),null) + "String_Node_Str";
        for (        Individual indi : indiSet) {
          individualInformation+=indi.toManchesterSyntaxString(v.get(i).getBaseUri(),null);
          if (indiSet.size() > 1) {
            individualInformation+="String_Node_Str";
          }
        }
        individualInformation+="String_Node_Str";
      }
      individualInformation+="String_Node_Str";
      panel.getGraphicalCoveragePanel().setToolTipText(individualInformation);
    }
  }
}

Fixed version (ground truth):
@Override public void mouseMoved(MouseEvent m){
  if (m.getX() >= panel.getX1() + panel.getShiftCovered() && m.getX() <= panel.getX2() + panel.getShiftCovered() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2() || m.getX() >= panel.getX1() + panel.getShiftNewConcept() && m.getX() <= panel.getX2() + panel.getShiftNewConcept() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2() || m.getX() >= panel.getX1() + panel.getShiftNewConceptX() && m.getX() <= panel.getX2() + panel.getShiftNewConceptX() && m.getY() >= panel.getY1() + panel.getShiftNewConcept() && m.getY() <= panel.getY2() + panel.getShiftNewConcept() || m.getX() >= panel.getX1() - panel.getShiftOldConcept() && m.getX() <= panel.getX2() - panel.getShiftOldConcept() && m.getY() >= panel.getY1() && m.getY() <= panel.getY2()) {
    panel.getGraphicalCoveragePanel().setToolTipText("String_Node_Str");
  }
  Vector<IndividualPoint> v=panel.getIndividualVector();
  FastInstanceChecker reasoner=model.getReasoner();
  for (int i=0; i < v.size(); i++) {
    if (v.get(i).getXAxis() >= m.getX() - 5 && v.get(i).getXAxis() <= m.getX() + 5 && v.get(i).getYAxis() >= m.getY() - 5 && v.get(i).getYAxis() <= m.getY() + 5) {
      String individualInformation="String_Node_Str" + v.get(i).getIndividualName().toString();
      if (v.get(i).getDLLearnerIndividual() != null) {
        Set<NamedClass> types=reasoner.getTypes(v.get(i).getDLLearnerIndividual());
        individualInformation+="String_Node_Str";
        for (        NamedClass dlLearnerClass : types) {
          individualInformation+=dlLearnerClass.toManchesterSyntaxString(v.get(i).getBaseUri(),null) + "String_Node_Str";
        }
        Map<ObjectProperty,Set<Individual>> objectProperties=reasoner.getObjectPropertyRelationships(v.get(i).getDLLearnerIndividual());
        Set<ObjectProperty> key=objectProperties.keySet();
        individualInformation+="String_Node_Str";
        for (        ObjectProperty objectProperty : key) {
          Set<Individual> indiSet=objectProperties.get(objectProperty);
          individualInformation=individualInformation + objectProperty.toManchesterSyntaxString(v.get(i).getBaseUri(),null) + "String_Node_Str";
          for (          Individual indi : indiSet) {
            individualInformation+=indi.toManchesterSyntaxString(v.get(i).getBaseUri(),null);
            if (indiSet.size() > 1) {
              individualInformation+="String_Node_Str";
            }
          }
          individualInformation+="String_Node_Str";
        }
      }
      individualInformation+="String_Node_Str";
      panel.getGraphicalCoveragePanel().setToolTipText(individualInformation);
    }
  }
}