private void copyFile(TaskMonitor monitor) {
		try {
			srcFile.copyTo(destFolder, monitor);
		}
		catch (CancelledException e) {
			// ignore
		}
		catch (IOException e) {
			String msg = e.getMessage();
			if (msg == null) {
				msg = e.toString();
			}
			Msg.showError(this, null, "File Copy Failed",
				"Could not copy file " + srcFile.getName() + ".\n" + msg);
		}
	}
@see ghidra.util.task.Task#run(ghidra.util.task.TaskMonitor)
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/CopyTask.java