JDK selection: allow non-Adopt early access builds

so e.g. at the moment ADOPTOPENJDK=17 will get us 17.ea.28-open

Author: SethTisue

travis/default.yml

@@ -7,6 +7,9 @@ before_install:
     echo sdkman_auto_selfupdate=true >> $HOME/.sdkman/etc/config
     source $HOME/.sdkman/bin/sdkman-init.sh
     sdkJava=$(sdk list java | grep -o " $ADOPTOPENJDK\.[0-9\.]*hs-adpt" | head -1 | cut -c2-)
+    # if we didn't find AdoptOpenJDK, accept a non-Adopt early access build
+    if [[ -z $sdkJava ]]; then sdkJava=$(sdk list java | egrep -o " $ADOPTOPENJDK\\.ea.[0-9]+-open" | head -1 | cut -c2-); fi
+    if [[ -z $sdkJava ]]; then echo "no matching JDK found: $ADOPTOPENJDK"; travis_terminate 1; fi
     sdk install java $sdkJava || true # install fails if it's already installed
     sdk use java $sdkJava
     unset JAVA_HOME