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

[Brice Dutheil]

On Mon, 15 May 2023 21:39:00 GMT, Christoph Langer <clanger at openjdk.org> wrote:

>> Brice Dutheil has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Set up maven toolchains
>
> core/pom.xml line 143:
> 
>> 141: 		<pluginManagement>
>> 142: 			<plugins>
>> 143: 				<plugin>
> 
> This section needs to be moved out of <pluginManagement\> to have an effect...

Indeed, thanks for pointing it out.

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

PR Review Comment: https://git.openjdk.org/jmc/pull/482#discussion_r1194436876