1.1 --- a/src/share/classes/javax/lang/model/element/Element.java Fri Oct 04 16:23:05 2013 -0700 1.2 +++ b/src/share/classes/javax/lang/model/element/Element.java Mon Oct 07 16:51:56 2013 -0700 1.3 @@ -202,6 +202,7 @@ 1.4 * @return {@code true} if the specified object represents the same 1.5 * element as this 1.6 */ 1.7 + @Override 1.8 boolean equals(Object obj); 1.9 1.10 /** 1.11 @@ -209,6 +210,7 @@ 1.12 * 1.13 * @see #equals 1.14 */ 1.15 + @Override 1.16 int hashCode(); 1.17 1.18 1.19 @@ -219,11 +221,18 @@ 1.20 * Elements#getAllAnnotationMirrors(Element) 1.21 * getAllAnnotationMirrors}. 1.22 * 1.23 - * @see ElementFilter 1.24 * @since 1.6 1.25 */ 1.26 @Override 1.27 List<? extends AnnotationMirror> getAnnotationMirrors(); 1.28 + 1.29 + /** 1.30 + * {@inheritDoc} 1.31 + * @since 1.6 1.32 + */ 1.33 + @Override 1.34 + <A extends Annotation> A getAnnotation(Class<A> annotationType); 1.35 + 1.36 /** 1.37 * Applies a visitor to this element. 1.38 *