/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLLibImpl.java
options.setIgnoreProcessingInstructions ( b ) ;
@Override public void setIgnoreWhitespace(boolean b) { options.setIgnoreWhitespace(b); } @Override public void setIgnoreProcessingInstructions(boolean b) { <extra_id_0> } @Override public void setPrettyPrinting(boolean b) { options.setPrettyPrinting(b); } @Override