mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
8258140: Update @jls tags in java.base for renamed/renumbered sections
Reviewed-by: psandoz
This commit is contained in:
parent
ce36aeaac3
commit
e9113517d4
4 changed files with 6 additions and 6 deletions
|
@ -72,7 +72,7 @@ package java.lang.annotation;
|
|||
* @since 1.5
|
||||
* @jls 9.6.4.1 @Target
|
||||
* @jls 9.7.4 Where Annotations May Appear
|
||||
* @jls 9.7.5 Multiple Annotations of the Same Type
|
||||
* @jls 9.7.5 Multiple Annotations of the Same Interface
|
||||
*/
|
||||
@Documented
|
||||
@Retention(RetentionPolicy.RUNTIME)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue