Program: 92462
Project: 92462
Buggy source:
/** 
 * @name Test/debugging functions
 */
@SuppressWarnings("String_Node_Str") boolean checkNodeIntegrity(HTNode zenode){
  HTNode otherNode;
  CoreNode node;
  String message="String_Node_Str";
  boolean ret=true;
  if (!(zenode instanceof CoreNode)) {
    return true;
  }
  node=(CoreNode)zenode;
  if (node.getNbChildren() > 0) {
    otherNode=treeIO.readNode(node.getChild(0));
    if (node.getNodeStart() != otherNode.getNodeStart()) {
      message+="String_Node_Str" + node.getNodeStart() + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getNodeStart()+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str";
      ret=false;
    }
    if (node.isDone()) {
      otherNode=treeIO.readNode(node.getLatestChild());
      if (node.getNodeEnd() != otherNode.getNodeEnd()) {
        message+="String_Node_Str" + node.getNodeEnd() + "String_Node_Str"+ otherNode.getNodeEnd()+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str";
        ret=false;
      }
    }
  }
  for (int i=0; i < node.getNbChildren(); i++) {
    otherNode=treeIO.readNode(node.getChild(i));
    if (otherNode.getNodeStart() != node.getChildStart(i)) {
      message+="String_Node_Str" + node.getChild(i) + "String_Node_Str"+ node.getChildStart(i)+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str"+ otherNode.getNodeStart()+ "String_Node_Str";
      ret=false;
    }
  }
  if (!ret) {
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str" + node.getSequenceNumber() + "String_Node_Str");
    System.out.println(message);
  }
  return ret;
}

Fixed version (ground truth):
/** 
 * @name Test/debugging functions
 */
@SuppressWarnings("String_Node_Str") boolean checkNodeIntegrity(HTNode zenode){
  HTNode otherNode;
  CoreNode node;
  StringBuffer buf=new StringBuffer();
  boolean ret=true;
  if (!(zenode instanceof CoreNode)) {
    return true;
  }
  node=(CoreNode)zenode;
  if (node.getNbChildren() > 0) {
    otherNode=treeIO.readNode(node.getChild(0));
    if (node.getNodeStart() != otherNode.getNodeStart()) {
      buf.append("String_Node_Str" + node.getNodeStart() + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getNodeStart()+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str");
      ret=false;
    }
    if (node.isDone()) {
      otherNode=treeIO.readNode(node.getLatestChild());
      if (node.getNodeEnd() != otherNode.getNodeEnd()) {
        buf.append("String_Node_Str" + node.getNodeEnd() + "String_Node_Str"+ otherNode.getNodeEnd()+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str");
        ret=false;
      }
    }
  }
  for (int i=0; i < node.getNbChildren(); i++) {
    otherNode=treeIO.readNode(node.getChild(i));
    if (otherNode.getNodeStart() != node.getChildStart(i)) {
      buf.append("String_Node_Str" + node.getChild(i) + "String_Node_Str"+ node.getChildStart(i)+ "String_Node_Str"+ "String_Node_Str"+ otherNode.getSequenceNumber()+ "String_Node_Str"+ otherNode.getNodeStart()+ "String_Node_Str");
      ret=false;
    }
  }
  if (!ret) {
    System.out.println("String_Node_Str");
    System.out.println("String_Node_Str" + node.getSequenceNumber() + "String_Node_Str");
    System.out.println(buf.toString());
  }
  return ret;
}