Platform dependent end-of-line marker
The literal indent char(s) used for pretty-printing
Pretty print out a whole tree. .getNodeText is used on the node payloads to get the text for the nodes. (Derived from Trees.toStringTree(....))