build - Update jacoco to 0.8.12 (#1720)

scripts/buildJdtlsExt.js

@@ -76,7 +76,7 @@ function findNewRequiredJar(fileName) {
 }
 
 function downloadJacocoAgent() {
-    const version = "0.8.11";
+    const version = "0.8.12";
     const jacocoAgentUrl = `https://repo1.maven.org/maven2/org/jacoco/org.jacoco.agent/${version}/org.jacoco.agent-${version}-runtime.jar`;
     const jacocoAgentPath = path.resolve('server', 'jacocoagent.jar');
     if (!fs.existsSync(jacocoAgentPath)) {