Update GitHub builds to use Temurin

Author: garydgregory

.github/workflows/coverage.yml

@@ -39,7 +39,7 @@ jobs:
     - name: Set up JDK ${{ matrix.java }}
       uses: actions/setup-java@v3
       with:
-        distribution: adopt
+        distribution: 'temurin'
         java-version: ${{ matrix.java }}
     - name: Build with Maven
       run: mvn -V test jacoco:report --file pom.xml --no-transfer-progress