RFR: 8248862: Implement Enhanced Pseudo-Random Number Generators [v31]

[Joe Darcy]

On Mon, 15 Mar 2021 12:54:32 GMT, Jim Laskey <jlaskey at openjdk.org> wrote:

>> This PR is to introduce a new random number API for the JDK. The primary API is found in RandomGenerator and RandomGeneratorFactory. Further description can be found in the JEP https://openjdk.java.net/jeps/356 .
>> 
>> javadoc can be found at http://cr.openjdk.java.net/~jlaskey/prng/doc/api/java.base/java/util/random/package-summary.html
>> 
>> old PR:  https://github.com/openjdk/jdk/pull/1273
>
> Jim Laskey has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Missing @since

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

> 60:     @Retention(RetentionPolicy.RUNTIME)
> 61:     @Target(ElementType.TYPE)
> 62:     public @interface RandomGeneratorProperties {

Should the is-deprecated information be stored here?

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

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