void dispose() {
		if (activeFile != null) {
			endSnapshot(false);
			activeFile = null;
		}
		snapshotFiles[0].delete();
		changeFiles[0].delete();
		snapshotFiles[1].delete();
		changeFiles[1].delete();

		snapshotFiles[0] = null;
		snapshotFiles[1] = null;
		changeFiles[0] = null;
		changeFiles[1] = null;
	}
Constructor for snapshot use only.
@param bufferMgr
Ghidra/Framework/DB/src/main/java/db/buffers/RecoveryMgr.java