/** Save a token for a user. */
public synchronized void put(User user, Token token) {
tokens.put(user.getId(), token);
}
/** Remove a token for a user. */
public synchronized void remove(User user) {
tokens.remove(user.getId());
}
/** Retrieve a token by user. */
public synchronized Token get(User user) {
return tokens.get(user.getId());
}