public void actionPerformed(ActionEvent ae)
  {
    if (ae.getSource() == pauseButton) {
      if (pauseButton.getText().equals("Start"))
        server.start();
      else {
        pauseStatus = !pauseStatus;
        pauseButton.setText(pauseStatus ? "Continue" : "Pause");
      }
    }
  }