Post-Release 2.12.0: Java and Version (#3241)

* Switch the Java version to 17 (in preparation of Java 21)
* Set KeY's version to 2.14.0

To be merged after #3242

Author: wadoon

.github/workflows/artiweb.yml

@@ -83,6 +83,6 @@ jobs:
           body: |
             Thank you for your contribution.
             
-            The test artifacts are available on [Artiweb](https://keyproject.github.io/artiweb/${{steps.rpn.outputs.pr-number}}/).
-            The newest artifact is [here](https://keyproject.github.io/artiweb/${{steps.rpn.outputs.pr-number}}/${{steps.da.outputs.test-artifact-id}}/).
+            The test artifacts are available on [Artiweb](e8e3f762-a110-4e21-bc41-cacb5f3a3a50.ka.bw-cloud-instance.org/${{steps.rpn.outputs.pr-number}}/).
+            The newest artifact is [here](e8e3f762-a110-4e21-bc41-cacb5f3a3a50.ka.bw-cloud-instance.org/${{steps.rpn.outputs.pr-number}}/${{steps.da.outputs.test-artifact-id}}/).
           edit-mode: replace

.github/workflows/code_quality.yml

@@ -30,7 +30,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: '11'
+          java-version: '17'
       - name: Build with Gradle
         uses: gradle/gradle-build-action@v2.4.2
         with:
@@ -61,7 +61,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: '11'
+          java-version: '17'
       - name: Build with Gradle
         uses: gradle/gradle-build-action@v2.4.2
         with:
@@ -87,7 +87,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: '11'
+          java-version: '17'
       - name: Build with Gradle
         uses: gradle/gradle-build-action@v2.4.2
         with:

.github/workflows/gradle-publish.yml

@@ -13,10 +13,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Set up JDK 11
+    - name: Set up JDK 17
       uses: actions/setup-java@v3
       with:
-        java-version: '11'
+        java-version: '17'
         distribution: 'temurin'
         server-id: github # Value of the distributionManagement/repository/id field of the pom.xml
 

.github/workflows/javadoc.yml

@@ -12,10 +12,10 @@ jobs:
       - run: ls -ld
       - run: ls -lh 'gradle'
 
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
-          java-version: '11'
+          java-version: '17'
           distribution: 'temurin'
 
       - name: Build with Gradle

.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

@@ -23,7 +23,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:
@@ -46,7 +46,7 @@ jobs:
           name: pr-number
           path: pr/
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}
@@ -80,11 +80,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 17
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}

.github/workflows/tests_winmac.yml

@@ -14,14 +14,14 @@ jobs:
       fail-fast: false
       matrix:
         os: [macos-latest, ubuntu-latest, windows-latest]
-        java: [11, 17]
+        java: [17]
     continue-on-error: true
     runs-on: ${{ matrix.os }}
     env:
       GH_TOKEN: ${{ github.token }}
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}
@@ -52,11 +52,11 @@ jobs:
       matrix:
         test: [testProveRules, testRunAllFunProofs, testRunAllInfProofs]
         os: [ macos-latest, ubuntu-latest, windows-latest ]
-        java: [11,17]
+        java: [17]
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
           java-version: ${{ matrix.java }}

.github/workflows/update_symbex_oracles.yml

@@ -17,10 +17,10 @@ jobs:
     continue-on-error: true
     steps:
       - uses: actions/checkout@v3
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v3
         with:
-          java-version: '11'
+          java-version: '17'
           distribution: 'temurin'
 
       - name: Build with Gradle

.gitlab-ci.yml

@@ -5,7 +5,7 @@
 # Jenkins runs are triggered from somewhere else.
 #
 
-image: wadoon/key-test-docker:jdk11
+image: wadoon/key-test-docker:jdk17
 
 cache:
   policy: pull-push
@@ -47,7 +47,7 @@ compile:classes:
 compile:testClasses:
   dependencies:  ["compile:classes"]
   stage: secondary
-  image: wadoon/key-test-docker:jdk11
+  image: wadoon/key-test-docker:jdk17
   script:
     - javac -version
     - gradle --build-cache --parallel testClasses
@@ -61,7 +61,7 @@ compile:testClasses:
 sonarqube:
   dependencies:  ["compile:testClasses"]
   stage: ternary
-  image: wadoon/key-test-docker:jdk11
+  image: wadoon/key-test-docker:jdk17
   allow_failure: true
   script:
     - ./scripts/tools/sonarqube_hint.py
@@ -82,7 +82,7 @@ sonarqube:
 
 format:
   stage: primary
-  image: wadoon/key-test-docker:jdk11
+  image: wadoon/key-test-docker:jdk17
   allow_failure: true
   script:
     - gradle spotlessCheck

build.gradle

@@ -50,7 +50,7 @@ static def getDate() {
 def build = System.env.BUILD_NUMBER == null ? "" : "-${System.env.BUILD_NUMBER}"
 
 group = "org.key-project"
-version = "2.12.0$build"
+version = "2.13.0$build"
 
 subprojects {
     apply plugin: "java"
@@ -67,8 +67,8 @@ subprojects {
     group = rootProject.group
     version = rootProject.version
 
-    sourceCompatibility = 11
-    targetCompatibility = 11
+    sourceCompatibility = 17
+    targetCompatibility = 17
 
     repositories {
         mavenCentral()
@@ -98,8 +98,8 @@ subprojects {
     tasks.withType(JavaCompile) {
         // Setting UTF-8 as the java source encoding.
         options.encoding = "UTF-8"
-        // Setting the release to Java 11
-        options.release = 11
+        // Setting the release to Java 17
+        options.release = 17
     }
 
     tasks.withType(Javadoc) {
@@ -485,7 +485,7 @@ task alldoc(type: Javadoc) {
         docTitle = "KeY JavaDoc ($project.version) -- ${getDate()}"
         bottom = "Copyright &copy; 2003-2023 <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/"