void VMThread::destroy() {

  {- -------------------------------------------
  (1) VMThread 用のメモリ領域を開放する.
      ---------------------------------------- -}

      if (_vm_thread != NULL) {
        delete _vm_thread;
        _vm_thread = NULL;      // VM thread is gone
      }
    }