712      *         is not a member of the module or an implementation of the service;

   712      *         is not a member of the module or an implementation of the service;

   713      *         or {@code extraProvides} maps a key to an empty list

   713      *         or {@code extraProvides} maps a key to an empty list

   714      * @throws NullPointerException if any of the arguments are {@code null} or

   714      * @throws NullPointerException if any of the arguments are {@code null} or

   715      *         any of the Sets or Maps contains a {@code null} key or value

   715      *         any of the Sets or Maps contains a {@code null} key or value

   716      * @since 9

   716      * @since 9

   717      */

   718      */

   718     void redefineModule(Module module,

   719     void redefineModule(Module module,

   719                         Set<Module> extraReads,

   720                         Set<Module> extraReads,

   720                         Map<String, Set<Module>> extraExports,

   721                         Map<String, Set<Module>> extraExports,

   721                         Map<String, Set<Module>> extraOpens,

   722                         Map<String, Set<Module>> extraOpens,