Turns out, the default Maven Central URL that GitHub Actions (and many other things, really) relies on for fetching dependencies was down in Apr. 19th, resulting as a CI failure in this repository; see https://github.com/actions/setup-java/issues/485 for context.
Since the CI failure was an upstream issue, i.e., not a bug caused by #375, I propose reapplying it.
Cherry-picked from fe5a584e1334af3c5b1f7e3c0cfcec4974f5846d (#375)
Turns out, the default Maven Central URL that GitHub Actions (and many other things, really) relies on for fetching dependencies was down in Apr. 19th, resulting as a CI failure in this repository; see https://github.com/actions/setup-java/issues/485 for context.
Since the CI failure was an upstream issue, i.e., not a bug caused by #375, I propose reapplying it.