Update to latest JVMCI

Author: eregon

ci.jsonnet

@@ -263,7 +263,7 @@ local part_definitions = {
       downloads+: {
         JAVA_HOME: {
           name: "oraclejdk",
-          version: "8u212-jvmci-20-b04",
+          version: "8u212-jvmci-19.2-b01",
           platformspecific: true,
         },
       },
@@ -277,7 +277,7 @@ local part_definitions = {
       downloads+: {
         JAVA_HOME: {
           name: "openjdk",
-          version: "8u212-jvmci-20-b04",
+          version: "8u212-jvmci-19.2-b01",
           platformspecific: true,
         },
       },