dependabot[bot] opened a new pull request, #4201:
URL: https://github.com/apache/arrow-adbc/pull/4201

   Bumps the linters group with 4 updates in the /java directory: 
[org.checkerframework:checker-qual](https://github.com/typetools/checker-framework),
 
[org.checkerframework:checker](https://github.com/typetools/checker-framework), 
[com.google.errorprone:error_prone_core](https://github.com/google/error-prone) 
and [com.uber.nullaway:nullaway](https://github.com/uber/NullAway).
   
   Updates `org.checkerframework:checker-qual` from 3.54.0 to 4.0.0
   <details>
   <summary>Release notes</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/releases";>org.checkerframework:checker-qual's
 releases</a>.</em></p>
   <blockquote>
   <h2>Release 4.0.0 of the Checker Framework</h2>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version 
of javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That 
is, your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 
11 bytecode.  Thus, they may be used in projects that run under Java 11 or 
later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600 issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields Checker</a> warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak 
Checker</a> guarantees that every resource is closed rather than leaked.  
Examples of resources are a channel, executor, <code>ExecutionControl</code>, 
file, <code>FileLock</code>, <code>Formatter</code>, reader, 
<code>Scanner</code>, socket, stream, writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes 
Checker</a> helps prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   <li><code>-Aversion</code>, <code>-AprintGitProperties</code></li>
   <li>You can pass an option to only a particular checker (not all checkers) 
by using an underscore prefix.</li>
   </ul>
   <p>Other improvements include thousands of enhancements and bug fixes -- too 
many to list here.</p>
   <h3>Implementation details</h3>
   <p>All previously-deprecated methods and classes have been removed.  If your 
project builds upon the Checker Framework, we suggest that you upgrade to 
version 3.55.1, resolve all the deprecation warnings, then upgrade to version 
4.0.0.</p>
   <h2>Checker Framework 3.55.1</h2>
   <h2>Version 3.55.1 (2026-04-03)</h2>
   <p>No user-visible changes.</p>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Changelog</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md";>org.checkerframework:checker-qual's
 changelog</a>.</em></p>
   <blockquote>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version of
   javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that
   compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That is,
   your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and
   <code>checker-util.jar</code> still use Java 11 bytecode.  Thus, they may be 
used in
   projects that run under Java 11 or later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600
   issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns
   about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields
   Checker</a>
   warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak
   Checker</a>
   guarantees that every resource is closed rather than leaked.  Examples of
   resources are a channel, executor, <code>ExecutionControl</code>, file, 
<code>FileLock</code>,
   <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, 
writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes
   Checker</a> helps
   prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   </ul>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Commits</summary>
   <ul>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/479d0875daa271447e2822c657896b5f9d02ce24";><code>479d087</code></a>
 new release 4.0.0</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/bfff75751f4fa4094b7d3015c4b2cfbc2893fbc5";><code>bfff757</code></a>
 Put the manual in the right place.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924";><code>c532f6d</code></a>
 Put a copy of manual.pdf at top level of website as expected.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec";><code>5e53e6c</code></a>
 No closed issues.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/e67ae858ed36f81ac586fbf42821fa3a483e7f23";><code>e67ae85</code></a>
 Prep for release.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4192d0d88bc272c571a8dd3454d499982cd0ee42";><code>4192d0d</code></a>
 Remove file SKIP-REQUIRE-JAVADOC</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7";><code>7d6d856</code></a>
 Remove or update references to JDK 8-16</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/b1e3761bbf0dfb1185d7e8e0b850ef97cafd5ea8";><code>b1e3761</code></a>
 Remove all deprecated methods</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41";><code>a1b3064</code></a>
 Directly use Java 17 and below Javac APIs. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7582";>#7582</a>)</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4efdbdbbda3ac5230bcae57341098816aa71abfb";><code>4efdbdb</code></a>
 Remove support for Java 8 from scripts and build scripts. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7575";>#7575</a>)</li>
   <li>Additional commits viewable in <a 
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.54.0...checker-framework-4.0.0";>compare
 view</a></li>
   </ul>
   </details>
   <br />
   
   Updates `org.checkerframework:checker` from 3.54.0 to 4.0.0
   <details>
   <summary>Release notes</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/releases";>org.checkerframework:checker's
 releases</a>.</em></p>
   <blockquote>
   <h2>Release 4.0.0 of the Checker Framework</h2>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version 
of javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That 
is, your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 
11 bytecode.  Thus, they may be used in projects that run under Java 11 or 
later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600 issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields Checker</a> warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak 
Checker</a> guarantees that every resource is closed rather than leaked.  
Examples of resources are a channel, executor, <code>ExecutionControl</code>, 
file, <code>FileLock</code>, <code>Formatter</code>, reader, 
<code>Scanner</code>, socket, stream, writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes 
Checker</a> helps prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   <li><code>-Aversion</code>, <code>-AprintGitProperties</code></li>
   <li>You can pass an option to only a particular checker (not all checkers) 
by using an underscore prefix.</li>
   </ul>
   <p>Other improvements include thousands of enhancements and bug fixes -- too 
many to list here.</p>
   <h3>Implementation details</h3>
   <p>All previously-deprecated methods and classes have been removed.  If your 
project builds upon the Checker Framework, we suggest that you upgrade to 
version 3.55.1, resolve all the deprecation warnings, then upgrade to version 
4.0.0.</p>
   <h2>Checker Framework 3.55.1</h2>
   <h2>Version 3.55.1 (2026-04-03)</h2>
   <p>No user-visible changes.</p>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Changelog</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md";>org.checkerframework:checker's
 changelog</a>.</em></p>
   <blockquote>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version of
   javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that
   compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That is,
   your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and
   <code>checker-util.jar</code> still use Java 11 bytecode.  Thus, they may be 
used in
   projects that run under Java 11 or later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600
   issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns
   about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields
   Checker</a>
   warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak
   Checker</a>
   guarantees that every resource is closed rather than leaked.  Examples of
   resources are a channel, executor, <code>ExecutionControl</code>, file, 
<code>FileLock</code>,
   <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, 
writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes
   Checker</a> helps
   prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   </ul>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Commits</summary>
   <ul>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/479d0875daa271447e2822c657896b5f9d02ce24";><code>479d087</code></a>
 new release 4.0.0</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/bfff75751f4fa4094b7d3015c4b2cfbc2893fbc5";><code>bfff757</code></a>
 Put the manual in the right place.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924";><code>c532f6d</code></a>
 Put a copy of manual.pdf at top level of website as expected.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec";><code>5e53e6c</code></a>
 No closed issues.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/e67ae858ed36f81ac586fbf42821fa3a483e7f23";><code>e67ae85</code></a>
 Prep for release.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4192d0d88bc272c571a8dd3454d499982cd0ee42";><code>4192d0d</code></a>
 Remove file SKIP-REQUIRE-JAVADOC</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7";><code>7d6d856</code></a>
 Remove or update references to JDK 8-16</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/b1e3761bbf0dfb1185d7e8e0b850ef97cafd5ea8";><code>b1e3761</code></a>
 Remove all deprecated methods</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41";><code>a1b3064</code></a>
 Directly use Java 17 and below Javac APIs. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7582";>#7582</a>)</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4efdbdbbda3ac5230bcae57341098816aa71abfb";><code>4efdbdb</code></a>
 Remove support for Java 8 from scripts and build scripts. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7575";>#7575</a>)</li>
   <li>Additional commits viewable in <a 
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.54.0...checker-framework-4.0.0";>compare
 view</a></li>
   </ul>
   </details>
   <br />
   
   Updates `com.google.errorprone:error_prone_core` from 2.48.0 to 2.49.0
   <details>
   <summary>Release notes</summary>
   <p><em>Sourced from <a 
href="https://github.com/google/error-prone/releases";>com.google.errorprone:error_prone_core's
 releases</a>.</em></p>
   <blockquote>
   <h2>Error Prone 2.49.0</h2>
   <p>This release includes several changes to <code>Matcher</code> APIs, and 
removed some deprecated or problematic APIs:</p>
   <ul>
   <li>Remove deprecated <code>MethodMatchers.withSignature</code> API, which 
relies on fragile <code>toString</code> behaviour. Alternatives for matching on 
method signatures with varargs and type parameters were added in <a 
href="https://github.com/google/error-prone/commit/a98a1c55d92d343ae2c142485e8888cd46aa78b3";>https://github.com/google/error-prone/commit/a98a1c55d92d343ae2c142485e8888cd46aa78b3</a>.</li>
   <li>Removed <code>variableType(Matcher)</code> API. 
<code>Matchers.variableType(Matcher)</code> uses 
<code>VariableTree#getType</code> to match variable types, which own't work for 
lambda parameters with inferred types after <a 
href="https://bugs.openjdk.org/browse/JDK-8268850";>JDK-8268850</a>. The 
recommended replacement is <code>variableType(TypePredicate)</code>.</li>
   <li>Make <code>enclosingPackage</code> return an optional. Module elements 
are not enclosed by a package, checks using <code>enclosingPackage</code> 
shouldn't assume an enclosing package exists when processing arbitrary 
elements.</li>
   <li>New <code>FieldMatchers</code> API, similar to 
<code>MethodMatchers</code> (<a 
href="https://github.com/google/error-prone/commit/1dd9c3a6bd76fca8104be6ae1c1004655d6a1745";>https://github.com/google/error-prone/commit/1dd9c3a6bd76fca8104be6ae1c1004655d6a1745</a>).</li>
   </ul>
   <p>New checks:</p>
   <ul>
   <li><a 
href="https://errorprone.info/bugpattern/AssertThrowsBlockToExpression";><code>AssertThrowsBlockToExpression</code></a>:
 Discourage unnecessary block lambdas in <code>assertThrows</code>.</li>
   <li><a 
href="https://errorprone.info/bugpattern/AssertThrowsMinimizer";><code>AssertThrowsMinimizer</code></a>:
 Suggest minimizing the amount of logic in <code>assertThrows</code>.</li>
   <li><a 
href="https://errorprone.info/bugpattern/MemorySegmentReferenceEquality";><code>MemorySegmentReferenceEquality</code></a>:
 Discourage using reference equality for <code>MemorySegments</code>.</li>
   <li><a 
href="https://errorprone.info/bugpattern/PreferThrowsTag";><code>PreferThrowsTag</code></a>:
 Recommends using <code>@throws</code> instead of the legacy 
<code>@exception</code> javadoc tag.</li>
   <li><a 
href="https://errorprone.info/bugpattern/RecordAccessorInCompactConstructor";><code>RecordAccessorInCompactConstructor</code></a>:
 detect record accessors inside the compact canonical ctors, which read 
uninitialized fields.</li>
   </ul>
   <p>Closed issues: <a 
href="https://redirect.github.com/google/error-prone/issues/2283";>#2283</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/3503";>#3503</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5210";>#5210</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5289";>#5289</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5548";>#5548</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5548";>#5548</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5554";>#5554</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5609";>#5609</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5614";>#5614</a>, <a 
href="https://redirect.github.com/google/error-prone/issues/5656";>#5656</a></p>
   <p>Full changelog: <a 
href="https://github.com/google/error-prone/compare/v2.48.0...v2.49.0";>https://github.com/google/error-prone/compare/v2.48.0...v2.49.0</a></p>
   </blockquote>
   </details>
   <details>
   <summary>Commits</summary>
   <ul>
   <li><a 
href="https://github.com/google/error-prone/commit/89d75c196f2bac93d7aab17db6d2d70a2ee55941";><code>89d75c1</code></a>
 Release Error Prone 2.49.0</li>
   <li><a 
href="https://github.com/google/error-prone/commit/0b7b03b05d038f596e687e35fccd2cdc0356a7e2";><code>0b7b03b</code></a>
 Fix up some javadoc on 
`ModifySourceCollectionInStream.isStreamApiInvocationO...</li>
   <li><a 
href="https://github.com/google/error-prone/commit/fe5a7b1f4583db97387c46ed32ccd664d3f455f6";><code>fe5a7b1</code></a>
 Remove old FieldMatchers API</li>
   <li><a 
href="https://github.com/google/error-prone/commit/d54a1d1cd9b57dd49de585e21d0e315f3fb88c82";><code>d54a1d1</code></a>
 Fix up some <code>Finally</code> javadocs.</li>
   <li><a 
href="https://github.com/google/error-prone/commit/d93b31908fd361eb5e817a7dd18a1296f12f6414";><code>d93b319</code></a>
 [RefactorSwitch] bugfix comment handling</li>
   <li><a 
href="https://github.com/google/error-prone/commit/ff59782c69b9394e14b11d0b17574fe5b3dafa9c";><code>ff59782</code></a>
 [IfChainToSwitch] cleanup redundant conditions in ternary.  No functional 
cha...</li>
   <li><a 
href="https://github.com/google/error-prone/commit/43b6df64ed635e1fcabaabd9c884df5753aac26b";><code>43b6df6</code></a>
 Generalise DuplicateAssertion to handle check* methods.</li>
   <li><a 
href="https://github.com/google/error-prone/commit/2c4346f59fdcdda7bf17839b55d2d5e416c7d1d1";><code>2c4346f</code></a>
 Fix a bug in <code>BooleanLiteral</code>: it currently suggests replacing 
`Boolean.FALSE...</li>
   <li><a 
href="https://github.com/google/error-prone/commit/559039bcc26400cd725236bdffe7fc94c4519311";><code>559039b</code></a>
 [IfChainToSwitch] doc-only change.  fix typo in code comments.</li>
   <li><a 
href="https://github.com/google/error-prone/commit/393c61ce5b28fd5bcd1290ee831d3358d37cce16";><code>393c61c</code></a>
 [IfChainToSwitch] enhance code generation to emit unnamed variables, when 
sup...</li>
   <li>Additional commits viewable in <a 
href="https://github.com/google/error-prone/compare/v2.48.0...v2.49.0";>compare 
view</a></li>
   </ul>
   </details>
   <br />
   
   Updates `com.uber.nullaway:nullaway` from 0.13.1 to 0.13.2
   <details>
   <summary>Release notes</summary>
   <p><em>Sourced from <a 
href="https://github.com/uber/NullAway/releases";>com.uber.nullaway:nullaway's 
releases</a>.</em></p>
   <blockquote>
   <h2>NullAway 0.13.2</h2>
   <p>Various bug fixes in this release and better JSpecify support.</p>
   <ul>
   <li>Fix for explicitly-typed lambda parameters in JDK 24+ (<a 
href="https://redirect.github.com/uber/NullAway/issues/1452";>#1452</a>)</li>
   <li>Improve handling of wildcard upper bounds in generic method inference by 
<a href="https://github.com/dhruv-agr";><code>@​dhruv-agr</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1454";>#1454</a>)</li>
   <li>Add default support for <a 
href="https://github.com/PostConstruct";><code>@​PostConstruct</code></a> as an 
initializer annotation (<a 
href="https://redirect.github.com/uber/NullAway/issues/1459";>#1459</a>)</li>
   <li>Include nested annotation information in astubx files when loading 
external library models by <a 
href="https://github.com/haewiful";><code>@​haewiful</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1456";>#1456</a>)</li>
   <li>JSpecify: assume NONNULL in generic method inference for unconstrained 
type variables (<a 
href="https://redirect.github.com/uber/NullAway/issues/1471";>#1471</a>)</li>
   <li>JSpecify: improve inference for generic methods based on method 
reference arguments (<a 
href="https://redirect.github.com/uber/NullAway/issues/1438";>#1438</a>)</li>
   <li>Improve printing of annotated type variables in error messages (<a 
href="https://redirect.github.com/uber/NullAway/issues/1478";>#1478</a>)</li>
   <li>Initial handling of constructor diamond operators (<a 
href="https://redirect.github.com/uber/NullAway/issues/1464";>#1464</a>)</li>
   <li>Handle restrictive type-use <code>@NonNull</code> annotations on varargs 
array (<a 
href="https://redirect.github.com/uber/NullAway/issues/1484";>#1484</a>)</li>
   <li>Test case for issue 1493 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1496";>#1496</a>)</li>
   <li>Fix library modeling for varargs arrays (<a 
href="https://redirect.github.com/uber/NullAway/issues/1485";>#1485</a>)</li>
   <li>Re-introduce annotations elided by <code>javac</code> for certain cases 
(<a href="https://redirect.github.com/uber/NullAway/issues/1473";>#1473</a>)</li>
   <li>JDK javac plugin: properly handle nested annotations on array parameter 
types and varargs (<a 
href="https://redirect.github.com/uber/NullAway/issues/1497";>#1497</a>)</li>
   <li>Print only <code>@Nullable</code> type use annotations in error messages 
(<a href="https://redirect.github.com/uber/NullAway/issues/1507";>#1507</a>)</li>
   <li>Better handling of method references passed to generic methods in 
JSpecify mode (<a 
href="https://redirect.github.com/uber/NullAway/issues/1499";>#1499</a>)</li>
   <li>Support for Spring's <a 
href="https://github.com/Value";><code>@​Value</code></a> annotation (<a 
href="https://redirect.github.com/uber/NullAway/issues/1505";>#1505</a>)</li>
   <li>Fix crash with captured array types (<a 
href="https://redirect.github.com/uber/NullAway/issues/1508";>#1508</a>)</li>
   <li>Maintenance
   <ul>
   <li>Update comments in NullabilityUtil#hasAnyAnnotationMatching (<a 
href="https://redirect.github.com/uber/NullAway/issues/1457";>#1457</a>)</li>
   <li>Update to Gradle 9.3.1 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1458";>#1458</a>)</li>
   <li>Update to Error Prone 2.47.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1461";>#1461</a>)</li>
   <li>Switch InvocationAndContext to be a record (<a 
href="https://redirect.github.com/uber/NullAway/issues/1463";>#1463</a>)</li>
   <li>Upgrade GitHub Actions for Node 24 compatibility by <a 
href="https://github.com/salmanmkc";><code>@​salmanmkc</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1465";>#1465</a>)</li>
   <li>Upgrade GitHub Actions to latest versions by <a 
href="https://github.com/salmanmkc";><code>@​salmanmkc</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1466";>#1466</a>)</li>
   <li>Bump various dependencies (<a 
href="https://redirect.github.com/uber/NullAway/issues/1469";>#1469</a>)</li>
   <li>Use text blocks in <code>CustomLibraryModelsTests</code> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1482";>#1482</a>)</li>
   <li>Update Error Prone and EP plugin (<a 
href="https://redirect.github.com/uber/NullAway/issues/1486";>#1486</a>)</li>
   <li>Update to Gradle 9.4.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1491";>#1491</a>)</li>
   <li>Minor cleanup, no behavior changes by <a 
href="https://github.com/armandino";><code>@​armandino</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1487";>#1487</a>)</li>
   <li>Update to Error Prone 2.49.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1514";>#1514</a>)</li>
   </ul>
   </li>
   </ul>
   </blockquote>
   </details>
   <details>
   <summary>Changelog</summary>
   <p><em>Sourced from <a 
href="https://github.com/uber/NullAway/blob/master/CHANGELOG.md";>com.uber.nullaway:nullaway's
 changelog</a>.</em></p>
   <blockquote>
   <h2>Version 0.13.2</h2>
   <p>Various bug fixes in this release and better JSpecify support.</p>
   <ul>
   <li>Fix for explicitly-typed lambda parameters in JDK 24+ (<a 
href="https://redirect.github.com/uber/NullAway/issues/1452";>#1452</a>)</li>
   <li>Improve handling of wildcard upper bounds in generic method inference by 
<a href="https://github.com/dhruv-agr";><code>@​dhruv-agr</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1454";>#1454</a>)</li>
   <li>Add default support for <a 
href="https://github.com/PostConstruct";><code>@​PostConstruct</code></a> as an 
initializer annotation (<a 
href="https://redirect.github.com/uber/NullAway/issues/1459";>#1459</a>)</li>
   <li>Include nested annotation information in astubx files when loading 
external library models by <a 
href="https://github.com/haewiful";><code>@​haewiful</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1456";>#1456</a>)</li>
   <li>JSpecify: assume NONNULL in generic method inference for unconstrained 
type variables (<a 
href="https://redirect.github.com/uber/NullAway/issues/1471";>#1471</a>)</li>
   <li>JSpecify: improve inference for generic methods based on method 
reference arguments (<a 
href="https://redirect.github.com/uber/NullAway/issues/1438";>#1438</a>)</li>
   <li>Improve printing of annotated type variables in error messages (<a 
href="https://redirect.github.com/uber/NullAway/issues/1478";>#1478</a>)</li>
   <li>Initial handling of constructor diamond operators (<a 
href="https://redirect.github.com/uber/NullAway/issues/1464";>#1464</a>)</li>
   <li>Handle restrictive type-use <code>@NonNull</code> annotations on varargs 
array (<a 
href="https://redirect.github.com/uber/NullAway/issues/1484";>#1484</a>)</li>
   <li>Test case for issue 1493 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1496";>#1496</a>)</li>
   <li>Fix library modeling for varargs arrays (<a 
href="https://redirect.github.com/uber/NullAway/issues/1485";>#1485</a>)</li>
   <li>Re-introduce annotations elided by <code>javac</code> for certain cases 
(<a href="https://redirect.github.com/uber/NullAway/issues/1473";>#1473</a>)</li>
   <li>JDK javac plugin: properly handle nested annotations on array parameter 
types and varargs (<a 
href="https://redirect.github.com/uber/NullAway/issues/1497";>#1497</a>)</li>
   <li>Print only <code>@Nullable</code> type use annotations in error messages 
(<a href="https://redirect.github.com/uber/NullAway/issues/1507";>#1507</a>)</li>
   <li>Better handling of method references passed to generic methods in 
JSpecify mode (<a 
href="https://redirect.github.com/uber/NullAway/issues/1499";>#1499</a>)</li>
   <li>Support for Spring's <a 
href="https://github.com/Value";><code>@​Value</code></a> annotation (<a 
href="https://redirect.github.com/uber/NullAway/issues/1505";>#1505</a>)</li>
   <li>Fix crash with captured array types (<a 
href="https://redirect.github.com/uber/NullAway/issues/1508";>#1508</a>)</li>
   <li>Maintenance
   <ul>
   <li>Update comments in NullabilityUtil#hasAnyAnnotationMatching (<a 
href="https://redirect.github.com/uber/NullAway/issues/1457";>#1457</a>)</li>
   <li>Update to Gradle 9.3.1 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1458";>#1458</a>)</li>
   <li>Update to Error Prone 2.47.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1461";>#1461</a>)</li>
   <li>Switch InvocationAndContext to be a record (<a 
href="https://redirect.github.com/uber/NullAway/issues/1463";>#1463</a>)</li>
   <li>Upgrade GitHub Actions for Node 24 compatibility by <a 
href="https://github.com/salmanmkc";><code>@​salmanmkc</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1465";>#1465</a>)</li>
   <li>Upgrade GitHub Actions to latest versions by <a 
href="https://github.com/salmanmkc";><code>@​salmanmkc</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1466";>#1466</a>)</li>
   <li>Bump various dependencies (<a 
href="https://redirect.github.com/uber/NullAway/issues/1469";>#1469</a>)</li>
   <li>Use text blocks in <code>CustomLibraryModelsTests</code> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1482";>#1482</a>)</li>
   <li>Update Error Prone and EP plugin (<a 
href="https://redirect.github.com/uber/NullAway/issues/1486";>#1486</a>)</li>
   <li>Update to Gradle 9.4.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1491";>#1491</a>)</li>
   <li>Minor cleanup, no behavior changes by <a 
href="https://github.com/armandino";><code>@​armandino</code></a> (<a 
href="https://redirect.github.com/uber/NullAway/issues/1487";>#1487</a>)</li>
   <li>Update to Error Prone 2.49.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1514";>#1514</a>)</li>
   </ul>
   </li>
   </ul>
   </blockquote>
   </details>
   <details>
   <summary>Commits</summary>
   <ul>
   <li><a 
href="https://github.com/uber/NullAway/commit/2c3e6c8de87981ece2919c28ccb9c39d466b4460";><code>2c3e6c8</code></a>
 Prepare for release 0.13.2.</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/596dc404b5e3d97184e35163ab6803d0856cbc6c";><code>596dc40</code></a>
 Changelog for release 0.13.2 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1515";>#1515</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/14f12d3850dc72d6a20646eed140e12751740f95";><code>14f12d3</code></a>
 Update to Error Prone 2.49.0 (<a 
href="https://redirect.github.com/uber/NullAway/issues/1514";>#1514</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/97707edbb706b490f8db0ede5eeb18af7e9e4c74";><code>97707ed</code></a>
 Fix crash with captured array types (<a 
href="https://redirect.github.com/uber/NullAway/issues/1508";>#1508</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/498636f1e0a21301de7e3637d3184fa55562f778";><code>498636f</code></a>
 Support for Spring's <a 
href="https://github.com/Value";><code>@​Value</code></a> annotation (<a 
href="https://redirect.github.com/uber/NullAway/issues/1505";>#1505</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/cf60f5888446045735e1accf47b6636193b5fcb3";><code>cf60f58</code></a>
 Better handling of method references passed to generic methods in JSpecify 
mo...</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/f4dcfc9f605629508306dba6c78978277d529214";><code>f4dcfc9</code></a>
 Print only <code>@Nullable</code> type use annotations in error messages (<a 
href="https://redirect.github.com/uber/NullAway/issues/1507";>#1507</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/6e5983bb385b65df3b81f53db92b264fdd33d1cc";><code>6e5983b</code></a>
 JDK javac plugin: properly handle nested annotations on array parameter 
types...</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/e78dc899ad7a99d7e14301e34fc2cb1d935f70ed";><code>e78dc89</code></a>
 Re-introduce annotations elided by <code>javac</code> for certain cases (<a 
href="https://redirect.github.com/uber/NullAway/issues/1473";>#1473</a>)</li>
   <li><a 
href="https://github.com/uber/NullAway/commit/d1aa5048c3fbb37e94b348e0db2eaefd4dd7ea44";><code>d1aa504</code></a>
 Fix library modeling for varargs arrays (<a 
href="https://redirect.github.com/uber/NullAway/issues/1485";>#1485</a>)</li>
   <li>Additional commits viewable in <a 
href="https://github.com/uber/NullAway/compare/v0.13.1...v0.13.2";>compare 
view</a></li>
   </ul>
   </details>
   <br />
   
   Updates `org.checkerframework:checker` from 3.54.0 to 4.0.0
   <details>
   <summary>Release notes</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/releases";>org.checkerframework:checker's
 releases</a>.</em></p>
   <blockquote>
   <h2>Release 4.0.0 of the Checker Framework</h2>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version 
of javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That 
is, your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and <code>checker-util.jar</code> still use Java 
11 bytecode.  Thus, they may be used in projects that run under Java 11 or 
later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600 issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields Checker</a> warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak 
Checker</a> guarantees that every resource is closed rather than leaked.  
Examples of resources are a channel, executor, <code>ExecutionControl</code>, 
file, <code>FileLock</code>, <code>Formatter</code>, reader, 
<code>Scanner</code>, socket, stream, writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes 
Checker</a> helps prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   <li><code>-Aversion</code>, <code>-AprintGitProperties</code></li>
   <li>You can pass an option to only a particular checker (not all checkers) 
by using an underscore prefix.</li>
   </ul>
   <p>Other improvements include thousands of enhancements and bug fixes -- too 
many to list here.</p>
   <h3>Implementation details</h3>
   <p>All previously-deprecated methods and classes have been removed.  If your 
project builds upon the Checker Framework, we suggest that you upgrade to 
version 3.55.1, resolve all the deprecation warnings, then upgrade to version 
4.0.0.</p>
   <h2>Checker Framework 3.55.1</h2>
   <h2>Version 3.55.1 (2026-04-03)</h2>
   <p>No user-visible changes.</p>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Changelog</summary>
   <p><em>Sourced from <a 
href="https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md";>org.checkerframework:checker's
 changelog</a>.</em></p>
   <blockquote>
   <h2>Version 4.0.0 (2026-04-07)</h2>
   <h3>User-visible changes</h3>
   <p>To run the Checker Framework, you need to use a JDK 17 or later version of
   javac.  That is, you need to use JDK 17 or later when compiling your 
code.</p>
   <p>The Checker Framework can type-check any Java project, including projects 
that
   compile to Java 8 or 11 bytecodes and run on JRE versions 8 or 11.  That is,
   your code can run under any release of Java, from Java 8 onward.</p>
   <p>The type qualifiers and utility libraries in 
<code>checker-qual.jar</code> and
   <code>checker-util.jar</code> still use Java 11 bytecode.  Thus, they may be 
used in
   projects that run under Java 11 or later.</p>
   <h3>Changes since version 3.0.0</h3>
   <p>Since version 3.0.0, 91 authors have made over 4500 commits and closed 
over 600
   issues.  Thanks to everyone who contributed!</p>
   <p>New checkers include:</p>
   <ul>
   <li>The <a href="https://checkerframework.org/manual/#index-checker";>Index 
Checker</a> warns
   about out-of-bounds accesses to arrays and strings.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#initialized-fields-checker";>Initialized
 Fields
   Checker</a>
   warns if a constructor does not initialize a field.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#resource-leak-checker";>Resource Leak
   Checker</a>
   guarantees that every resource is closed rather than leaked.  Examples of
   resources are a channel, executor, <code>ExecutionControl</code>, file, 
<code>FileLock</code>,
   <code>Formatter</code>, reader, <code>Scanner</code>, socket, stream, 
writer, etc.</li>
   <li>The <a 
href="https://checkerframework.org/manual/#sql-quotes-checker";>SQL Quotes
   Checker</a> helps
   prevent SQL injection vulnerabilities.</li>
   </ul>
   <p>New command-line arguments include:</p>
   <ul>
   <li><code>-AskipFiles</code>, <code>-AonlyFiles</code></li>
   <li><code>-AassumeSideEffectFree</code>, <code>-AassumeDeterministic</code>, 
<code>-AassumePure</code>, <code>-AassumePureGetters</code></li>
   <li><code>-AuseConservativeDefaultsForUncheckedCode</code></li>
   <li><code>-AignoreRawTypeArguments</code></li>
   <li><code>-AwarnRedundantAnnotations</code></li>
   <li><code>-Ainfer=ajava</code>, <code>-AinferOutputDirectory</code>, 
<code>-AinferOutputOriginal</code>, <code>-AshowWpiFailedInferences</code></li>
   <li><code>-AshowSuppressWarningsStrings</code>, 
<code>-AwarnUnneededSuppressionsExceptions</code></li>
   <li><code>-AshowPrefixInWarningMessages</code></li>
   <li><code>-AstubNoWarnIfNotFound</code>, <code>-AstubWarnNote</code>, 
<code>-AmergeStubsWithSource</code></li>
   <li><code>-Aonelinemsg</code>, <code>-AdumpOnErrors</code>, 
<code>-AexceptionLineSeparator</code></li>
   <li><code>-ApermitMissingJdk</code>, <code>-AparseAllJdk</code></li>
   <li><code>-AslowTypecheckingSeconds</code></li>
   </ul>
   <!-- raw HTML omitted -->
   </blockquote>
   <p>... (truncated)</p>
   </details>
   <details>
   <summary>Commits</summary>
   <ul>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/479d0875daa271447e2822c657896b5f9d02ce24";><code>479d087</code></a>
 new release 4.0.0</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/bfff75751f4fa4094b7d3015c4b2cfbc2893fbc5";><code>bfff757</code></a>
 Put the manual in the right place.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/c532f6d12fd5352610f70215f010786e9a2e9924";><code>c532f6d</code></a>
 Put a copy of manual.pdf at top level of website as expected.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/5e53e6cfd1e5535623ea260342391037106778ec";><code>5e53e6c</code></a>
 No closed issues.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/e67ae858ed36f81ac586fbf42821fa3a483e7f23";><code>e67ae85</code></a>
 Prep for release.</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4192d0d88bc272c571a8dd3454d499982cd0ee42";><code>4192d0d</code></a>
 Remove file SKIP-REQUIRE-JAVADOC</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/7d6d85687d2298dbe85d59692ab85d03566a29e7";><code>7d6d856</code></a>
 Remove or update references to JDK 8-16</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/b1e3761bbf0dfb1185d7e8e0b850ef97cafd5ea8";><code>b1e3761</code></a>
 Remove all deprecated methods</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/a1b30642b07d64603a9ec9ef093f910e5be0bf41";><code>a1b3064</code></a>
 Directly use Java 17 and below Javac APIs. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7582";>#7582</a>)</li>
   <li><a 
href="https://github.com/typetools/checker-framework/commit/4efdbdbbda3ac5230bcae57341098816aa71abfb";><code>4efdbdb</code></a>
 Remove support for Java 8 from scripts and build scripts. (<a 
href="https://redirect.github.com/typetools/checker-framework/issues/7575";>#7575</a>)</li>
   <li>Additional commits viewable in <a 
href="https://github.com/typetools/checker-framework/compare/checker-framework-3.54.0...checker-framework-4.0.0";>compare
 view</a></li>
   </ul>
   </details>
   <br />
   
   
   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 show <dependency name> ignore conditions` will show all of 
the ignore conditions of the specified dependency
   - `@dependabot ignore <dependency name> major version` will close this group 
update PR and stop Dependabot creating any more for the specific dependency's 
major version (unless you unignore this specific dependency's major version or 
upgrade to it yourself)
   - `@dependabot ignore <dependency name> minor version` will close this group 
update PR and stop Dependabot creating any more for the specific dependency's 
minor version (unless you unignore this specific dependency's minor version or 
upgrade to it yourself)
   - `@dependabot ignore <dependency name>` will close this group update PR and 
stop Dependabot creating any more for the specific dependency (unless you 
unignore this specific dependency or upgrade to it yourself)
   - `@dependabot unignore <dependency name>` will remove all of the ignore 
conditions of the specified dependency
   - `@dependabot unignore <dependency name> <ignore condition>` will remove 
the ignore condition of the specified dependency and ignore conditions
   
   
   </details>


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to