Seems OK to me. Jan On 11.4.2016 09:22, Robert Field wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8153551 > > Webrev: > http://cr.openjdk.java.net/~rfield/8153551.webrev/ > > Thanks, > Robert > >