public void printDocTree(String label, DocTree tree) { if (tree == null) { printNull(label); } else { indent(); out.print(label); out.println(": " + tree.getClass().getSimpleName() + "," + tree.getKind()); indent(+1); tree.accept(docTreeVisitor, null); indent(-1); } }