public class DecrementableCounter
  extends Counter
{

  public DecrementableCounter(int start)
  {
    super(start);
  } // DecrementableCounter(int)

} // class DecrementableCounter