void
JvmtiEventController::thread_ended(JavaThread *thread) {

  {- -------------------------------------------
  (1) JvmtiEventControllerPrivate::thread_ended() を呼び出すだけ.
      ---------------------------------------- -}

      // operates only on the current thread
      // JvmtiThreadState_lock grabbed only if needed.
      JvmtiEventControllerPrivate::thread_ended(thread);
    }