Bump checker-qual from 3.8.0 to 3.9.0
Bump checker-qual from 3.8.0 to 3.9.0

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.8.0 to 3.9.0.
<details>
<summary>Release notes</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/releases">checker-qual's releases</a>.</em></p>
<blockquote>
<h2>Checker Framework 3.9.0</h2>
<p>Version 3.9.0, January 4, 2021</p>
<p>New scripts <code>checker/bin/wpi.sh</code> and <code>checker/bin/wpi-many.sh</code> run whole-program inference, without modifying the source code of the target programs.</p>
<p>The <code>-Ainfer</code> command-line argument now infers</p>
<ul>
<li>method preconditions (<code>@RequiresQualifiers</code>, <code>@RequiresNonNull</code>)</li>
<li>method postconditions (<code>@EnsuresQualifiers</code>, <code>@EnsuresNonNull</code>)</li>
<li><code>@MonotonicNonNull</code></li>
</ul>
<p>The Called Methods Checker supports the -AdisableReturnsReceiver command-line option.</p>
<p>The Format String Checker recognizes Error Prone's <code>@FormatMethod</code> annotation.</p>
<p>Use of <code>@SuppressWarnings(&quot;fbc&quot;)</code> to suppress initialization warnings is deprecated.</p>
<p>Implementation details:</p>
<p>Class renamings:</p>
<ul>
<li><code>StubParser</code> =&gt; <code>AnnotationFileParser</code></li>
<li><code>Receiver</code> =&gt; <code>JavaExpression</code>
<ul>
<li>also related class and method renamings</li>
</ul>
</li>
<li>In the Dataflow Framework:
<ul>
<li><code>ThisLiteralNode</code> =&gt; <code>ThisNode</code></li>
<li><code>ExplicitThisLiteralNode</code> =&gt; <code>ExplicitThisNode</code></li>
<li><code>ImplicitThisLiteralNode</code> =&gt; <code>ImplicitThisNode</code></li>
</ul>
</li>
</ul>
<p>Method deprecations:</p>
<ul>
<li>Deprecated <code>AnnotatedTypeFactory.addAliasedAnnotation</code>; use <code>addAliasedTypeAnnotation</code></li>
</ul>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/765">#765</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2452">#2452</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2953">#2953</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3377">#3377</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3496">#3496</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3499">#3499</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3826">#3826</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3956">#3956</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3971">#3971</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3974">#3974</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3994">#3994</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4004">#4004</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4005">#4005</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4018">#4018</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4032">#4032</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4068">#4068</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4070">#4070</a>.</p>
</blockquote>
</details>
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a href="https://github.com/typetools/checker-framework/blob/master/changelog.txt">checker-qual's changelog</a>.</em></p>
<blockquote>
<p>Version 3.9.0, January 4, 2021</p>
<p>New scripts <code>checker/bin/wpi.sh</code> and <code>checker/bin/wpi-many.sh</code> run whole-program
inference, without modifying the source code of the target programs.</p>
<p>The <code>-Ainfer</code> command-line argument now infers</p>
<ul>
<li>method preconditions (<code>@RequiresQualifiers</code>, <code>@RequiresNonNull</code>)</li>
<li>method postconditions (<code>@EnsuresQualifiers</code>, <code>@EnsuresNonNull</code>)</li>
<li><code>@MonotonicNonNull</code></li>
</ul>
<p>The Called Methods Checker supports the -AdisableReturnsReceiver command-line option.</p>
<p>The Format String Checker recognizes Error Prone's <code>@FormatMethod</code> annotation.</p>
<p>Use of <code>@SuppressWarnings(&quot;fbc&quot;)</code> to suppress initialization warnings is deprecated.</p>
<p>Implementation details:</p>
<p>Class renamings:</p>
<ul>
<li><code>StubParser</code> =&gt; <code>AnnotationFileParser</code></li>
<li><code>Receiver</code> =&gt; <code>JavaExpression</code>
<ul>
<li>also related class and method renamings</li>
</ul>
</li>
<li>In the Dataflow Framework:
<ul>
<li><code>ThisLiteralNode</code> =&gt; <code>ThisNode</code></li>
<li><code>ExplicitThisLiteralNode</code> =&gt; <code>ExplicitThisNode</code></li>
<li><code>ImplicitThisLiteralNode</code> =&gt; <code>ImplicitThisNode</code></li>
</ul>
</li>
</ul>
<p>Method deprecations:</p>
<ul>
<li>Deprecated <code>AnnotatedTypeFactory.addAliasedAnnotation</code>; use <code>addAliasedTypeAnnotation</code></li>
</ul>
<p>Closed issues:
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/765">#765</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2452">#2452</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/2953">#2953</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3377">#3377</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3496">#3496</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3499">#3499</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3826">#3826</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3956">#3956</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3971">#3971</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3974">#3974</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/3994">#3994</a>,
<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4004">#4004</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4005">#4005</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4018">#4018</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4032">#4032</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4068">#4068</a>, <a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4070">#4070</a>.</p>
<hr />
<p>Version 3.8.0, December 1, 2020</p>
<p>The Initialized Fields Checker warns when a field is not initialized by a
constructor.  This is more general than the Initialization Checker, which
only checks that <code>@NonNull</code> fields are initialized.</p>
<p>The manual describes how to modify an sbt build file to run the Checker
Framework.</p>
<p>The -AwarnUnneededSuppressions command-line option warns only about
suppression strings that contain a checker name.</p>
<p>The -AwarnUnneededSuppressionsExceptions=REGEX command-line option
partially disables -AwarnUnneededSuppressions.  Most users don't need this.</p>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/typetools/checker-framework/commit/50fc235dae56c3f2d9ff2fbcaa1971aa5169448a"><code>50fc235</code></a> new release 3.9.0</li>
<li><a href="https://github.com/typetools/checker-framework/commit/9320b0119e924907cff28dd42ece07ea045030bd"><code>9320b01</code></a> Fix broken link again.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/44fdf391263643bae53d6ba89b047e2b3c02d1b6"><code>44fdf39</code></a> Fix broken links.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/82841ee7ca3023bb3514deb8ed892059577e137b"><code>82841ee</code></a> Merge branch 'master' of github.com:typetools/checker-framework</li>
<li><a href="https://github.com/typetools/checker-framework/commit/3494660780d0fc1ab1c37dd0ec699288dd78ab99"><code>3494660</code></a> Fix Javadoc.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/8abb25bca9a2f4d965614cbac4625c02778c0589"><code>8abb25b</code></a> Make wpi.sh produce <code>typecheck.out</code> files (<a href="https://github-redirect.dependabot.com/typetools/checker-framework/issues/4069">#4069</a>)</li>
<li><a href="https://github.com/typetools/checker-framework/commit/52a16046892447df3effe432b189ee5d8bbb9a72"><code>52a1604</code></a> Only list issues closed since the last release.</li>
<li><a href="https://github.com/typetools/checker-framework/commit/d182acb96ad6f5a05e76d5197cb6cea33b575e15"><code>d182acb</code></a> Tweak changelog</li>
<li><a href="https://github.com/typetools/checker-framework/commit/e0cab110f627169f12ab1b1fef21c6bc7c90c097"><code>e0cab11</code></a> Refactoring of JavaExpressionParseUtil</li>
<li><a href="https://github.com/typetools/checker-framework/commit/eab769a97090274573bb88803225f1c6d81b985f"><code>eab769a</code></a> Bump reflection-util from 1.0.2 to 1.0.3</li>
<li>Additional commits viewable in <a href="https://github.com/typetools/checker-framework/compare/checker-framework-3.8.0...checker-framework-3.9.0">compare view</a></li>
</ul>
</details>
<br />

[![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=org.checkerframework:checker-qual&package-manager=maven&previous-version=3.8.0&new-version=3.9.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

</details>

Fixes #797

COPYBARA_INTEGRATE_REVIEW=https://github.com/google/truth/pull/797 from google:dependabot/maven/org.checkerframework-checker-qual-3.9.0 fe87fa6ee0064d0301c51c0235e7970055e29397
PiperOrigin-RevId: 350152509

google/truth,google/truth,google/truth