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 `.github/scripts/generate-quality-report.py` to support suppressing missing reports to avoid noise in the Android comment.

Author: google-labs-jules[bot]

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

@@ -514,6 +514,8 @@ def format_spotbugs(
         details = error.split("\n", 1)[0]
         return [f"- ⚠️ SpotBugs: report could not be parsed ({details})."]
     if not generated:
+        if os.environ.get("QUALITY_REPORT_SUPPRESS_MISSING") == "1":
+            return []
         return [
             "- ✅ SpotBugs: no findings (report was not generated by the build).",
         ]
@@ -543,6 +545,8 @@ def format_pmd(
     blob_base: Optional[str],
 ) -> List[str]:
     if not data:
+        if os.environ.get("QUALITY_REPORT_SUPPRESS_MISSING") == "1":
+            return []
         return ["- ⚠️ PMD report not generated."]
     total = sum(data.totals.values())
     status = "✅" if total == 0 else "❌"
@@ -568,6 +572,8 @@ def format_checkstyle(
     blob_base: Optional[str],
 ) -> List[str]:
     if not data:
+        if os.environ.get("QUALITY_REPORT_SUPPRESS_MISSING") == "1":
+            return []
         return ["- ⚠️ Checkstyle report not generated."]
     total = sum(data.totals.values())
     status = "✅" if total == 0 else "❌"

.github/workflows/scripts-android.yml

@@ -162,6 +162,15 @@ 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:
@@ -171,6 +180,7 @@ jobs:
           QUALITY_REPORT_REF: ${{ github.event.pull_request.head.sha || github.sha }}
           JACOCO_REPORT_URL: ${{ steps.upload-quality-artifacts.outputs.artifact-url }}
           QUALITY_REPORT_TITLE: "✅ Android Quality Report"
+          QUALITY_REPORT_SUPPRESS_MISSING: "1"
         run: python3 .github/scripts/generate-quality-report.py
       - name: Publish quality report comment
         if: ${{ github.event_name == 'pull_request' && matrix.id == 'default' }}