diff -r 8c62d6c866eb -r 1562aa55640a langtools/src/share/classes/javax/lang/model/element/Element.java --- a/langtools/src/share/classes/javax/lang/model/element/Element.java Fri Oct 04 16:23:05 2013 -0700 +++ b/langtools/src/share/classes/javax/lang/model/element/Element.java Mon Oct 07 16:51:56 2013 -0700 @@ -202,6 +202,7 @@ * @return {@code true} if the specified object represents the same * element as this */ + @Override boolean equals(Object obj); /** @@ -209,6 +210,7 @@ * * @see #equals */ + @Override int hashCode(); @@ -219,11 +221,18 @@ * Elements#getAllAnnotationMirrors(Element) * getAllAnnotationMirrors}. * - * @see ElementFilter * @since 1.6 */ @Override List getAnnotationMirrors(); + + /** + * {@inheritDoc} + * @since 1.6 + */ + @Override + A getAnnotation(Class annotationType); + /** * Applies a visitor to this element. *