Remi Forax has explained that the ModuleHashes attribute is "OpenJDK specific" and so is not part of the JMP spec. Is there an up to date specification of OpenJDK specific Java 9 class file changes anywhere?