Looks good! Jan On 7.7.2016 09:07, Robert Field wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8160935 > > Webrev: > http://cr.openjdk.java.net/~rfield/8160935v0.webrev/ >