RFR: 8068: Move JMC 9 to JDK 17 [v12]

Tue May 16 09:12:05 UTC 2023

On Tue, 16 May 2023 09:07:07 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.
>
> Brice Dutheil has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fixed typos in devguide

Looks great now, ship it. 😄

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

Marked as reviewed by clanger (Committer).

PR Review: https://git.openjdk.org/jmc/pull/482#pullrequestreview-1428103360