player.setPaused(paused);
  public void setPaused(boolean paused)  {    if (paused) {      playButton.setLabel("Play");      posText.setEditable(true);    } else {      playButton.setLabel("Pause");      posText.setEditable(false);    }    playButton.setEnabled(true);    player.setPaused(paused);  }