RFR: 7062: Update to the Eclipse 2020-12 platform [v3]

[Marcus Hirt]

On Thu, 17 Dec 2020 02:18:58 GMT, Jonah Graham <github.com+679236+jonahgraham at openjdk.org> wrote:

>> Sorry I had hoped the problem was only http to https redirects. We'll need webmaster at eclipse.org to fix it. My guess is the fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=569730 broke it, so you can follow along there. 
>> 
>> Sorry for the inconvenience.
>
> Can you retrigger your build? IIUC the badly behaved redirect has been resolved.  https://bugs.eclipse.org/bugs/show_bug.cgi?id=569765

Thanks! It works now, but I think we might be hitting https://bugs.eclipse.org/bugs/show_bug.cgi?id=569039.

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

PR: https://git.openjdk.java.net/jmc/pull/185