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

[SendaoYan]

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.

> /sponsor

Thanks.

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

PR Comment: https://git.openjdk.org/jdk/pull/18946#issuecomment-2078469303