---

Scheduler.java

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

import gov.nasa.arc.ase.jpf.iScheduler;

public abstract class Scheduler implements iScheduler, Cloneable {
  public SystemState ss;
  public abstract Object clone();  
}

---