// TBD: should be StringBuffer if (indent.length() < 2) indent = ""; else indent = indent.substring(2);
System.out.println(indent+e); indent();
dedent(); System.out.println(indent+e);
indent += " ";