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

Tue May 2 23:22:27 UTC 2023

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

> Textual specification clarifications.

This pull request has now been integrated.

Changeset: 05b9b582
Author:    Stuart Marks <smarks at 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