public void startRange(int oneBasedLine, int oneBasedColumn) throws SAXException { emitter.startElement("m"); }
public void newLine() throws SAXException { emitter.characters(NEWLINE); }
public void endCharHilite() throws SAXException { emitter.endElement("m"); }
public void endRange() throws SAXException { emitter.endElement("m"); }
public void characters(char[] ch, int start, int length) throws SAXException { emitter.characters(ch, start, length); }