Integrated: 8125: Update the developer guide for latest Eclipse

Fri Oct 13 23:49:01 UTC 2023

On Fri, 6 Oct 2023 23:05:10 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Updating the dev guide with a workaround for Eclipse currently redirecting to https for http URLs by default, which doesn't work well with our locally running jetty.

This pull request has now been integrated.

Changeset: 13a869ab
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/13a869ab7bba8ce13cefe80231d08f4c1636c178
Stats:     7 lines in 1 file changed: 6 ins; 0 del; 1 mod

8125: Update the developer guide for latest Eclipse

Reviewed-by: vpurnam

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

PR: https://git.openjdk.org/jmc/pull/521