Changes regarding the handling of <clinit> in Java 9

[Volker Simonis]

Hi,

JDK-8130682 "2.9: Clarify class and interface initialization methods"
[1], which is marked as resolved, proposes some changes for how to
handle non-compliant versions of '<clinit>' in class files. It
actually makes the check for compliance stricter and mandates
rejection of non-compliant versions with CFE. These changes have been
implemented already in OpenJDK 9 with JDK-8139164 "JVM should throw
ClassFormatError for non-void methods named <clinit>" [2].

My question is, where I can find this (and other upcoming) changes in
the Java Virtual Machine Specification for Java SE 9. I've looked
trough all the Early Draft Review Specification documents provided by
JSR 379 and 376 but couldn't find them.

Thank you and best regards,
Volker

[1] https://bugs.openjdk.java.net/browse/JDK-8130682
[2] https://bugs.openjdk.java.net/browse/JDK-8139164