On Thu, 18 Mar 2021 12:57:16 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>> 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.
isDeprecated was added
-------------
PR: https://git.openjdk.java.net/jdk/pull/1292
