Update JDK 15 version in CI image

This also switches to the adoptopenjdk-produced binaries for better
consistency with other JDK versions in our CI.

Author: bclozel

ci/images/get-jdk-url.sh

@@ -12,7 +12,7 @@ case "$1" in
 		 echo "https://github.com/AdoptOpenJDK/openjdk14-binaries/releases/download/jdk-14.0.2%2B12/OpenJDK14U-jdk_x64_linux_hotspot_14.0.2_12.tar.gz"
 	;;
   java15)
-		 echo "https://download.java.net/java/early_access/jdk15/33/GPL/openjdk-15-ea+33_linux-x64_bin.tar.gz"
+		 echo "https://github.com/AdoptOpenJDK/openjdk15-binaries/releases/download/jdk15u-2020-09-09-09-19/OpenJDK15U-jdk_x64_linux_hotspot_2020-09-09-09-19.tar.gz"
   ;;
   *)
 		echo $"Unknown java version"