Merge branch 'master' into contrib/java11

.github/workflows/build.yml

@@ -0,0 +1,22 @@
+on:
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    strategy:
+      matrix:
+        java: [ '11', '17' ]
+    name: Java ${{ matrix.Java }} sample
+    steps:
+      - uses: actions/checkout@v3
+      - name: Setup java
+        uses: actions/setup-java@v3
+        with:
+          distribution: 'zulu'
+          java-version: ${{ matrix.java }}
+      - name: Build MSPSim
+      - run: ant compile
+      - name: Test MSPSim
+      - run: ant test

.travis.yml

@@ -1,4 +0,0 @@
-language: java
-jdk:
-  - oraclejdk8
-  - openjdk8