On Sat, 1 Oct 2022 08:06:44 GMT, Tagir F. Valeev <tval...@openjdk.org> wrote:
> Java 17 added RandomGenerator interface. However, existing method > Collections.shuffle accepts old java.util.Random class. While since Java 19, > it's possible to use Random.from(RandomGenerator) wrapper, it would be more > convenient to provide direct overload shuffle(List<?> list, RandomGenerator > rnd). This pull request has now been integrated. Changeset: 67b1c890 Author: Tagir F. Valeev <tval...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/67b1c890b3351c1b1317477dd12316d18c01dd72 Stats: 105 lines in 2 files changed: 99 ins; 0 del; 6 mod 8294693: Add Collections.shuffle overload that accepts RandomGenerator interface Reviewed-by: smarks, darcy ------------- PR: https://git.openjdk.org/jdk/pull/10520
