RFR: 8265137: java.util.Random suddenly has new public methods nowhere documented [v2]

[Uwe Schindler]

On Wed, 14 Apr 2021 12:27:55 GMT, Jim Laskey <jlaskey at openjdk.org> wrote:

>> Move makeXXXSpilterator from public (@hidden) to protected. No API ch
>
> Jim Laskey has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Make makeXXXSpliterator final

To me this looks fine. It is all a bit of hack, but this makes sure the public API of java.util.Random does not change in comparison to JDK 16.
The final protected method may be visible by IDEs but it cannot be called und is not overrideable as it is final.

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

Marked as reviewed by uschindler (Author).

PR: https://git.openjdk.java.net/jdk/pull/3469