I just happened to search for the specification of the class file representation of modules. I was quite surprised to find nothing in JVMS.
Then I found: "The changes to the class-file chapter in support of module declarations are not included in this draft of the JVMS; they will be included in a future version of this specification." Makes me wonder, if this is still work in progress? Anyway, please don't forget :) Stephan