The Removal of Recoder

.github/workflows/opttest.yml

@@ -12,7 +12,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, windows-latest]
-        java: [11, 17]
+        java: [17]
         tests: [":key.core.proof_references:test", ":key.core.symbolic_execution:test"]
     runs-on: ${{matrix.os}}
     steps:

.github/workflows/tests.yml

@@ -7,7 +7,7 @@ on:
   pull_request:
     branches: [ "main" ]
   merge_group:
-  
+
 permissions:
   contents: write
   issues: write
@@ -21,7 +21,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, windows-latest]
-        java: [11, 17]
+        java: [17]
     continue-on-error: true
     runs-on: ${{ matrix.os }}
     env:
@@ -44,7 +44,7 @@ jobs:
           name: pr-number
           path: pr/
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK ${{ matrix.java }}
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}
@@ -76,11 +76,11 @@ jobs:
       matrix:
         test: [testProveRules, testRunAllFunProofs, testRunAllInfProofs]
         os: [ubuntu-latest]
-        java: [11]
+        java: [17]
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK ${{ matrix.java }}
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}

build.gradle

@@ -66,8 +66,8 @@ subprojects {
     group = rootProject.group
     version = rootProject.version
 
-    sourceCompatibility = 11
-    targetCompatibility = 11
+    sourceCompatibility = 20
+    targetCompatibility = 20
 
     repositories {
         mavenCentral()
@@ -98,7 +98,7 @@ subprojects {
         // Setting UTF-8 as the java source encoding.
         options.encoding = "UTF-8"
         // Setting the release to Java 11
-        options.release = 11
+        options.release = 17
     }
 
     tasks.withType(Javadoc) {
@@ -439,7 +439,7 @@ task alldoc(type: Javadoc) {
         docTitle = "KeY JavaDoc ($project.version) -- ${getDate()}"
         bottom = "Copyright &copy; 2003-2022 <a href=\"http://key-project.org\">The KeY-Project</a>."
         use = true
-        links += "https://docs.oracle.com/en/java/javase/11/docs/api/"
+        links += "https://docs.oracle.com/en/java/javase/17/docs/api/"
         links += "http://www.antlr2.org/javadoc/"
         links += "http://www.antlr3.org/api/Java/"
         links += "https://www.antlr.org/api/Java/"