Looks OK to me. Jan On 15.3.2018 22:13, Robert Field wrote: > Please review. > > See bug report for details: > > https://bugs.openjdk.java.net/browse/JDK-8198801 > > Webrev: > > http://cr.openjdk.java.net/~rfield/8198801v0.webrev/ > > Thanks, > Robert >