Updated specifications

[Dan Smith]

> On Jun 24, 2024, at 5:19 AM, Dan Heidinga <dan.heidinga at oracle.com> wrote:
> 
> I’m still concerned about the sentence in 5.4 that says: “Linking activities may sometimes require the loading of additional classes.” as it can be read to support arbitrary class loads during linking.  David Holmes and I have been having a related discussion in https://bugs.openjdk.org/browse/JDK-8334324 about similar topics and this sentence would change the meaning of the spec and tilt those discussions.

Ah, thanks for the reference to that issue. I thought we could rephrase to help clean up the ambiguity, but it's clear that it's still a live issue to just figure out what behavior we want to disambiguate to (and whether various longstanding HotSpot behaviors need to change). That's not something I want to keep tying Valhalla to, so I'll spin this off as a separate issue.

I've filed a bug:
https://bugs.openjdk.org/browse/JDK-8334888

And here's the refreshed JVMS change doc:
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240624/specs/value-objects-jvms.html