src/java.compiler/share/classes/javax/lang/model/element/Element.java

*** 121,130 ****
--- 121,132 ----
       * @see PackageElement#getSimpleName
       * @see ExecutableElement#getSimpleName
       * @see TypeElement#getSimpleName
       * @see VariableElement#getSimpleName
       * @see ModuleElement#getSimpleName
+      * @revised 9
+      * @spec JPMS
       */
      Name getSimpleName();
  
      /**
       * Returns the innermost element
*** 156,165 ****
--- 158,169 ----
       *
       * </ul>
       *
       * @return the enclosing element, or {@code null} if there is none
       * @see Elements#getPackageOf
+      * @revised 9
+      * @spec JPMS
       */
      Element getEnclosingElement();
  
      /**
       * Returns the elements that are, loosely speaking, directly
*** 188,197 ****
--- 192,203 ----
       * @see PackageElement#getEnclosedElements
       * @see ModuleElement#getEnclosedElements
       * @see Elements#getAllMembers
       * @jls 8.8.9 Default Constructor
       * @jls 8.9 Enums
+      * @revised 9
+      * @spec JPMS
       */
      List<? extends Element> getEnclosedElements();
  
      /**
       * Returns {@code true} if the argument represents the same