On Wed, 14 Apr 2021 12:27:55 GMT, Jim Laskey <jlas...@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

Reply via email to