src/java.compiler/share/classes/javax/lang/model/element/ElementVisitor.java

@@ -157,10 +157,11 @@
      *
      * @param e  the element to visit
      * @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);
     }
 }