void fileMoved(RepositoryFile rf, String oldName, RepositoryFolder newFolder) {
		synchronized (fileSystem) {
			fileMap.remove(oldName);
			newFolder.fileMap.put(rf.getName(), rf);
		}
	}
Move child RepositoryItem into its new parent folder
after the underlying item has already been moved.
@param rf child RepositoryItem
@param oldName old file name
@param newFolder new parent folder for rf
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/store/RepositoryFolder.java