private void copyFile(DomainFile file, DomainFolder folder, TaskMonitor monitor) {
		try {
			// file.copyTo() will automatically append a unique number to the end
			// of the filename if needed.
			String name = file.getName();
			DomainFile newFile = file.copyTo(folder, monitor);
			Msg.info(this,
				"Copied file " + name + " to " + folder.toString() + " as " + newFile.getName());
		}
		catch (FileNotFoundException e) {
			// user may have renamed something in this item's path
			Msg.error(this, "File not found '" + file + "'");
			hasFailedCopy = true;
		}
		catch (CancelledException e) {
			// just return
		}
		catch (Exception e) {
			ClientUtil.handleException(repository, e, "Copy Files", null);
		}
	}
Copy a file into a new folder

@param file source file}
@param folder destination folder
@param monitor task monitor
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/PasteFileTask.java