Update checker framework version 2.5.3

./third_party/java/checker_framework/update-checker \
    --old_version 2.5.2  \
    --checker_release 2.5.3 \
    --annotation_file_utilities_new_version 3.6.55 \
    --annotation_file_utilities_old_version 3.6.54

RELNOTES: upgrade checker framework to 2.5.3

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=204300412

check_api/src/main/java/com/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java

@@ -47,6 +47,7 @@
 import org.checkerframework.dataflow.cfg.node.BooleanLiteralNode;
 import org.checkerframework.dataflow.cfg.node.CaseNode;
 import org.checkerframework.dataflow.cfg.node.CharacterLiteralNode;
+import org.checkerframework.dataflow.cfg.node.ClassDeclarationNode;
 import org.checkerframework.dataflow.cfg.node.ClassNameNode;
 import org.checkerframework.dataflow.cfg.node.ConditionalAndNode;
 import org.checkerframework.dataflow.cfg.node.ConditionalNotNode;
@@ -994,6 +995,14 @@ Nullness visitMarker(MarkerNode node, SubNodeValues inputs, Updates updates) {
     return NULLABLE;
   }
 
+  // TODO(b/111301865): This is a new API in CF 2.5.3
+  @Override
+  public final TransferResult<Nullness, AccessPathStore<Nullness>> visitClassDeclaration(
+      ClassDeclarationNode classDeclarationNode,
+      TransferInput<Nullness, AccessPathStore<Nullness>> input) {
+    return noStoreChanges(NULLABLE, input);
+  }
+
   private static final class ReadableUpdates implements Updates {
     final Map<AccessPath, Nullness> values = new HashMap<>();
 

pom.xml

@@ -37,7 +37,7 @@
     <javac.version>9+181-r4173-1</javac.version>
     <autovalue.version>1.5.3</autovalue.version>
     <junit.version>4.13-SNAPSHOT</junit.version>
-    <dataflow.version>2.5.2</dataflow.version>
+    <dataflow.version>2.5.3</dataflow.version>
   </properties>
 
   <modules>