buf.append("Pages used by ").append(doc.getFileName()); buf.append(':');
buf.append("Pages used by ").append(doc.getName()); buf.append("; docId ").append(doc.getDocId()).append(':');
    public String debugPages(DocumentImpl doc) {    	StringBuffer buf = new StringBuffer();    	buf.append("Pages used by ").append(doc.getFileName());    	buf.append(':');    	long pnum = StorageAddress.pageFromPointer(((NodeImpl)doc.getFirstChild()).getInternalAddress());        while(-1 < pnum) {            DOMPage page = getCurrentPage(pnum);            dataCache.add(page);            buf.append(' ').append(pnum);            pnum = page.getPageHeader().getNextDataPage();        }        return buf.toString();    }