---

ThreadData.java

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

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.*;

class ThreadData extends PoolObject {
  public int status;
  public Ref ref;
  public ClassInfo ci;
  public int target;
  public int lock_count;

  public boolean equals(Object o) {
    ThreadData td = (ThreadData)o;

    return status == td.status && ref.equals(td.ref) && ci == td.ci && target
      == td.target && lock_count == td.lock_count;
  }  
  public int hashCode() {
    return status;
  }  
}

---