code: public void init(Credentials credentials, Map<String, String> tokens, Set<String> effectiveGroups) {
          this.credentials = credentials;
          this.tokens = Collections.unmodifiableMap(tokens);
          this.effectiveGroups = effectiveGroups;
          setIdentifier(credentials.getUsername());
      }
docs: Initializes this AuthenticatedUser with the given credentials,
  connection parameter tokens. and set of effective user groups.
  
  @param credentials
  The credentials provided when this user was authenticated.
  
  @param tokens
  A Map of all name/value pairs that should be applied as parameter
  tokens when connections are established using the AuthenticatedUser.
  
  @param effectiveGroups
  The unique identifiers of all user groups which affect the
  permissions available to this user.