code: public void addHistory(Object historyKey)
      {
          if (this.history == null)
          {
              this.history = new KeyHistory();
          }
  
          this.history.addKey(historyKey.toString());
      }
docs: Add key to history.
  
  @param historyKey history key