Update to Jena 5.3.0 (was 4.6.1)

Author: hoijui

run/_common

@@ -20,10 +20,10 @@ res_dir="$proj_root_dir/res"
 
 # See: https://stackoverflow.com/a/7335120/586229
 JAVA_VER=$(java -version 2>&1 | awk -F '"' '/version/ {print $2}' | awk -F '.' '{sub("^$", "0", $2); print $1$2}')
-# Apache Jena 4.10, December 2023, requires at least Java 11
-JAVA_VER_MIN=110
+# Apache Jena 5.3.0, March 2025, requires at least Java 17
+JAVA_VER_MIN=117
 
-JENA_VERSION="4.6.1"
+JENA_VERSION="5.3.0"
 JENA_DL_BASE_URL="https://archive.apache.org/dist/jena/binaries/"
 JENA_DL_URL="$JENA_DL_BASE_URL/apache-jena-$JENA_VERSION.zip"
 JENA_FUSEKI_DL_URL="$JENA_DL_BASE_URL/apache-jena-fuseki-$JENA_VERSION.zip"
@@ -42,6 +42,7 @@ function ensure_java_version() {
 	# Java 1.5 -> 15
 	# Java 1.8 -> 18
 	# Java 11 -> 110
+	# Java 17 -> 117
 	required_version_10="${1:-$JAVA_VER_MIN}"
 
 	if [ "$JAVA_VER" -ge "$required_version_10" ]