[scripts] Update JDK repo version

JakubVanek · JakubVanek · commit 4e210eec39eb · 2018-03-25T19:59:10.000+02:00
diff --git a/build/config.sh b/build/config.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-JAVA_VERSION="9.0.4+11"
+JAVA_VERSION="9.0.4+12"
 JAVA_REPO="http://hg.openjdk.java.net/jdk-updates/jdk9u/"
 SCRIPTDIR="/opt/jdkcross"
 
