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);
 }