On 12/10/2016 10:10, Magnus Ihse Bursie wrote: >> Bug: https://bugs.openjdk.java.net/browse/JDK-8166937 >> >> Webrev: http://cr.openjdk.java.net/~erikj/8166937/webrev.01/ > > Looks good to me. Ditto. -- Alan Burlison --