Disable a spotbugs issue, update pom.xml configuration.

io7m-com · Apr 21, 2024 · 74003f1 · 74003f1
1 parent f6ec8e3
commit 74003f1
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -30,9 +30,15 @@
   </modules>
 
   <properties>
-    <com.io7m.junit.version>5.10.1</com.io7m.junit.version>
-    <com.io7m.jxe.version>1.0.2</com.io7m.jxe.version>
+    <!-- Configuration. -->
     <io7m.api.previousVersion>2.0.0</io7m.api.previousVersion>
+    <io7m.java.targetJavaVersion>21</io7m.java.targetJavaVersion>
+
+    <!-- io7m dependencies. -->
+    <com.io7m.jxe.version>1.0.2</com.io7m.jxe.version>
+
+    <!-- Third-party dependencies. -->
+    <com.io7m.junit.version>5.10.1</com.io7m.junit.version>
     <jqwik.version>1.8.2</jqwik.version>
   </properties>
 

diff --git a/spotbugs-filter.xml b/spotbugs-filter.xml
@@ -87,6 +87,7 @@
       <Bug pattern="IMC_IMMATURE_CLASS_NO_TOSTRING"/>
       <Bug pattern="WEM_WEAK_EXCEPTION_MESSAGING"/>
       <Bug pattern="CRLF_INJECTION_LOGS"/>
+      <Bug pattern="AI_ANNOTATION_ISSUES_NEEDS_NULLABLE"/>
     </Or>
   </Match>