--- old/src/java.compiler/share/classes/javax/lang/model/element/ElementVisitor.java	2017-02-07 13:14:40.542853279 +0000
+++ new/src/java.compiler/share/classes/javax/lang/model/element/ElementVisitor.java	2017-02-07 13:14:40.421844970 +0000
@@ -159,6 +159,7 @@
      * @param p  a visitor-specified parameter
      * @return a visitor-specified result
      * @since 9
+     * @spec JPMS
      */
     default R visitModule(ModuleElement e, P p) {
         return visitUnknown(e, p);