Looks OK to me. Jan On 24. 05. 19 7:39, Robert Field wrote: > Please review -- > > Bug: https://bugs.openjdk.java.net/browse/JDK-8199623 > > Webrev: http://cr.openjdk.java.net/~rfield/8199623.webrev01/ > > > Thanks, > Robert >