diff --git a/pom.xml b/pom.xml
index a691eccfa8..3e0444bce9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -225,7 +225,7 @@
             <dependency>
                 <groupId>org.checkerframework</groupId>
                 <artifactId>checker</artifactId>
-                <version>2.11.0</version>
+                <version>2.5.6</version>
             </dependency>
 
             <dependency>