RFR: 8331113: createJMHBundle.sh support configurable maven repo mirror

[Claes Redestad]

On Thu, 25 Apr 2024 09:47:11 GMT, SendaoYan <syan at openjdk.org> wrote:

> The script make/devkit/createJMHBundle.sh use fixed maven repo server: https://repo.maven.apache.org/maven2. It's maybe useful to make the maven repo mirror configurable.
> 
> Only change devkit shell script, no risk.

Looks reasonable.

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

Marked as reviewed by redestad (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/18946#pullrequestreview-2022194650