/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XmlProcessor.java
} return prettyIndent;
return prettyIndent; }
return ignoreWhitespace; } final boolean isPrettyPrinting() { return prettyPrint; } final int getPrettyIndent() { <extra_id_0> private String toXmlNewlines(String rv) { StringBuilder nl = new StringBuilder(rv.length()); for (int i = 0; i < rv.length(); i++) { char ch = rv.charAt(i); if (ch == '\r') { if (rv.charAt(i + 1) == '\n') {