Asmtools should support new Jigsaw features mentioned in the JCK issue: JCK-7307033
A new VM tests should be written to cover the following new Jigsaw features:

    ModuleDeclaration: {Annotation} [open] module Identifier {. Identifier} { {ModuleStatement} }

    ModuleStatement:
        requires {RequiresModifier} ModuleName ;
        exports PackageName [to ModuleName {, ModuleName}] ;
        opens PackageName [to ModuleName {, ModuleName}] ;
        uses TypeName ;
        provides TypeName with TypeName {, TypeName} ;

    RequiresModifier:
    one of transitive static

    ModuleName:
    Identifier
    ModuleName . Identifier

New format of the module attribute:
Module_attribute {
    u2 attribute_name_index;
    u4 attribute_length;

    u2 module_name_index;
    u2 module_flags;

    u2 requires_count;
    { u2 requires_index;
        u2 requires_flags;
    } requires[requires_count];

    u2 exports_count;
    { u2 exports_index;
        u2 exports_flags;
        u2 exports_to_count;
        u2 exports_to_index[exports_to_count];
    } exports[exports_count];

    u2 opens_count;
    { u2 opens_index;
        u2 opens_flags;
        u2 opens_to_count;
        u2 opens_to_index[opens_to_count];
    } opens[opens_count];

    u2 uses_count;
    u2 uses_index[uses_count];

    u2 provides_count;
    { u2 provides_index;
        u2 provides_with_count;
        u2 provides_with_index[provides_with_count];
    } provides[provides_count];
}