revert ci file to usual build behavior

.github/workflows/ci.yml

@@ -27,45 +27,22 @@ jobs:
           mvn -B clean license:check-file-header -Dlicence-check.failOnMissingHeader=true
     
   BuildAndTest:
-    name: Build and Test with java 8
+    name: Build and Test with java ${{ matrix.java_version }}
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        java_version: ['8', '9', '11']
 
     steps:
     - name: Checkout
       uses: actions/checkout@v2
-    - name: Use Java 8
+    - name: Use Java ${{ matrix.java_version }}
       uses: actions/setup-java@v1
       with:
-        java-version: '8'
-    - name: Build and test Java 8
+        java-version: ${{ matrix.java_version }}
+    - name: Build and test Java ${{ matrix.java_version }}
       run: |
-        mvn -B clean -DskipTests package -PJava8 -Pdeploy
-      
-    # has to happen in same job, so that the documention was already created (would require another checkout and maven run otherwise)
-    - name: Get Version
-      id: version
-      run: echo ::set-output name=version::$(mvn help:evaluate -Dexpression=project.version -q -DforceStdout)
-
-    - name: Organize documentation files for upload
-      shell: bash
-      env:
-        docdir: ./build/docs
-      run: |
-        export releasedir=${docdir}/${{ steps.version.outputs.version }} # env variables cannot contain other env variables
-        mkdir -p ${releasedir}/jdoc
-        unzip ./target/sootclasses-trunk-javadoc.jar -d ${releasedir}/jdoc/
-        mkdir -p ${releasedir}/options
-        cp ./doc/soot_options.html ${releasedir}/options/
-        cp ./doc/soot_options.css ${releasedir}/options/
-        cp ./doc/index.html ${docdir}/
-
-
-    - name: Deploy JavaDoc to GH pages
-      uses: JamesIves/[email protected]
-      with:
-        branch: gh-pages # The branch the action should deploy to.
-        folder: build/ # The folder the action should deploy.
-        clean: false # Do not remove existing files in gh-pages
+        mvn -B clean test -PJava${{ matrix.java_version }}
 
         
   DeployArtifacts:
@@ -113,4 +90,4 @@ jobs:
         with:
           branch: gh-pages # The branch the action should deploy to.
           folder: build/ # The folder the action should deploy.
-          lean: false # Do not remove existing files in gh-pages
+          clean: false # Do not remove existing files in gh-pages