public void addToken(ClipboardToken token){
  tokens.add(token);
  saveTokenChanges();
}

public void addToken ( ClipboardToken token ) { tokens . add ( token ) ; saveTokenChanges ( ) ; }
add a token after all other current remembered tokens .
