On Wed, 1 Nov 2023 14:03:08 GMT, Weijun Wang <wei...@openjdk.org> wrote:
> There might be more warnings from the java launcher. Better ignore them now. Marked as reviewed by rhalade (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16450#pullrequestreview-1710918172
