Use Maven 3 for JDK 17-

Author: pan3793

build/mvn

@@ -105,6 +105,10 @@ function version { echo "$@" | awk -F. '{ printf("%03d%03d%03d\n", $1,$2,$3); }'
 # install maven under the build/ folder if needed.
 install_mvn() {
   local MVN_VERSION=`grep "<maven.version>" "${_DIR}/../pom.xml" | head -n1 | awk -F '[<>]' '{print $3}'`
+  if [ -n "${JAVA_HOME}" ]; then JAVA="${JAVA_HOME}/bin/java"; else JAVA="java"; fi
+  if [ $(version $($JAVA -version 2>&1 | awk -F '"' '/version/ {print $2}')) -lt $(version "17.0.0") ]; then
+    MVN_VERSION=`grep "<maven3.version>" "${_DIR}/../pom.xml" | head -n1 | awk -F '[<>]' '{print $3}'`
+  fi
   MVN_BIN="${_DIR}/apache-maven-${MVN_VERSION}/bin/mvn"
   if [ -f "$MVN_BIN" ]; then
     return

pom.xml

@@ -114,6 +114,7 @@
     </distributionManagement>
 
     <properties>
+        <maven3.version>3.9.14</maven3.version>
         <maven.version>4.0.0-rc-5</maven.version>
         <maven.compiler.source>8</maven.compiler.source>
         <maven.compiler.target>8</maven.compiler.target>