From 3fd2c9b3c0197583e58ea96202fbe496cae08f58 Mon Sep 17 00:00:00 2001
From: Romain Moreau <romainmoreau@gmail.com>
Date: Tue, 17 Jun 2025 20:15:38 +0200
Subject: [PATCH] JaCoCo updated

---
 scripts/buildJdtlsExt.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/buildJdtlsExt.js b/scripts/buildJdtlsExt.js
index 7bec569e..e4b593fb 100644
--- a/scripts/buildJdtlsExt.js
+++ b/scripts/buildJdtlsExt.js
@@ -76,7 +76,7 @@ function findNewRequiredJar(fileName) {
 }
 
 function downloadJacocoAgent() {
-    const version = "0.8.12";
+    const version = "0.8.13";
     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)) {