public @interface Anno {
    int m() default x;
    int x = 10;
}

？

我想上面的代码相当于：

public @interface Anno {
    public int m() default x;
    public static final int x = 10;
}

修饰符public和public static final是多余的,但我没有找到官方解释.

我在这看：
https://docs.oracle.com/javase/8/docs/technotes/guides/language/annotations.html
https://docs.oracle.com/javase/tutorial/java/annotations/index.html
http://www.vogella.com/tutorials/JavaAnnotations/article.html

是否有关于这些修饰符的文档？或者有人可以提供“正式”解释吗？