RFR: 8210: Update devguide to mention Protocol Rules for Eclipse 2023-06 onward

[Alex Macdonald]

On Tue, 12 Mar 2024 15:04:57 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Isn't this dealt with earlier in the dev guide?
> 
> " Install Eclipse, and before starting it, add the following two lines to the eclipse.ini file:
> 
> ```
> -Dp2.httpRule=allow
> -Dp2.trustedAuthorities=https://download.eclipse.org,https://archive.eclipse.org,http://localhost
> ```
> 
> "

Ah yes, although maybe it'd be useful to have both options described in the devguide. I'll reword the preferences part and move it up closer to where the eclipse.ini file content is.

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

PR Comment: https://git.openjdk.org/jmc/pull/556#issuecomment-1994481965