@SuppressWarnings("unused") // used from event handler
  public void onPressed(int keyCode) {
    if (keyCode == KeyEvent.VK_SPACE) {
      onPressed();
    }
  }
@SuppressWarnings("unused") // used from event handler
  public void onPressed(int keyCode)