int nodeNr = doc.addNode(Node.TEXT_NODE, level, null); doc.addChars(nodeNr, ch, start, len);  linkNode(nodeNr); return nodeNr;
int lastNode = doc.getLastNode(); if (doc.getNodeType(lastNode) == Node.TEXT_NODE) {   doc.appendChars(lastNode, ch, start, len); return lastNode; } else { int nodeNr = doc.addNode(Node.TEXT_NODE, level, null); doc.addChars(nodeNr, ch, start, len); linkNode(nodeNr); return nodeNr; }
	public int characters(char[] ch, int start, int len) {		int nodeNr = doc.addNode(Node.TEXT_NODE, level, null);		doc.addChars(nodeNr, ch, start, len);//		System.out.println("nodeNr = " + nodeNr + "; level = " + level);		linkNode(nodeNr);		return nodeNr;	}