code: private Optional<HttpSessionToken> getDefaultToken(String name) {
  		return defaultTokens.stream().filter(e -> name.equalsIgnoreCase(e.getName())).findFirst();
  	}
docs: Gets the default session token with the given name.
  
  @param name the name of the session token.
  @return a container with the {@code HttpSessionToken}, or empty if not found.
  @see #defaultTokens