private static void indentedPrintLine(PrintWriter out, int indentLevel, StringBuffer text) {
   indent(out, indentLevel);
   out.println(text);
 }
 private static void indentedPrintLine(PrintStream out, int indentLevel, String text) {
   indent(out, indentLevel);
   out.println(text);
 }