jdt.ls requires java 17 now

Author: puremourning

.github/workflows/ci.yml

@@ -81,7 +81,7 @@ jobs:
       if: matrix.benchmark == false
       uses: actions/setup-java@v2
       with:
-        java-version: 11
+        java-version: 17
         distribution: 'adopt'
     - name: Install Python
       uses: actions/setup-python@v2
@@ -231,7 +231,7 @@ jobs:
       if: matrix.benchmark == false
       uses: actions/setup-java@v2
       with:
-        java-version: 11
+        java-version: 17
         distribution: 'adopt'
     - name: Install Python
       uses: actions/setup-python@v2

build.py

@@ -1069,7 +1069,7 @@ def Print( *args, **kwargs ):
     sys.stdout.write( 'Installing jdt.ls for Java support...' )
     sys.stdout.flush()
 
-  CheckJavaVersion( 11 )
+  CheckJavaVersion( 17 )
 
   TARGET = p.join( DIR_OF_THIRD_PARTY, 'eclipse.jdt.ls', 'target', )
   REPOSITORY = p.join( TARGET, 'repository' )