From 776c32dabaf559508234d80c2be75de827fbdde7 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Tue, 10 May 2022 00:10:19 +0200
Subject: [PATCH] Update annotations version

---
 pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index fd63411..3bb0c9e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -86,7 +86,8 @@
 		<dependency>
 			<groupId>org.jetbrains</groupId>
 			<artifactId>annotations</artifactId>
-		</dependency>
+      <version>23.0.0</version>
+    </dependency>
 		<dependency>
 			<groupId>it.unimi.dsi</groupId>
 			<artifactId>fastutil</artifactId>