From a8b0c91dfd7931c74916d3c676d2d373ab3a272f Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Mon, 17 Jun 2024 13:03:34 +0200
Subject: [PATCH] Fix framework call

---
 src/main/java/module-info.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/module-info.java b/src/main/java/module-info.java
index 352ef69c95b..fa4ceb494ac 100644
--- a/src/main/java/module-info.java
+++ b/src/main/java/module-info.java
@@ -143,6 +143,7 @@
     uses org.eclipse.jgit.lib.GpgSigner;
 
     requires transitive org.jspecify;
+    requires org.checkerframework.checker.qual;
 
     // other libraries
     requires org.antlr.antlr4.runtime;