Switch JDK_11 and JDK_12 in Jenkinsfile to use latest available
Switch JDK_11 and JDK_12 in Jenkinsfile to use latest available

EvilMcJerkface/crate,crate/crate,crate/crate,EvilMcJerkface/crate,EvilMcJerkface/crate,crate/crate