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