JEP 513: Flexible Constructor Bodies: Final for JDK25 | Hacker News Reader