Merge branch 'gradle-build-java-11' into compile-java11

.github/workflows/main.yml

@@ -15,8 +15,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-latest]
-
+        os: [ubuntu-latest]
 
     steps:
 
@@ -25,29 +24,20 @@ jobs:
       with:
         submodules: recursive
         fetch-depth: 0
-
-
-    - name: Updating Git-submodule
-      run: |
-        git submodule update --init --recursive
-        git submodule foreach --recursive git fetch
-        git submodule foreach git merge origin master 
 
     - name: Set up JDK 1.8
       uses: actions/setup-java@v3
       with:
         java-version: 8
-        distribution: 'adopt'
+        distribution: 'temurin'
         cache: gradle
 
-
     - name: Building jpf-symbc with Gradle
       run: |
         git submodule update --recursive
         ./gradlew :jpf-core:buildJars
         ./gradlew :jpf-symbc:buildJar
       
-
     - name: Testing jpf-symbc with Junit version 4.2
       run: |
-        ./gradlew :jpf-symbc:test
+        ./gradlew :jpf-symbc:test