void incrementProcTime(long increment, Metric.Context metricContext) {
        metric.set(METRIC_LATENCY, increment, metricContext);
    }
Metrics for config server.

@author Harald Musum
configserver/src/main/java/com/yahoo/vespa/config/server/monitoring/Metrics.java