pause.setText(paused ? "|>" : "||");
final Boolean pausedFinal = new Boolean(paused); display.asyncExec(new Runnable() { public void run() { pause.setText(pausedFinal.booleanValue() ? "|>" : "||"); } });
  public void setPaused(boolean paused) {    playThread.setPaused(paused);    pause.setText(paused ? "|>" : "||");  }