public void dump (PrintStream p, String indent) { p.println (indent + getCountersAsString()); } protected Space grabSpace (Element e) {
public void dump (PrintStream p, String indent) { p.println (indent + getCountersAsString()); } protected Space grabSpace (Element e) {