FYI: the following JEP has been targeted to *11*: https://bugs.openjdk.java.net/browse/JDK-8177279 (We have not yet forked for 11, so it won't be pushed until after the fork.)