private void pasteFile(DomainFile file, TaskMonitor monitor) {
		if (isCut) {
			moveFile(file, destNode.getDomainFolder());
		}
		else {
			copyFile(file, destNode.getDomainFolder(), monitor);
		}
	}
Paste the given file at the folder represented by destNode.

@param file file to be pasted.
@param monitor task monitor
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/PasteFileTask.java