On Fri, 2 May 2025 00:17:29 GMT, Weijun Wang <weijun at openjdk.org> wrote: > Fix the build error. Marked as reviewed by rhalade (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/24993#pullrequestreview-2810976171