Doc/javadoc deploy 2 (#13)

* manually deploy to gh pages

* fix distribution

Author: dzlab

.github/workflows/publish-javadoc.yml

@@ -17,7 +17,7 @@ jobs:
         uses: actions/setup-java@v3
         with:
           java-version: 8
-          distribution: ubuntu-latest
+          distribution: 'temurin'
           cache: maven
 
       - name: Generate Javadoc