From 21b7b33de0a196c9a1bed1bc1999b02ec0bfc93c Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 7 Dec 2023 04:26:39 +0000
Subject: [PATCH] jdtls: Update to version 1.30.1-202312070249

---
 bucket/jdtls.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/jdtls.json b/bucket/jdtls.json
index 637610eaf8..d86eba41c7 100644
--- a/bucket/jdtls.json
+++ b/bucket/jdtls.json
@@ -1,5 +1,5 @@
 {
-    "version": "1.31.0-202312062128",
+    "version": "1.30.1-202312070249",
     "description": "Java language server",
     "homepage": "https://projects.eclipse.org/projects/eclipse.jdt.ls",
     "license": "EPL-2.0",
@@ -7,8 +7,8 @@
         "JDK": "java/openjdk",
         "Python": "python"
     },
-    "url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.31.0-202312062128.tar.gz",
-    "hash": "b816dc01888dfca4e5308d5003b0a93fc5cba9f0ac8147f8b70dad49a33089b5",
+    "url": "https://download.eclipse.org/jdtls/snapshots/jdt-language-server-1.30.1-202312070249.tar.gz",
+    "hash": "a1a6299a19d6390c62b8247ff1c2bc0f1e191d3dd4b48d443d8f2996d5adab41",
     "installer": {
         "script": "shim (search_in_path python.exe) $global jdtls \"$dir\\bin\\jdtls\""
     },