int swapPos = (int)(m_Random.nextDouble() * (high-y+1)) + y;
int swapPos = m_Random.nextInt(high-y+1) + y;
  private void randomize(double[] array, int low, int high){    for(int y=low; y <= high; y++){      int swapPos = (int)(m_Random.nextDouble() * (high-y+1)) + y;      double temp = array[y];      array[y] = array[swapPos];      array[swapPos] = temp;    }  }