Specify PRNG for Collections.shuffle()