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

Tue May 16 09:19:00 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 good to me as well.

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

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