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

@@ -83,9 +83,12 @@
 
     /**
      * Returns the enclosing module.
      *
      * @return the enclosing module
+     *
+     * @revised 9
+     * @spec JPMS
      */
     @Override
     Element getEnclosingElement();
 }