code: public void add(Metric m) {
          final MetricName key = m.getName();
          metrics_.put(key, m);
      }
docs: Add a new metric to the metric group.
  
  If the metric is already present, it will be overwritten.
  @param m The metric to be added.