private void moveFile(DomainFile file, DomainFolder folder) {
		try {
			String name = file.getName();
			file.moveTo(folder);
			Msg.info(this, "Moved file " + name + " to " + folder.toString());
		}
		catch (FileNotFoundException e) {
			// user may have renamed something in this item's path
			Msg.error(this, "File not found '" + file + "'");
			hasFailedCopy = true;
		}
		catch (Exception e) {
			ClientUtil.handleException(repository, e, "Move File", null);
		}
	}
Move a file into a folder.
<p>
Displays a error dialog if there was an exception

@param file file being moved
@param folder destination folder
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/datatree/PasteFileTask.java