---

ObjRef.java

package gov.nasa.arc.ase.jpf.jvm;

public class ObjRef extends Ref {
  public ObjRef(int r) { super(r, false); }  
  public Object clone() {
    return new ObjRef(reference);
  }  
}

---