||A program element annotated @Deprecated is one that programmers
are discouraged from using, typically because it is dangerous,
or because a better alternative exists.
||Indicates that annotations with a type are to be documented by javadoc
and similar tools by default.
||An informative annotation type used to indicate that an interface
type declaration is intended to be a functional interface as
defined by the Java Language Specification.
||Indicates that an annotation type is automatically inherited.
||Indicates that a field defining a constant value may be referenced
from native code.
||Indicates that a method declaration is intended to override a
method declaration in a supertype.
||The annotation type
used to indicate that the annotation type whose declaration it
(meta-)annotates is repeatable.
||Indicates how long annotations with the annotated type are to
||A programmer assertion that the body of the annotated method or
constructor does not perform potentially unsafe operations on its