Counter(String name, boolean start, boolean mergephases) { this.name = name; this.start = start; this.mergephases = mergephases; Stats.newCounter(this);
Counter(String name) { this(name, true, false);
  Counter(String name, boolean start, boolean mergephases) {    this.name = name;    this.start = start;    this.mergephases = mergephases;    Stats.newCounter(this);  }