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
