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

[SendaoYan]

On Thu, 25 Apr 2024 11:04:31 GMT, Claes Redestad <redestad 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.

@cl4es @erikj79 Thanks.

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

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