Skip Javadoc generation for Maven checks

It is not needed to verify Javadoc generation for these checks,
and they cause the Github Actions jobs to run out of disk space.

.github/workflows/maven-checks.yml

@@ -41,6 +41,6 @@ jobs:
       - name: Maven Checks
         run: |
           export MAVEN_OPTS="${MAVEN_INSTALL_OPTS}"
-          ./mvnw install -B -V -T C1 -DskipTests -P ci -pl '!presto-test-coverage'
+          ./mvnw install -B -V -T C1 -DskipTests -Dmaven.javadoc.skip=true -P ci -pl '!presto-test-coverage,!:presto-server'
       - name: Clean Maven Output
         run: ./mvnw clean -pl '!:presto-server,!:presto-cli,!presto-test-coverage'