On Sat, 2 Jul 2022 13:23:27 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Sorry, I did not think this issue was intended to change the specification in > any way, but I see now that it actually does - whether that was the intent or > not. While, maybe, not strictly envisioned by the JIRA issue, the specification clarification is IMO a good addition. We should update the synopsis to make it clear that the simplification is to j.l.Runtime::exit. ------------- PR: https://git.openjdk.org/jdk/pull/9351