Detect JDK 13 updates

See gh-18122

ci/scripts/detect-jdk-updates.sh

@@ -13,6 +13,10 @@ case "$JDK_VERSION" in
 		 BASE_URL="https://api.adoptopenjdk.net/v2/info/releases/openjdk12"
 		 ISSUE_TITLE="Upgrade Java 12 version in CI image"
 	;;
+	java13)
+		 BASE_URL="https://api.adoptopenjdk.net/v2/info/nightly/openjdk13"
+		 ISSUE_TITLE="Upgrade Java 13 version in CI image"
+	;;
 	*)
 		echo $"Unknown java version"
 		exit 1;