Bump checker-qual from 2.11.0 to 2.11.1

[dependabot-preview]

Bumps checker-qual from 2.11.0 to 2.11.1.

Release notes

Sourced from checker-qual's releases.

Checker Framework 2.11.1

Version 2.11.1, October 1, 2019

The manual links to the Object Construction Checker.

Closed issues:
1635, 2718, 2767.

Changelog

Sourced from checker-qual's changelog.

---

Version 2.11.1, October 1, 2019

The manual links to the Object Construction Checker.

Closed issues:
1635, 2718, 2767.

---

Version 2.11.0, August 30, 2019

The Checker Framework now uses the Java 9 javac API. The manual describes
how to satisfy this dependency, in a way that works on a Java 8 JVM.
Running the Checker Framework on a Java 9 JVM is not yet supported.

---

Version 2.10.1, August 22, 2019

Closed issues:
1152, 1614, 2031, 2482, 2543, 2587, 2678, 2686, 2690, 2712, 2717, 2713, 2721,
2725, 2729.

---

Version 2.10.0, August 1, 2019

Removed the NullnessRawnessChecker. Use the NullnessChecker instead.

Closed issues:
435, 939, 1430, 1687, 1771, 1902, 2173, 2345, 2470, 2534, 2606, 2613, 2619,
2633, 2638.

---

Version 2.9.0, July 3, 2019

Renamed the Signedness Checker's @​Constant annotation to @​SignednessGlb.
Introduced an alias, @​SignedPositive, for use by programmers.

Annotated the first argument of Opt.get and Opt.orElseThrow as @​NonNull.

Removed meta-annotation @​ImplicitFor:

• Use the new meta-annotation @​QualifierForLiteral to replace
  @​ImplicitFor(literals, stringpatterns).
• Use the meta-annotation @​DefaultFor to replace @​ImplicitFor(typeKinds,
  types).
• Use the new meta-annotation @​UpperBoundFor to specify a qualifier upper

... (truncated)

Commits

• 71475af new release 2.11.1
• 8c88744 Update links.
• 9b44985 Update jdk hash.
• 0a013ad Updates for release.
• 855e4dd Skip nullnessExtraTest that don't work with Java 11 (#2791)
• 72efb43 Remove --add-exports and most --add-opens. (#2792)
• 94057c6 Update test case to not use Symbol.
• 95bce00 How to override
• 80c8ebd Error message gives more potential root causes
• 704b9dd Fix Javadoc formatting error
• 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)

Finally, you can contact us by mentioning @dependabot.