On Sat, 21 Jan 2023 18:31:28 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). > > Tagir F. Valeev has updated the pull request incrementally with two > additional commits since the last revision: > > - Whitespaces fixed > - @implSpec added to shuffle(List) Looks like nobody caught that the build tasks in GActions were broken=( ------------- PR: https://git.openjdk.org/jdk/pull/10520
