Integrated: 8068: Move JMC 9 to JDK 17

Tue May 16 09:48:57 UTC 2023

On Fri, 28 Apr 2023 14:33:55 GMT, Brice Dutheil <bdutheil at openjdk.org> wrote:

> This PR builds atop #359 which has a number of improvement.
> * #359
> 
> It removed older platform that didn't support Java17 (see https://wiki.eclipse.org/Eclipse/Installation).
> 
> I didn't changed the agent to 17 though.

This pull request has now been integrated.

Changeset: ae2fbf35
Author:    Brice Dutheil <bdutheil at openjdk.org>
Committer: Virag Purnam <vpurnam at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/ae2fbf359aa8f7612a0d3e6f18857e08cfdfc309
Stats:     1447 lines in 349 files changed: 193 ins; 935 del; 319 mod

8068: Move JMC 9 to JDK 17

Reviewed-by: vpurnam, clanger

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

PR: https://git.openjdk.org/jmc/pull/482