RFR: 8294693: Add Collections.shuffle overload that accepts RandomGenerator interface [v6]

[Stuart Marks]

On Sat, 21 Jan 2023 19:38:16 GMT, Sergey Bylokhov <serb at openjdk.org> wrote:

>> Tagir F. Valeev has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Whitespaces fixed
>>  - @implSpec added to shuffle(List)
>
> Filed, will create a PR soon.
> https://bugs.openjdk.org/browse/JDK-8300817

@mrserb Thanks for noticing this and for cleaning up.

Unfortunately the GitHub Actions are often broken spuriously, but this time it was a real issue. :-(

-------------

PR: https://git.openjdk.org/jdk/pull/10520