public void checkTree(DocumentImpl doc) {
public void checkTree(final DocumentImpl doc) {
	public void checkTree(DocumentImpl doc) {		LOG.debug("Checking DOM tree for document " + doc.getFileName());		NodeList nodes = doc.getChildNodes();		NodeImpl n;		for (int i = 0; i < nodes.getLength(); i++) {		    n = (NodeImpl) nodes.item(i);		    Iterator iterator =		        getNodeIterator(		                new NodeProxy(doc, n.getGID(), n.getInternalAddress()));		    iterator.next();		    checkTree(iterator, n);		}	}