"JPMS: Modules in the Java Language and JVM" at http://cr.openjdk.java.net/~mr/jigsaw/spec/lang-vm.html says the the Module attribute module_version_index and requires_version_index values "must be a valid index into the constant_pool table" which must be a CONSTANT_Utf8_info structure. However, in reality they both appear to optionally have a value of 0. Is this correct?
Also, the ModuleHashes attribute appears in the Java 9 module-info classes but does not appear in the "JPMS: Modules in the Java Language and JVM". Is this just an oversight?