--- a/langtools/src/java.compiler/share/classes/javax/lang/model/element/PackageElement.java	Thu Feb 09 17:21:49 2017 +0000
+++ b/langtools/src/java.compiler/share/classes/javax/lang/model/element/PackageElement.java	Fri Feb 10 09:06:10 2017 +0000
@@ -93,6 +93,9 @@
      * source version} without modules.
      *
      * @return the enclosing module or {@code null} if no such module exists
+     *
+     * @revised 9
+     * @spec JPMS
      */
     @Override
     Element getEnclosingElement();