Enable Spotless verification for Android Port and add PR comments

- Added `spotless-maven-plugin` to `maven/android/pom.xml` configured for `Ports/Android/src`.
- Updated `scripts/build-android-port.sh` to run `spotless:check` using JDK 17.
- Updated `.github/workflows/scripts-android.yml` to generate and publish quality reports (including coverage) as a PR comment.

Author: google-labs-jules[bot]

scripts/build-android-port.sh

@@ -131,4 +131,7 @@ if [ ! -f "$BUILD_CLIENT" ]; then
   fi
 fi
 
-run_maven -q -f maven/pom.xml -pl android -am -Dcn1.binaries="$CN1_BINARIES" -P !download-cn1-binaries -T 1C -Dmaven.javadoc.skip=true -Dmaven.source.skip=true -Djava.awt.headless=true clean install spotless:check "$@"
+run_maven -q -f maven/pom.xml -pl android -am -Dcn1.binaries="$CN1_BINARIES" -P !download-cn1-binaries -T 1C -Dmaven.javadoc.skip=true -Dmaven.source.skip=true -Djava.awt.headless=true clean install "$@"
+
+log "Running Spotless verification..."
+JAVA_HOME="$JAVA17_HOME" run_maven -q -f maven/pom.xml -pl android -Dcn1.binaries="$CN1_BINARIES" -P !download-cn1-binaries -Djava.awt.headless=true com.diffplug.spotless:spotless-maven-plugin:check