RFR: 7903624: Use openjdk.org instead of openjdk.java.net

[Jonathan Gibbons]

On Fri, 12 Jan 2024 15:54:21 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> We should use openjdk.org instead of openjdk.java.net.
> 
> This bug was triggered by the fact that git.openjdk.java.net had problem resolving properly for GitHub Actions in the build script (and the theory is that git.openjdk.org would work better), but this should be fixed nevertheless.

Marked as reviewed by jjg (Lead).

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

PR Review: https://git.openjdk.org/jtreg/pull/180#pullrequestreview-1849788889