--- old/src/java.compiler/share/classes/javax/lang/model/element/ElementKind.java	2017-02-07 13:14:40.160827045 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/element/ElementKind.java	2017-02-07 13:14:40.040818804 +0000
@@ -99,6 +99,7 @@
     /**
      * A module.
      * @since 9
+     * @spec JPMS
      */
      MODULE;