static void printJavaParserTree(Node node) {
  if (node == null) ret with print("null");
  print(shortClassName(node));
  threadIndent();
  try {
    for (Node child : node.getChildNodes())
      printJavaParserTree(child);
  } finally {
    threadUnindent();
  }
}