RFR: 8302496: Runtime.exit incorrectly says it never throws an exception

[Stuart Marks]

On Thu, 27 Apr 2023 23:06:42 GMT, Stuart Marks <smarks at openjdk.org> wrote:

> Textual specification clarifications.

Please review CSR [JDK-8307081](https://bugs.openjdk.org/browse/JDK-8307081).

-------------

PR Comment: https://git.openjdk.org/jdk/pull/13706#issuecomment-1526712106