On Tue, 22 Mar 2022 09:18:14 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Good catch! The fix looks good to me. thanks for the review! I applied your suggestions. ------------- PR: https://git.openjdk.java.net/jdk/pull/7822