static void destroy(JvmtiRawMonitor *monitor) {

  {- -------------------------------------------
  (1) monitor 引数で指定された JvmtiRawMonitor オブジェクトを monitors() 中から取り除く
      (複数入っていた場合は全て取り除く).
      ---------------------------------------- -}

        while (monitors()->contains(monitor)) {
          monitors()->remove(monitor);
        }
      }