public LocalBufferFile getRecoveryChangeSetFile() throws IOException {
		synchronized (snapshotLock) {
			if (recoveryMgr != null) {
				return recoveryMgr.getRecoveryChangeSetFile();
			}
			return null;
		}
	}
Returns the recovery changeSet data file for reading or null if one is not available.
The caller must dispose of the returned file before peforming generating any new
recovery snapshots.
@return recovery change set buffer file
@throws IOException if IO error occurs
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java