Updated specifications

[Dan Smith]

> On Jun 3, 2024, at 12:00 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> I've posted updated specifications for JEP 401 here:
> 
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html
> 
> These are intended to address all the needs of JEP 401, and I don't expect many further revisions—but as always, happy to hear any feedback.

Refreshed to address the comments in this thread, and to include the revised Flexible Constructor Bodies JLS document.

https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jls.html
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jvms.html