On Thu, 8 Aug 2024 02:04:17 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Easy fix of an accidentally repeated "Java". Marked as reviewed by jpai (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/20505#pullrequestreview-2226737958