augs = new HTMLAugmentations();
}
super.startElement(element, attrs, augs);
} else if (event instanceof SAXTextEvent) {
SAXTextEvent textEvent = (SAXTextEvent) event;
char[] ch = textEvent.getText().toCharArray();
super.characters(new XMLString(ch, 0, ch.length), augs);
} else if (event instanceof SAXEndElementEvent) {
super.endElement(stack.removeLast(), augs);