Seems OK to me. Jan On 28.4.2016 19:39, Robert Field wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8139832 > > Webrev: > http://cr.openjdk.java.net/~rfield/8139832.webrev/ > > -Robert >