On Mon, 10 Nov 2025 15:42:48 GMT, William Kemper <wkemper at openjdk.org> wrote: > This include looks vestigial. Can we just delete it? Good catch. I'll make that change. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28219#issuecomment-3512565592