Integrated: 6915: JMC dev launchers do not include JOverflow

Tue Oct 6 11:01:43 UTC 2020

On Fri, 2 Oct 2020 21:49:58 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Also cleaned up formatting and added proper license headers.

This pull request has now been integrated.

Changeset: c7f10501
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/c7f10501
Stats:     740 lines in 9 files changed: 176 ins; 0 del; 564 mod

6915: JMC dev launchers do not include JOverflow

Reviewed-by: aptmac, ghb

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

PR: https://git.openjdk.java.net/jmc/pull/115