code: public final HttpSessionTokensSet getHttpSessionTokensSet(String site) {
  		// Add a default port
  		if (!site.contains(":")) {
  			site = site + (":80");
  		}
  		return sessionTokens.get(site);
  	}
docs: Gets the set of session tokens for a particular site. No modifications should be done to the
  returned object. Instead, any modifications should be done through the corresponding methods
  in the {@link ExtensionHttpSessions}.
  
  @param site the site. This parameter has to be formed as defined in the
  {@link ExtensionHttpSessions} class documentation. However, if the protocol is
  missing, a default protocol of 80 is used.
  @return the session tokens set, if any have been set, or null, if there are no session tokens
  for this site
  @see ExtensionHttpSessions#addHttpSessionToken(String, String)
  @see ExtensionHttpSessions#removeHttpSessionToken(String, String)