code: private void saveDefaultTokens() {
  		((HierarchicalConfiguration) getConfig()).clearTree(ALL_DEFAULT_TOKENS_KEY);
  
  		for (int i = 0, size = defaultTokens.size(); i < size; ++i) {
  			String elementBaseKey = ALL_DEFAULT_TOKENS_KEY + "(" + i + ").";
  			HttpSessionToken token = defaultTokens.get(i);
  			
  			getConfig().setProperty(elementBaseKey + TOKEN_NAME_KEY, token.getName());
  			getConfig().setProperty(elementBaseKey + TOKEN_ENABLED_KEY, token.isEnabled());
  		}
  	}
docs: Saves the {@link #defaultTokens default session tokens} to the {@link #getConfig() configuration}.