public class DoubleCounter
  extends Counter
{

} // class DoubleCounter