Changed paths:
M build.gradle
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/reflection/DefaultReflectionResolver.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/AnnotationConverter.java