[typetools/checker-framework] 76ceed: Add `-AstubNoWarnIfNotFound`, and stub file `junit...

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 76ceed0ddc31420c8702e779946513739bacdc2d
https://github.com/typetools/checker-framework/commit/76ceed0ddc31420c8702e779946513739bacdc2d
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2022-06-27 (Mon, 27 Jun 2022)

Changed paths:
M build.gradle
M checker/jtreg/nullness/issue824/Class2.out
M checker/jtreg/stubs/annotatedFor/UseTest.java
M checker/jtreg/stubs/defaultqualinstub/Main.java
M checker/jtreg/stubs/general/Driver.java
M checker/jtreg/stubs/general/Driver2.java
M checker/jtreg/stubs/issue1496/Main.java
M checker/jtreg/stubs/issue2059/Main.java
M checker/jtreg/stubs/sample/Sample.java
M checker/jtreg/stubs/wildcards/Wildcards.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessChecker.java
A checker/src/main/java/org/checkerframework/checker/nullness/junit-assertions.astub
M checker/src/test/java/org/checkerframework/checker/test/junit/NullnessStubfileTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/StubparserNullnessTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/StubparserRecordTest.java
M checker/src/test/java/org/checkerframework/checker/test/junit/StubparserTaintingTest.java
M docs/CHANGELOG.md
M docs/manual/annotating-libraries.tex
M docs/tutorial/src/encrypted/EncryptionDemo.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileParser.java

Log Message:
-----------
Add `-AstubNoWarnIfNotFound`, and stub file `junit-assertions.astub` which is read by default