static String getFormattedUserPermissions(File repositoryDir, String pad,
			Set<String> listUserAccess) {
		StringBuilder buf = null;
		File userAccessFile = new File(repositoryDir, ACCESS_CONTROL_FILENAME);
		try {
			ArrayList<User> list = new ArrayList<>();
			readAccessFile(userAccessFile, list);
			Collections.sort(list);
			for (User user : list) {
				if (!listUserAccess.contains(user.getName())) {
					continue;
				}
				if (buf == null) {
					buf = new StringBuilder();
				}
				buf.append(pad + user + "\n");
			}
		}
		catch (IOException e) {
			System.out.println(pad + "Failed to read repository access file: " + e.getMessage());
		}
		return buf != null ? buf.toString() : null;
	}
Generate formatted list of user access permissions to the specified repository
restricted to user names contained within listUserAccess.
This is intended to be used with the svrAdmin console command
@param repositoryDir repository directory
@param pad padding string to be prefixed to each output line
@param listUserAccess set of user names of interest
@return formatted list of user access permissions or null if no users of interest found
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/Repository.java