src/share/classes/java/lang/reflect/AnnotatedElement.java

*** 89,106 ****
       * is designed primarily for convenient access to marker annotations.
       *
       * <p>The truth value returned by this method is equivalent to:
       * {@code getAnnotation(annotationClass) != null}
       *
       * @param annotationClass the Class object corresponding to the
       *        annotation type
       * @return true if an annotation for the specified annotation
       *     type is present on this element, else false
       * @throws NullPointerException if the given annotation class is null
       * @since 1.5
       */
!      boolean isAnnotationPresent(Class<? extends Annotation> annotationClass);
  
     /**
       * Returns this element's annotation for the specified type if
       * such an annotation is present, else null.
       *
--- 89,111 ----
       * is designed primarily for convenient access to marker annotations.
       *
       * <p>The truth value returned by this method is equivalent to:
       * {@code getAnnotation(annotationClass) != null}
       *
+      * <p>The body of the default method is specified to be the code
+      * above.
+      *
       * @param annotationClass the Class object corresponding to the
       *        annotation type
       * @return true if an annotation for the specified annotation
       *     type is present on this element, else false
       * @throws NullPointerException if the given annotation class is null
       * @since 1.5
       */
!     default boolean isAnnotationPresent(Class<? extends Annotation> annotationClass) {
!         return getAnnotation(annotationClass) != null;
!     }
  
     /**
       * Returns this element's annotation for the specified type if
       * such an annotation is present, else null.
       *