public void startElement(String uri, String localName, String qName, Attributes atts)
throws SAXException {
if (!localName.equalsIgnoreCase("html")) {
super.startElement(localName, atts);
} // else skip HTML root element
}
public void characters(char[] ch, int start, int length) throws SAXException {
if (useMagic) {
magic.showAllIn(ch, start, length);
}
super.writeCharacters(ch, start, length, true);
}
public void endElement(String uri, String localName, String qName) throws SAXException {
if (!localName.equalsIgnoreCase("html")) {
super.endElement(localName);
} // else skip HTML root element
}
