code: public void dumpTree(PrintStream printStream, DumpConfiguration dumpConfiguration) {
  		dumpTree(printStream,tree.getRoot(),0, dumpConfiguration);
  	}
docs: Prints a dump of the tree to the given printStream, using the node's
  "toString" method.
  
  @param printStream &nbsp;
  @param dumpConfiguration
  [default: new DumpConfiguration()]