Lines Matching full:jdk
12 # Switch to desired JDK, download if required:
18 rm -rf /tmp/jdk/$JDK
19 mkdir -p /tmp/jdk/$JDK
21 if [ ! -f "/tmp/jdk/$FILENAME" ]
23 curl -L $JDK_URL -o /tmp/jdk/$FILENAME
26 tar -xzf /tmp/jdk/$FILENAME -C /tmp/jdk/$JDK --strip-components 1
30 export JAVA_HOME="/tmp/jdk/$JDK"
38 case "$JDK" in
47 jdk_switcher use oraclejdk${JDK}
62 # and "-XMaxPermSize" not supported by JDK 9
67 case "$JDK" in
91 # see https://bugs.openjdk.java.net/browse/JDK-8131041 about "java.locale.providers"
96 echo "Incorrect JDK [$JDK]"