Approved. -- Kevin Johan Vos wrote: > 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) ) >