PrettyPrintVisitor (adapted from JavaParser)