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. ------------- Commit messages: - change copyright 2023 to 2024 - 8331113: createJMHBundle.sh support configurable maven repo mirror Changes: https://git.openjdk.org/jdk/pull/18946/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=18946&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8331113 Stats: 3 lines in 1 file changed: 1 ins; 0 del; 2 mod Patch: https://git.openjdk.org/jdk/pull/18946.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/18946/head:pull/18946 PR: https://git.openjdk.org/jdk/pull/18946
