A DESCRIPTION OF THE PROBLEM :
Both default methods of interfaces and annotation elements with default value use the `default` keyword.
However, annotation elements with default value are not default methods. This is currently not quite clear and you would have to either inspect the bytecode or look at the JVM spec (version 16 §4.7.22) to find this out.

Therefore it would be good to make the following changes:
- java.lang.reflect.Method#isDefault()
Should clarify that annotation elements with default value are not default methods
- JLS §9.6.2 "Defaults for Annotation Interface Elements"
Should clarify that annotation elements with default value are not default methods