631632633634635636637638639640641
if (tree.getValue() == null) return null; StringWriter sw = new StringWriter(); try { new DocPretty(sw).print(tree.getValue()); } catch (IOException e) { // cannot happen } // ignore potential use of entities for now return sw.toString();