Update to WALA 1.7.1

[msridhar]

WALA no longer relies on running on a JDK distribution that includes jmod files, so this will make running JarInfer easier.

Summary by CodeRabbit

• Chores
  • Updated build infrastructure to use Temurin JDK distribution for improved compatibility
  • Simplified JDK toolchain configuration
  • Updated WALA dependency to version 1.7.1

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 48feff42-e573-45d5-adca-c743571afe8d

📥 Commits

Reviewing files that changed from the base of the PR and between 331a920 and d490049.

📒 Files selected for processing (3)

• .github/workflows/continuous-integration.yml
• buildSrc/src/main/groovy/nullaway.java-test-conventions.gradle
• gradle/libs.versions.toml

💤 Files with no reviewable changes (1)

• buildSrc/src/main/groovy/nullaway.java-test-conventions.gradle

---

Walkthrough

This PR updates the Java toolchain and build configuration in three coordinated changes. It switches the GitHub Actions CI pipeline from using the Zulu JDK distribution to Temurin for Java 25, removes explicit Azul vendor specification from the Gradle test task toolchain configuration, and bumps the WALA dependency version from 1.7.0 to 1.7.1.

Possibly related PRs

• Run regression tests on JDK 26 #1526: Modifies the same Gradle test-conventions file to adjust vendor and toolchain configuration for test tasks across multiple JDK versions.
• Update CI to run builds on JDK 25 #1422: Implements coordinated CI and toolchain changes for JDK 25 including JDK distribution selection and vendor toolchain configuration.
• Test on JDK 25 #1301: Updates the same build and test tooling files and bumps WALA dependency versions as part of coordinated build configuration changes.

Suggested reviewers

• lazaroclapp
• seemantasaha
• yuxincs

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title 'Update to WALA 1.7.1' accurately summarizes the main change in the pull request, which is updating the WALA dependency from version 1.7.0 to 1.7.1.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch wala-1.7.1

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 88.48%. Comparing base (331a920) to head (bc69f8f).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff            @@
##             master    #1539   +/-   ##
=========================================
  Coverage     88.48%   88.48%           
  Complexity     2843     2843           
=========================================
  Files           103      103           
  Lines          9489     9489           
  Branches       1905     1905           
=========================================
  Hits           8396     8396           
  Misses          531      531           
  Partials        562      562           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.