Member predicate Annotatable::hasAnnotation

Holds if this element has an annotation, including inherited annotations. The retention policy of the annotation type is not considered.