On Wed, 14 Sep 2022 15:53:41 GMT, Weijun Wang <weijun at openjdk.org> wrote: > I have no more comment. Thank you Max for your time and input ------------- PR: https://git.openjdk.org/jdk/pull/10045