code: public void kill() {
          Util.out4.println("In Kill command");
          // call delete_device
          final int nb_class = class_list.size();
          for (int j = 0; j < nb_class; j++) {
              final Vector<?> v = ((DeviceClass) class_list.elementAt(j)).get_device_list();
              final int nb_dev = v.size();
              for (int k = 0; k < nb_dev; k++) {
                  final DeviceImpl dev = (DeviceImpl) v.elementAt(k);
                  if (dev.get_exported_flag() == true) {
                      try {
                          dev.delete_device();
                      } catch (final DevFailed e) {
                          e.printStackTrace();
                          // ignore error, kill the device anyway
                      }
                  }
              }
          }
          //
          // Create the thread and start it
          //
          final KillThread killer = new KillThread();
  
          killer.start();
      }
docs: -----------------------------------------------------------------------------