docs: private static void shuffle(ArrayModifiableDBIDs ids, int ssize, int end, Random random) {
      ssize = ssize < end ? ssize : end; // Guard for choosing from tiny sets
      for(int i = 1; i < ssize; i++) {
        ids.swap(i - 1, i + random.nextInt(end - i));
      }
    }