// File: CounterException.java
// Time-stamp: "2005-01-22 09:15:56 calvanese"

public class CounterException extends RuntimeException {
  public CounterException (String msg) {
    super(msg);
  }
}