Update github action using JDK 17

Author: ting-lan-wang

.github/workflows/run-tests.yaml

@@ -19,6 +19,7 @@ jobs:
       - name: Set up JDK 17
         uses: actions/setup-java@v5
         with:
+          distribution: 'oracle'
           java-version: '17'
       - name: Cache Maven packages
         uses: actions/cache@v4