docs: public void removeHttpSessionToken(String site, String token) {
  		// Add a default port
  		if (!site.contains(":")) {
  			site = site + (":80");
  		}
  		HttpSessionTokensSet siteTokens = sessionTokens.get(site);
  		if (siteTokens != null) {
  			// Remove the token from the tokens associated with the site
  			siteTokens.removeToken(token);
  			if (siteTokens.isEmpty())
  				sessionTokens.remove(site);
  			// Cleanup the existing sessions
  			this.getHttpSessionsSite(site).cleanupSessionToken(token);
  		}
  		// If the token is a default session token, mark it as removed for the Site, so it will not
  		// be detected again and added as a session token
  		if (isDefaultSessionToken(token))
  			markRemovedDefaultSessionToken(site, token);
  
  		if (log.isDebugEnabled()) {
  			log.debug("Removed session token for site '" + site + "': " + token);
  		}
  	}