On Mon, 15 Mar 2021 12:54:32 GMT, Jim Laskey <jlas...@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
