Update jdt to 1.51.0

Author: puremourning

.github/workflows/ci.yml

@@ -81,7 +81,7 @@ jobs:
       if: matrix.benchmark == false
       uses: actions/setup-java@v4
       with:
-        java-version: 17
+        java-version: 21
         distribution: 'adopt'
 
     - name: Install Python
@@ -243,7 +243,7 @@ jobs:
   #     if: matrix.benchmark == false
   #     uses: actions/setup-java@v4
   #     with:
-  #       java-version: 17
+  #       java-version: 21
   #       distribution: 'temurin'
   #   - name: Install Python
   #     uses: actions/setup-python@v5

build.py

@@ -89,10 +89,10 @@ def Exit( self ):
   )$
 """
 
-JDTLS_MILESTONE = '1.40.0'
-JDTLS_BUILD_STAMP = '202409261450'
+JDTLS_MILESTONE = '1.51.0'
+JDTLS_BUILD_STAMP = '202510022025'
 JDTLS_SHA256 = (
-  '7416fc62befa450e32f06ec2b503f2eec5f22f0b1cc12f7b8ee5112bf671cf11'
+  '8a59372117881bf5bdc0220f2254472846b88137c058f344b00a7d41427745a1'
 )
 
 DEFAULT_RUST_TOOLCHAIN = 'nightly-2024-12-12'