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

[Uwe Schindler]

On Thu, 15 Apr 2021 12:01:07 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:
> 
>   Move makeXXXSpliterator methods to RandomSupport

src/java.base/share/classes/jdk/internal/util/random/RandomSupport.java line 1656:

> 1654:         // Methods required by class AbstractSpliteratorGenerator
> 1655: 
> 1656:         protected Spliterator.OfInt makeIntsSpliterator(long index, long fence, int origin, int bound) {

Are those still needed? It looks like because of the missing `@Override` those could also be private?

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

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