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

*** 712,721 ****
--- 712,722 ----
       *         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,