LOG.debug("freeing page " + rec.page.getPageNum());
    private void removeLink(long p) {        RecordPos rec = findRecord(p, false);        DOMFilePageHeader ph = rec.page.getPageHeader();        int end = rec.offset + 8;        System.arraycopy(rec.page.data, rec.offset + 8, rec.page.data, rec.offset - 2, rec.page.len - end);        rec.page.len = rec.page.len - 10;        ph.setDataLength(rec.page.len);        rec.page.setDirty(true);        ph.decRecordCount();//        LOG.debug("size = " + ph.getRecordCount());        if (rec.page.len == 0) {        	LOG.debug("freeing page " + rec.page.getPageNum());            removePage(rec.page);            rec.page = null;        } else {            dataCache.add(rec.page);            //printPageContents(rec.page);        }    }