diff --git a/java/pom.xml b/java/pom.xml index 021c2dc7cd..20d5f59b0d 100644 --- a/java/pom.xml +++ b/java/pom.xml @@ -319,7 +319,7 @@ org.checkerframework checker - 3.46.0 + 3.47.0