--- old/src/java.compiler/share/classes/javax/lang/model/util/AbstractElementVisitor6.java	2017-02-07 13:14:42.071958286 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/util/AbstractElementVisitor6.java	2017-02-07 13:14:41.950949976 +0000
@@ -136,6 +136,7 @@
      * @return the result of {@code visitUnknown}
      *
      * @since 9
+     * @spec JPMS
      */
     @Override
     public R visitModule(ModuleElement e, P p) {