private void keyReleased(KeyEvent event, KeyStroke stroke) {
    if (stroke != null && keyReleased(stroke)) {
      event.consume();
    }
  }
private void keyReleased(KeyEvent event, KeyStroke stroke)