src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java

@@ -712,10 +712,11 @@
      *         is not a member of the module or an implementation of the service;
      *         or {@code extraProvides} maps a key to an empty list
      * @throws NullPointerException if any of the arguments are {@code null} or
      *         any of the Sets or Maps contains a {@code null} key or value
      * @since 9
+     * @spec JPMS
      */
     void redefineModule(Module module,
                         Set<Module> extraReads,
                         Map<String, Set<Module>> extraExports,
                         Map<String, Set<Module>> extraOpens,