Update CI settings

Author: JeanMarc van Leerdam

.github/workflows/scala.yml

@@ -18,6 +18,7 @@ jobs:
     - name: Set up JDK
       uses: actions/setup-java@v4
       with:
+        distribution: temurin
         java-version: 17
     - uses: sbt/setup-sbt@v1
     - name: Run tests