public void clone(File destinationFile, TaskMonitor monitor)
			throws IOException, CancelledException {
		LocalBufferFile destBf = new LocalBufferFile(destinationFile, bufferSize);
		boolean success = false;
		try {
			copyFile(this, destBf, null, monitor);
			destBf.setFileId(fileId);
			destBf.close();
			success = true;
		}
		finally {
			if (!success) {
				destBf.delete();
			}
		}
	}
Clone this buffer file to the specified file.  The file must not already exist.  If the
operation is cancelled or an error occurs the file is not created.
@param destinationFile destination file
@param monitor progress monitor
@throws IOException if IO error occurs.
@throws CancelledException if the monitor cancels the operation.
Ghidra/Framework/DB/src/main/java/db/buffers/LocalBufferFile.java