public class DecrementableCounter
  extends Counter
{
  public DecrementableCounter(int start)
  {
    super(start);
  } // DecrementableCounter(int)
} // class DecrementableCounter