This JEP is now targeted to JDK 12. I’ve merged up to the latest sources and will be integrating these changes in the next day or two.
Here’s the latest webrev post merge in the event anyone spots any last minute issues. http://cr.openjdk.java.net/~bobv/8209093/webrev.02 <http://cr.openjdk.java.net/~bobv/8209093/webrev.02> Bob,.
