On 7/2/21 3:07 PM, Severin Gehwolf wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8269810 > webrev: https://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8269810/01/webrev/ > > Thoughts? Looks fine to me, assuming it was fully auto-generated. -- Thanks, -Aleksey