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

[Brice Dutheil]

On Sun, 14 May 2023 21:20:38 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
>
> docs/devguide/README.md line 74:
> 
>> 72: 
>> 73: Next we will import the project which contains the launchers. Select _File | Import…_ and then select _Existing Projects into Workspace_. Find the `configuration/ide/eclipse` folder and click Ok.
>> 74: 
> 
> Why is the step to import the launchers removed?

I wrote the reason in the specific commit: Eclipse auto import them when in a previous step, doing this actually made the launchers appear twice in the menu, now they only appear once.

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

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