private void playbackSavepoint(PagerSavepoint pSavepoint) throws SqlJetException {
long szJ; /* Effective size of the main journal */
long iHdrOff; /* End of first segment of main-journal records */
int ii; /* Loop counter */
SqlJetException rc = null; /* Return code */
BitSet pDone = null; /* Bitvec to ensure pages played back only once */
/* Allocate a bitvec to use to store the set of pages rolled back */
if (pSavepoint != null) {
pDone = new BitSet(pSavepoint.nOrig);
}
/*
* Truncate the database back to the size it was before the savepoint
* being reverted was opened.