The very simple webrev for https://bugs.openjdk.java.net/browse/JDK-8199675 is here: http://cr.openjdk.java.net/~jvos/8199675/webrev.00/ I'll commit once approved (adding the contributed-by smanux (Emmanuel Bourg) )