if(currentDocument != null) currentDocument.decPageCount();
    public void removePage(DOMPage page) {        dataCache.remove(page);        DOMFilePageHeader ph = page.getPageHeader();        if (ph.getNextDataPage() > -1) {			DOMPage next = getCurrentPage(ph.getNextDataPage());			next.getPageHeader().setPrevDataPage(ph.getPrevDataPage());			next.setDirty(true);			dataCache.add(next);        }                if(ph.getPrevDataPage() > -1) {            DOMPage prev = getCurrentPage(ph.getPrevDataPage());        	prev.getPageHeader().setNextDataPage(ph.getNextDataPage());			prev.setDirty(true);			dataCache.add(prev);        }                try {            ph.setNextDataPage(-1);            ph.setDataLength(0);            ph.setNextTID((short) -1);            ph.setRecordCount((short) 0);            unlinkPages(page.page);        } catch (IOException ioe) {            LOG.warn(ioe);        }    }