public UserManager getUserManager() {
		return userMgr;
	}
Get all defined users. If currentUser is an
Anonymous user an empty array will be returned.
@param currentUser current user
@return array of users known to this manager or empty array if 
we should not reveal to currentUser.
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/RepositoryManager.java