synchronized Repository getRepository(String name) {
		return repositoryMap.get(name);
	}
Get the repository for privileged use.
@param name repository name
@return null if no repository exists with the given name
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/RepositoryManager.java