private void startButtonActionPerformed(java.awt.event.ActionEvent evt) {//GEN-FIRST:event_startButtonActionPerformed
      int servicePort = new Integer(bootstrapServicePortTextField.getText()).intValue();
      int registryPort = new Integer(registryPortTextField.getText()).intValue();
      bootstrapServer = new BootstrapServer(servicePort, logArea);
      bootstrapServer.start();
      while (!bootstrapServer.getInitDone()) {
      }
      if (!bootstrapServer.isRunning()) {
        logArea.appendError("Problemi a far partire il bootstrap server");
        return;
      }
      if (registerCheckBox.isSelected()) {
        if (startRegistryCheckBox.isSelected())
          try {
            registry = LocateRegistry.createRegistry(registryPort);
            logArea.appendMessage("Registry RMI locale avviato e pronto all'uso");
          } catch (RemoteException e) {
            logArea.appendError("Non è stato possibile avviare un registry RMI locale", e);
            bootstrapServer.shutdown();
            return;
          }
        else
          try {
            registry = LocateRegistry.getRegistry(registryHostTextField.getText(),
                    registryPort);
          } catch (RemoteException e) {
            logArea.appendError("Impossibile reperire il registry RMI specificato", e);
            bootstrapServer.shutdown();
            return;
          }
        try {
          registry.rebind(serviceNameTextField.getText(), bootstrapServer.getRemote());
        } catch (RemoteException e) {
          logArea.appendError("Impossibile registrare il server di " +
                  "bootstrap presso il registry RMI specificato", e);
          bootstrapServer.shutdown();
          return;
        }
      }
      Component[] components = optionsPanel.getComponents();
      registerCheckBox.setSelected(false);
      registerCheckBoxActionPerformed(evt);
      for (int i = 0; i < components.length; i++)
        components[i].setEnabled(false);
      components = servantsPanel.getComponents();
      for (int i = 0; i < components.length; i++)
        components[i].setEnabled(true);
      listTimer.start();
      stopButton.setEnabled(true);
      startButton.setEnabled(false);
      statusLabel.setText("In esecuzione");
      logArea.appendMessage("Server di bootstrap avviato con successo");
}//GEN-LAST:event_startButtonActionPerformed