if (track.exists()) {
if ((track != null) && track.exists()) {
  public void run() {    trackTable.updateTable();    topPanel.layout();    shell.layout();    shell.open();    downloadThread.start();    trackTable.addSelectionListener(new SelectionAdapter() {        // Play track if the user double-clicks on it (or whatever the equivalent        // is on the target platform).      public void widgetDefaultSelected(SelectionEvent e) {        Track track = trackTable.getClickedTrack();        if (track.exists()) {          setPaused(false);          playThread.play(track);        }      }    });    setPaused(false);    playThread.start();        while (true) {      if (!display.readAndDispatch())        display.sleep();    }  }