private synchronized String[] getRepositoryNames() {
		Set<String> nameSet = repositoryMap.keySet();
		String[] names = nameSet.toArray(new String[nameSet.size()]);
		Arrays.sort(names);
		return names;
	}
Get the names of the known repositories which are accessable by the specified user.
@param currentUser name of user requesting repository list
@return sorted array of names
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/RepositoryManager.java