public void set(String name, int i) { hash[name] = i.ToString(); }
public void clearInstrumentation() { metrics.set(METRIC_NODES_EXPANDED, 0); }