You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@camel.apache.org by "dependabot[bot] (via GitHub)" <gi...@apache.org> on 2026/04/16 07:24:52 UTC
[PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
dependabot[bot] opened a new pull request, #22643:
URL: https://github.com/apache/camel/pull/22643
Bumps [org.checkerframework:checker](https://github.com/typetools/checker-framework) from 3.54.1 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>
</blockquote>
</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.1...checker-framework-4.0.0">compare view</a></li>
</ul>
</details>
<br />
[](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 show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency
- `@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>
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
Posted by "dependabot[bot] (via GitHub)" <gi...@apache.org>.
dependabot[bot] commented on PR #22643:
URL: https://github.com/apache/camel/pull/22643#issuecomment-4262837007
OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting `@dependabot ignore this major version` or `@dependabot ignore this minor version`. You can also ignore all major, minor, or patch releases for a dependency by adding an [`ignore` condition](https://docs.github.com/en/code-security/supply-chain-security/configuration-options-for-dependency-updates#ignore) with the desired `update_types` to your config file.
If you change your mind, just re-open this PR and I'll resolve any conflicts on it.
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
Posted by "davsclaus (via GitHub)" <gi...@apache.org>.
davsclaus closed pull request #22643: chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0
URL: https://github.com/apache/camel/pull/22643
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
Posted by "github-actions[bot] (via GitHub)" <gi...@apache.org>.
github-actions[bot] commented on PR #22643:
URL: https://github.com/apache/camel/pull/22643#issuecomment-4258305603
<!-- ci-tested-modules -->
:test_tube: **CI tested the following changed modules:**
- `parent`
:white_check_mark: **POM dependency changes: targeted tests included**
Changed properties: checker-framework-version
<details><summary>Modules affected by dependency changes (1)</summary>
- `:camel-aws-xray`
</details>
<details><summary>All tested modules (2 modules)</summary>
- Camel :: AWS :: XRay (deprecated)
- Camel :: Parent
</details>
---
:gear: [View full build and test results](https://github.com/apache/camel/actions/runs/24497641722)
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
Posted by "davsclaus (via GitHub)" <gi...@apache.org>.
davsclaus commented on PR #22643:
URL: https://github.com/apache/camel/pull/22643#issuecomment-4260676476
the xray component is also deprecated
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
Re: [PR] chore(deps): Bump org.checkerframework:checker from 3.54.1 to 4.0.0 [camel]
Posted by "github-actions[bot] (via GitHub)" <gi...@apache.org>.
github-actions[bot] commented on PR #22643:
URL: https://github.com/apache/camel/pull/22643#issuecomment-4258151020
:star2: Thank you for your contribution to the Apache Camel project! :star2:
:robot: CI automation will test this PR automatically.
:camel: Apache Camel Committers, please review the following items:
* First-time contributors **require MANUAL approval** for the GitHub Actions to run
* You can use the command `/component-test (camel-)component-name1 (camel-)component-name2..` to request a test from the test bot although they are normally detected and executed by CI.
* You can label PRs using `skip-tests` and `test-dependents` to fine-tune the checks executed by this PR.
* Build and test logs are available in the summary page. **Only** [Apache Camel committers](https://camel.apache.org/community/team/#committers) have access to the summary.
:warning: Be careful when sharing logs. Review their contents before sharing them publicly.
--
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: commits-unsubscribe@camel.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org