Merge pull request #60 from JakubVanek/feature/jdk14-ga

JDK14-related enhancements

Author: jabrena

README.md

@@ -38,7 +38,7 @@ Builds for older boards should work on newer boards, the performance might just
 [16]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/buster-bleeding/
 
 [17]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/stretch-14/badge/icon
-[17]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/stretch-14/
+[18]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/stretch-14/
 [19]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/buster-14/badge/icon
 [20]: https://ci.adoptopenjdk.net/view/ev3dev/job/eljbuild/job/buster-14/
 

scripts/config.sh

@@ -262,10 +262,10 @@ elif [ "$JDKVER" == "13" ]; then
   HOTSPOT_ABI=arm-sflt
   JNI_PATH_FLAGS="--with-jni-libpath=/usr/lib/$DEB_HOST_MULTIARCH/jni:/lib/$DEB_HOST_MULTIARCH:/usr/lib/$DEB_HOST_MULTIARCH:/usr/lib/jni:/lib:/usr/lib"
 
-# OpenJDK 14 ea
+# OpenJDK 14
 elif [ "$JDKVER" == "14" ]; then
-  VERSION_POLICY="latest_tag"
-  JAVA_REPO="https://github.com/openjdk/jdk14.git"
+  VERSION_POLICY="latest_general_availability"
+  JAVA_REPO="https://github.com/openjdk/jdk14u.git"
   JAVA_SCM="git"
   PATCHVER="jdk14"
   AUTOGEN_STYLE="v2"