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.
- Updated scripts to correctly collect test results and coverage for reporting.
- Updated `.github/scripts/generate-quality-report.py` to suppress missing report sections to avoid noise.

Author: google-labs-jules[bot]

.github/scripts/generate-quality-report.py

@@ -701,9 +701,8 @@ def build_report(
     )
     lines.extend([
         "",
-        "### Static Analysis",
     ])
-    for block in (
+    static_analysis_blocks = [
         format_spotbugs(
             spotbugs,
             html_urls.get("spotbugs"),
@@ -724,8 +723,19 @@ def build_report(
             archive_urls.get("checkstyle"),
             blob_base,
         ),
-    ):
-        lines.extend(block)
+    ]
+
+    has_findings = False
+    for block in static_analysis_blocks:
+        if block:
+            has_findings = True
+            break
+
+    if has_findings:
+        lines.append("### Static Analysis")
+        for block in static_analysis_blocks:
+            lines.extend(block)
+
     lines.extend(
         [
             "",

.github/workflows/scripts-android.yml

@@ -162,15 +162,6 @@ jobs:
           if-no-files-found: warn
           retention-days: 14
           compression-level: 6
-      - name: Prepare coverage for quality report
-        if: ${{ always() && matrix.id == 'default' }}
-        run: |
-          mkdir -p artifacts/android-coverage-report/site/jacoco
-          if [ -f artifacts/android-coverage-report/jacocoAndroidReport.xml ]; then
-            cp artifacts/android-coverage-report/jacocoAndroidReport.xml artifacts/android-coverage-report/site/jacoco/jacoco.xml
-          else
-            echo "No coverage XML found at expected path."
-          fi
       - name: Generate quality report summary
         if: ${{ always() && matrix.id == 'default' }}
         env:

scripts/generate-android-coverage-report.sh

@@ -239,6 +239,14 @@ json.dump(data, summary_path.open("w", encoding="utf-8"), indent=2)
 PY
 
 cov_log "Copied Jacoco coverage report to $REPORT_DEST_DIR"
+
+# Prepare layout for generate-quality-report.py
+# It expects site/jacoco/jacoco.xml
+mkdir -p "$REPORT_DEST_DIR/site/jacoco"
+if [ -f "$REPORT_XML_PATH" ]; then
+  cp "$REPORT_XML_PATH" "$REPORT_DEST_DIR/site/jacoco/jacoco.xml"
+fi
+
 if [ -f "$SUMMARY_OUT" ]; then
   cov_log "Wrote coverage summary to $SUMMARY_OUT"
 fi

scripts/run-android-instrumentation-tests.sh

@@ -222,6 +222,15 @@ for test in "${TEST_NAMES[@]}"; do
   fi
 done
 
+# Harvest test results for quality report
+TEST_RESULTS_DIR="$GRADLE_PROJECT_DIR/app/build/test-results/connectedDebugAndroidTest"
+DEST_TEST_DIR="$ARTIFACTS_DIR/android-coverage-report/surefire-reports"
+if [ -d "$TEST_RESULTS_DIR" ]; then
+  ensure_dir "$DEST_TEST_DIR"
+  cp "$TEST_RESULTS_DIR"/*.xml "$DEST_TEST_DIR/" 2>/dev/null || true
+  ra_log "Copied test results to $DEST_TEST_DIR"
+fi
+
 # ---- Compare against stored references ------------------------------------
 
 COMPARE_ENTRIES=()