Annotation access modifier - public vs abstract

Question

What is the difference between public and abstract modifier for an elements of annotation in Java.

For example we coul

Answer 1

Both of them are redundant. As described in the JLS the methods of an interface are abstract and public by default.