On Tue, 11 Nov 2025 16:28:54 GMT, Paul Sandoz <[email protected]> wrote:
> Revisiting the names in HotSpot, and their internal connection in Java, could > be done in a separate PR? Yes, exactly. Maybe even in a quick renaming PR before this issue. Would be quickly reviewed, and would allow us to see complete consistency going forward with this PR here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/28002#issuecomment-3517766354
