public LocalBufferFile getRecoveryChangeSetFile() throws IOException {
		return bufferMgr.getRecoveryChangeSetFile();
	}
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 changeSet data file for reading or null if one is not available.
@throws IOException if IO error occurs
Ghidra/Framework/DB/src/main/java/db/DBHandle.java