src/share/classes/javax/lang/model/element/TypeElement.java

*** 1,7 ****
  /*
!  * Copyright (c) 2005, 2011, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
--- 1,7 ----
  /*
!  * Copyright (c) 2005, 2012, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.  Oracle designates this
*** 59,69 ****
   * @see DeclaredType
   * @since 1.6
   */
  public interface TypeElement extends Element, Parameterizable, QualifiedNameable {
      /**
!      * {@inheritDoc}
       *
       * <p> Note that as a particular instance of the {@linkplain
       * javax.lang.model.element general accuracy requirements} and the
       * ordering behavior required of this interface, the list of
       * enclosed elements will be returned in the natural order for the
--- 59,74 ----
   * @see DeclaredType
   * @since 1.6
   */
  public interface TypeElement extends Element, Parameterizable, QualifiedNameable {
      /**
!      * Returns the fields, methods, constructors, and member types
!      * that are directly declared in this class or interface.
!      *
!      * This includes any (implicit) default constructor and
!      * the implicit {@code values} and {@code valueOf} methods of an
!      * enum type.
       *
       * <p> Note that as a particular instance of the {@linkplain
       * javax.lang.model.element general accuracy requirements} and the
       * ordering behavior required of this interface, the list of
       * enclosed elements will be returned in the natural order for the
*** 73,82 ****
--- 78,88 ----
       * (However, in that case the the ordering of synthesized
       * elements, such as a default constructor, is not specified.)
       *
       * @return the enclosed elements in proper order, or an empty list if none
       */
+     @Override
      List<? extends Element> getEnclosedElements();
  
      /**
       * Returns the <i>nesting kind</i> of this type element.
       *