RFR: 8068: Move JMC 9 to JDK 17

Tue May 9 20:33:19 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.

The tycho version update would be required for this.

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

PR Comment: https://git.openjdk.org/jmc/pull/482#issuecomment-1540850065