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

[Jim Laskey]

On Mon, 15 Mar 2021 23:07:53 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> 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?

I don't think so. That would require the deprecation state be stored in two places. I think it's sufficient to rely on the presence of @Deprecated.

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

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