docs: private static void swap(double[] keys, int[] vals, int j, int i) {
      double td = keys[j];
      keys[j] = keys[i];
      keys[i] = td;
      int ti = vals[j];
      vals[j] = vals[i];
      vals[i] = ti;
    }