--- old/src/java.compiler/share/classes/javax/lang/model/element/PackageElement.java	2017-02-07 13:14:41.312906160 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/element/PackageElement.java	2017-02-07 13:14:41.191897851 +0000
@@ -85,6 +85,9 @@
      * Returns the enclosing module.
      *
      * @return the enclosing module
+     *
+     * @revised 9
+     * @spec JPMS
      */
     @Override
     Element getEnclosingElement();