---

Timer.java

package gov.nasa.arc.ase.jpf;

public interface Timer {
  public void tick();  
}

---