void shuffle([Random random ])

Shuffles the elements of this list randomly.