Bump checker-qual from 3.4.0 to 3.4.1

[dependabot-preview]

Bumps checker-qual from 3.4.0 to 3.4.1.

Release notes

Sourced from checker-qual's releases.

Checker Framework 3.4.1

Version 3.4.1, June 1, 2020

-Ainfer now takes an argument:

• -Ainfer=jaifs uses .jaif files to store the results of whole-program inference.
• -Ainfer=stubs uses .astub files to store the results of whole-program inference.
• -Ainfer is deprecated but is the same as -Ainfer=jaifs, for backwards compatibility.

New command-line option: -AmergeStubsWithSource If both a stub file and a source file are available, use both.

Closed issues: 2893, 3021, 3128, 3160, 3232, 3277, 3285, 3289, 3295, 3302, 3305, 3307, 3310, 3316, 3318, 3329.

Changelog

Sourced from checker-qual's changelog.

Version 3.4.1, June 1, 2020

-Ainfer now takes an argument:

• -Ainfer=jaifs uses .jaif files to store the results of whole-program inference.
• -Ainfer=stubs uses .astub files to store the results of whole-program inference.
• -Ainfer is deprecated but is the same as -Ainfer=jaifs, for backwards compatibility.

New command-line option: -AmergeStubsWithSource If both a stub file and a source file are available, use both.

Closed issues: 2893, 3021, 3128, 3160, 3232, 3277, 3285, 3289, 3295, 3302, 3305, 3307, 3310, 3316, 3318, 3329.

---

Version 3.4.0, May 3, 2020

The annotated jdk8.jar is no longer used. You should remove any occurrence of -Xbootclasspath/p:.../jdk8.jar from your build scripts. Annotations for JDK 8 are included in checker.jar.

The Returns Receiver Checker enables documenting and checking that a method returns its receiver (i.e., the this parameter).

Closed issues: 3267, 3263, 3217, 3212, 3201, 3111, 3010, 2943, 2930.

---

Version 3.3.0, April 1, 2020

New command-line options: -Alint=trustArrayLenZero trust @ArrayLen(0) annotations when determining the type of Collections.toArray.

Renamings: -AuseDefaultsForUncheckedCode to -AuseConservativeDefaultsForUncheckedCode The old name works temporarily but will be removed in a future release.

For collection methods with Object formal parameter type, such as contains, indexOf, and remove, the annotated JDK now forbids null as an argument. To make the Nullness Checker permit null, pass -Astubs=checker.jar/collection-object-parameters-may-be-null.astub.

The argument to @SuppressWarnings can be a substring of a message key that extends at each end to a period or an end of the key. (Previously, any substring worked, including the empty string which suppressed all warnings. Use "all" to suppress all warnings.)

... (truncated)

Commits

• 1242c85 new release 3.4.1
• 1d935a6 Make the Javadoc task not fail on buffalo.
• 085d7d8 Update version.
• b08911c Update change log.
• 494b840 Improve error message when stringPatterns are inconsistent
• 10935cd Prevent accidental editing of generated files
• 4518fb8 Notes about drawing type hierarchy diagrams
• 538f689 Address delombok "cannot find symbol" warnings (#3321)
• 4e8e0f6 Fix spacing
• 684bc02 Add Annotation File Utilities as an included build. (#3332)
• Additional commits viewable in compare view

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 commands and options

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)
• @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
• @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
• @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
• @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
• @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

• Update frequency (including time of day and day of week)
• Pull request limits (per update run and/or open at any time)
• Automerge options (never/patch/minor, and dev/runtime dependencies)
• Out-of-range updates (receive only lockfile updates, if desired)
• Security updates (receive only security updates, if desired)