On Mon, 15 Mar 2021 23:07:53 GMT, Joe Darcy <da...@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
