Set next development version

github-actions[bot] · github-actions[bot] · commit c7ef4aaf3686 · 2024-09-30T17:48:00.000Z
diff --git a/pom.xml b/pom.xml
@@ -25,7 +25,7 @@
 	</modules>
 
 	<properties>
-		<revision>4.0.0</revision>
+		<revision>4.0.1</revision>
 		<changelist>-SNAPSHOT</changelist>
 
 		<java.version>17</java.version>
