} else if (document.nodeKind[next] == REFERENCE_NODE) { if (buf == null) buf = new StringBuffer(); buf.append(document.references[document.alpha[next]].getStringValue());
	public String getStringValue() {		int level = document.treeLevel[nodeNumber];		StringBuffer buf = null;		int next = nodeNumber + 1;		while (next < document.size && document.treeLevel[next] > level) {			if (document.nodeKind[next] == Node.TEXT_NODE) {				if (buf == null)					buf = new StringBuffer();				buf.append(					document.characters,					document.alpha[next],					document.alphaLen[next]);			}			++next;		}		return buf == null ? "" : buf.toString();	}