524525526527528529530531532533534
public void resetLabels() { for (int i = 0; i < posToLabelMap.size(); i++) { LabelNode ln = posToLabelMap.get(i); if (ln != null) { ln.resetLabel(); } } }