Changed paths:
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/tests/nullness/DaikonEnhancedFor.java
M checker/tests/nullness/DaikonEnhancedForNoThis.java
M docs/CHANGELOG.md
M docs/manual/annotating-libraries.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/reflection/DefaultReflectionResolver.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java