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);
}