code: public static void randomShuffle(ArrayModifiableDBIDs ids, Random random) {
      randomShuffle(ids, random, ids.size());
    }
docs: Produce a random shuffling of the given DBID array.
  
  @param ids Original DBIDs, no duplicates allowed
  @param random Random generator