On 1/15/20 8:54 PM, Andrew John Hughes wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8132111 > Webrev: https://cr.openjdk.java.net/~andrew/openjdk8/8132111/webrev.01 Looks fine to me. (What a mess.) -- Thanks, -Aleksey