throws SAXException {
receiver.documentType(name, publicId, systemId);
}
public void highlightText(CharSequence seq) {
}
<BUG>protected void processXInclude(String href, String xpointer) throws SAXException {
</BUG>
if(href == null)
throw new SAXException("No href attribute found in XInclude include element");
DocumentImpl prevDoc = document;

throws SAXException {
receiver.documentType(name, publicId, systemId);
}
public void highlightText(CharSequence seq) {
}
protected void processXInclude(String href, String xpointer) throws SAXException, ResourceError {
if(href == null)
throw new SAXException("No href attribute found in XInclude include element");
DocumentImpl prevDoc = document;
