public void endRange() throws SAXException { emitter.endElement("m"); }
public void endCharHilite() throws SAXException { emitter.endElement("m"); }