Duplicate module names allowed in exports_to_index, opens_to_index tables

Both assertions mentioned below, don't work with JDK 9 build 157.
Realization allows to have the following tables:
// exports_to_index
           [1] {
                { #9 0x0000 [] {#11; #11; #11; #11;} };
            };

// opens_to_index
            [1] {
                { #13 0x0000 [] {#11; #11;} };
            };
----------------------
exports_to_index
The value of each exports_to_index item must be a valid index into the constant_pool table. The constant_pool entry at that index must be a CONSTANT_Module_info structure denoting a module whose code can access the types and members in this exported package.

For each entry in the exports table, at most one entry in its exports_to_index table may specify a module of a given name. (Compile-time)
---------------------
opens_to_index
The value of each opens_to_index item must be a valid index into the constant_pool table. The constant_pool entry at that index must be a CONSTANT_Module_info structure denoting a module whose code can access the types and members in this opened package.

For each entry in the opens table, at most one entry in its opens_to_index table may specify a module of a given name. (Compile-time)
--------------------------
Partial JCK build attached.