--- old/src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java	2017-02-07 13:13:51.938515527 +0000
+++ new/src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java	2017-02-07 13:13:51.766503715 +0000
@@ -714,6 +714,7 @@
      * @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,