Re: Updated specs for Value Classes

[Dan Smith]

Oops, I updated the link text but the email client preserved the old URL. Try 
this one instead:

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