From 23a7e89e62242a721f5869d89a5558fc40c5662e Mon Sep 17 00:00:00 2001
From: Boris Staletic <boris.staletic@protonmail.com>
Date: Sat, 14 Dec 2024 18:41:00 +0100
Subject: [PATCH] Downgrade JDT to version 1.40.0

Newer versions (1.41+) have a bug where a shutdown request that is sent
immediatey after the server claims to be ready results in a
NullPointerException.
---
 build.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.py b/build.py
index 5b3313388..ed018409d 100755
--- a/build.py
+++ b/build.py
@@ -89,10 +89,10 @@ def Exit( self ):
   )$
 """
 
-JDTLS_MILESTONE = '1.42.0'
-JDTLS_BUILD_STAMP = '202411281516'
+JDTLS_MILESTONE = '1.40.0'
+JDTLS_BUILD_STAMP = '202409261450'
 JDTLS_SHA256 = (
-  '75d26dc03f886c089958a668dc8baede1a559a6e83bf12c96070a4ee199dc58e'
+  '7416fc62befa450e32f06ec2b503f2eec5f22f0b1cc12f7b8ee5112bf671cf11'
 )
 
 DEFAULT_RUST_TOOLCHAIN = 'nightly-2024-12-12'