Program: 70817
Project: 70817
Buggy source:
/** 
 * Creates a clone of this mesh.
 */
public MeshBase clone(){
  MeshBase mesh=null;
  try {
    mesh=(MeshBase)super.clone();
  }
 catch (  CloneNotSupportedException e) {
    throw new InternalErrorException("String_Node_Str" + e);
  }
  mesh.myVertices=new ArrayList<Vertex3d>();
  for (int i=0; i < myVertices.size(); i++) {
    mesh.addVertex(myVertices.get(i).pnt);
  }
  mesh.setMeshToWorld(XMeshToWorld);
  mesh.myIndexOffsets=null;
  if (myNormals != null) {
    mesh.myNormals=new ArrayList<Vector3d>();
    for (int i=0; i < myNormals.size(); i++) {
      mesh.myNormals.add(new Vector3d(myNormals.get(i)));
    }
  }
  if (myNormalIndices != null) {
    mesh.myNormalIndices=Arrays.copyOf(myNormalIndices,myNormalIndices.length);
  }
  mesh.myRenderNormalsValidP=false;
  if (myTextureCoords != null) {
    mesh.myTextureCoords=new ArrayList<Vector3d>();
    for (int i=0; i < myTextureCoords.size(); i++) {
      mesh.myTextureCoords.add(new Vector3d(myTextureCoords.get(i)));
    }
    mesh.myTextureIndices=Arrays.copyOf(myTextureIndices,myTextureIndices.length);
  }
  mesh.myVertexColoringP=myVertexColoringP;
  mesh.myFeatureColoringP=myFeatureColoringP;
  if (myColors != null) {
    mesh.myColors=new ArrayList<float[]>();
    for (int i=0; i < myColors.size(); i++) {
      mesh.myColors.add(copyColor(myColors.get(i)));
    }
    int[] colorIndices=getColorIndices();
    mesh.myColorIndices=Arrays.copyOf(colorIndices,colorIndices.length);
  }
  if (myRenderProps != null) {
    mesh.setRenderProps(myRenderProps);
  }
 else {
    mesh.myRenderProps=null;
  }
  mesh.setFixed(isFixed());
  mesh.myDisplayListValid=false;
  mesh.setRenderBuffered(isRenderBuffered());
  mesh.myLocalMinCoords=new Point3d();
  mesh.myLocalMaxCoords=new Point3d();
  mesh.myLocalBoundsValid=false;
  mesh.myWorldMinCoords=new Point3d();
  mesh.myWorldMaxCoords=new Point3d();
  mesh.myWorldBoundsValid=false;
  mesh.setName(getName());
  return mesh;
}

Fixed version (ground truth):
/** 
 * Creates a clone of this mesh.
 */
public MeshBase clone(){
  MeshBase mesh=null;
  try {
    mesh=(MeshBase)super.clone();
  }
 catch (  CloneNotSupportedException e) {
    throw new InternalErrorException("String_Node_Str" + e);
  }
  mesh.myVertices=new ArrayList<Vertex3d>();
  for (int i=0; i < myVertices.size(); i++) {
    mesh.addVertex(myVertices.get(i).pnt);
  }
  mesh.XMeshToWorld=new RigidTransform3d(XMeshToWorld);
  mesh.myIndexOffsets=null;
  if (myNormals != null) {
    mesh.myNormals=new ArrayList<Vector3d>();
    for (int i=0; i < myNormals.size(); i++) {
      mesh.myNormals.add(new Vector3d(myNormals.get(i)));
    }
  }
  if (myNormalIndices != null) {
    mesh.myNormalIndices=Arrays.copyOf(myNormalIndices,myNormalIndices.length);
  }
  mesh.myRenderNormalsValidP=false;
  if (myTextureCoords != null) {
    mesh.myTextureCoords=new ArrayList<Vector3d>();
    for (int i=0; i < myTextureCoords.size(); i++) {
      mesh.myTextureCoords.add(new Vector3d(myTextureCoords.get(i)));
    }
    mesh.myTextureIndices=Arrays.copyOf(myTextureIndices,myTextureIndices.length);
  }
  mesh.myVertexColoringP=myVertexColoringP;
  mesh.myFeatureColoringP=myFeatureColoringP;
  if (myColors != null) {
    mesh.myColors=new ArrayList<float[]>();
    for (int i=0; i < myColors.size(); i++) {
      mesh.myColors.add(copyColor(myColors.get(i)));
    }
    int[] colorIndices=getColorIndices();
    mesh.myColorIndices=Arrays.copyOf(colorIndices,colorIndices.length);
  }
  if (myRenderProps != null) {
    mesh.setRenderProps(myRenderProps);
  }
 else {
    mesh.myRenderProps=null;
  }
  mesh.setFixed(isFixed());
  mesh.myDisplayListValid=false;
  mesh.setRenderBuffered(isRenderBuffered());
  mesh.myLocalMinCoords=new Point3d();
  mesh.myLocalMaxCoords=new Point3d();
  mesh.myLocalBoundsValid=false;
  mesh.myWorldMinCoords=new Point3d();
  mesh.myWorldMaxCoords=new Point3d();
  mesh.myWorldBoundsValid=false;
  mesh.setName(getName());
  return mesh;
}