On Fri, 14 Nov 2025 12:41:27 GMT, Alan Bateman <alanb at openjdk.org> wrote: > I don't think we should delete this So changed in ad29084. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/28304#discussion_r2528319741