On Mon, 21 Jul 2025 12:25:25 GMT, Sean Mullan <mullan at openjdk.org> wrote: > Seems more like a bug than an enhancement to me. Thanks. Corrected to bug type. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26390#issuecomment-3097978754