public class DoubleCounter
  extends BasicCounter
{

} // class DoubleCounter