public long[] getThreadUserTime(long[] ids) {

  {- -------------------------------------------
  (1) 以下のどちらかの関数を呼び出して, 引数で指定されたスレッドの CPU 使用時間を取得する.
      * 指定されたスレッドが 1個しかない場合
        sun.management.ThreadImpl.getThreadUserCpuTime0() を呼び出す.
      * 指定されたスレッドが 2個以上ある場合
        sun.management.ThreadImpl.getThreadUserCpuTime1() を呼び出す.

      ただし, スレッドの CPU 時間計測機能がサポートされていない場合 
      (= verifyCurrentThreadCpuTime() が false の場合)には, 
      単に -1 だけが詰まった long 配列を返すだけ.
      ---------------------------------------- -}

            boolean verified = verifyThreadCpuTime(ids);

            int length = ids.length;
            long[] times = new long[length];
            java.util.Arrays.fill(times, -1);

            if (verified) {
                if (length == 1) {
                    long id = ids[0];
                    if (id == Thread.currentThread().getId()) {
                        id = 0;
                    }
                    times[0] = getThreadUserCpuTime0(id);
                } else {
                    getThreadUserCpuTime1(ids, times);
                }
            }
            return times;
        }