Are jigsaw related changes to the JVM specification documented anywhere? E.g. module-info has the new ACC_MODULE flag, the new Module attribute and differs from a normal class by having no superclass.