[maven-release-plugin] prepare release 4.0.0

Author: dhendriks

pom.xml

@@ -17,7 +17,7 @@ SPDX-License-Identifier: LGPL-2.0-or-later
 
     <groupId>com.github.com-github-javabdd</groupId>
     <artifactId>com.github.javabdd</artifactId>
-    <version>3.0.1-SNAPSHOT</version>
+    <version>4.0.0</version>
     <packaging>jar</packaging>
 
     <name>com.github.javabdd</name>
@@ -194,7 +194,7 @@ SPDX-License-Identifier: LGPL-2.0-or-later
             scm:git:[email protected]:dexecutor/dexecutor.git
         </developerConnection>
         <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
-        <tag>HEAD</tag>
+        <tag>4.0.0</tag>
     </scm>
 
     <profiles>