// File PrecondViolation

public class PrecondViolation extends Exception
{   public PrecondViolation() { super(); }
    public PrecondViolation(String msg) { super(msg); }
}