On Wed, 19 Oct 2022 11:54:23 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Otherwise, looks good! Thanks for the review. I've added all your suggestions. ------------- PR: https://git.openjdk.org/jdk/pull/10668