On Thu, 27 Apr 2023 23:06:42 GMT, Stuart Marks <sma...@openjdk.org> wrote:
> Textual specification clarifications. This pull request has now been integrated. Changeset: 05b9b582 Author: Stuart Marks <sma...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/05b9b5821db0e0d5d998a1bd8574aa6021878c9e Stats: 32 lines in 2 files changed: 6 ins; 2 del; 24 mod 8302496: Runtime.exit incorrectly says it never throws an exception Reviewed-by: alanb ------------- PR: https://git.openjdk.org/jdk/pull/13706