Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/TransferInput.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java