module-info.class spec and attributes

[Jonathan Gibbons]

Jigsaw folk,

We have a reasonably up-to-date proposed simple spec for module-info.java
     http://openjdk.java.net/projects/jigsaw/doc/topics/grammar.html

But, I don't seem to be able to find a corresponding simple spec for 
module-info.class.  I've looked on the Jigsaw group web pages and back 
(way back) in email. At the time, I believe Alex was giving me marked up 
JVMS chapters. The most recent ones I have were from June/July 2009, and 
represent a direction we never took -- a single ModuleDirectives 
attribute, like this:
> ModuleDirectives_attribute {
>    u2 attribute_name_index;
>    u4 attribute_length;
>    u2 directives_length;
>    {
>      u2 directive_name_index;
>      u2 directive_flags;
>      u4 terms_length;
>      { u1 term_type; u2 term_index; } terms_table[term_length];
>      u2 attributes_count;
>      attribute_info attributes[attributes_count];
>    } directives_table[directives_length];
> }

So, what is the format we would like to see for module-info.class files?

-- Jon