Description: Declare previously undocumented dependency on Checker Framework
Author: Olek Wojnar <olek@debian.org>
Forwarded: not-needed
Last-Update: 2022-12-21

--- a/common/pom.xml
+++ b/common/pom.xml
@@ -78,6 +78,10 @@
       <version>1.13.0</version>
       <optional>true</optional>
     </dependency>
+    <dependency>
+      <groupId>org.checkerframework</groupId>
+      <artifactId>checker-qual</artifactId>
+    </dependency>
 
     <!-- test dependencies -->
     <dependency>