diff --git a/org.checkerframework b/org.checkerframework
index 26c6857d..acf0fea6 160000
--- a/org.checkerframework
+++ b/org.checkerframework
@@ -1 +1 @@
-Subproject commit 26c6857d73796874948085024e33196a6a025418
+Subproject commit acf0fea643b9b3d9e86d673b64670ed11a043aa0