static void stanfordPrintTree(Tree tree) {
  stanfordPrintTree("", tree);
}

svoid stanfordPrintTree(S indent, Tree tree) {
  print(indent + tree.label().value());
  for (Tree child : tree.getChildrenAsList())
    stanfordPrintTree(indent + "  ", child);
}