On 8/5/21 6:34 PM, Severin Gehwolf wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8268103 > webrev: https://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8268103/jdk8/01/webrev/ This looks fine. -- Thanks, -Aleksey