code: public void keyReleased(KeyEvent event)
      {
          lastKeyName = EMPTY_KEY_NAME;
          lastCode = NO_KEY_CODE;
  
          final Integer key = Integer.valueOf(event.getCode());
          keys.remove(key);
          pressed.remove(key);
      }
docs: Notify key released.
  
  @param event The associated event.