if (requiresRedo(loggable, page)) {
if (ph.getLsn() != Page.NO_PAGE && requiresRedo(loggable, page)) {
    protected void redoSplitPage(SplitPageLoggable loggable) {        DOMPage page = getCurrentPage(loggable.pageNum);        DOMFilePageHeader ph = page.getPageHeader();        if (requiresRedo(loggable, page)) {            byte[] oldData = page.data;            page.data = new byte[fileHeader.getWorkSize()];            System.arraycopy(oldData, 0, page.data, 0, loggable.splitOffset);            page.len = loggable.splitOffset;            ph.setDataLength(page.len);            ph.setRecordCount(countRecordsInPage(page));            page.setDirty(true);            dataCache.add(page);        }    }