From 8ae9895faea6796d49fa2139234ff045a78dbe66 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Tue, 21 Dec 2021 11:31:11 +0000
Subject: [PATCH] Prepare POMs for 4.4.4 release

---
 annotations/pom.xml             | 2 +-
 annotations2/pom.xml            | 2 +-
 cmd-plugins/pom.xml             | 2 +-
 dbgp/pom.xml                    | 2 +-
 dbgpc/pom.xml                   | 2 +-
 dbgpc/src/main/scripts/dbgpc.sh | 4 ++--
 examples/pom.xml                | 6 +++---
 examples/v2c/pom.xml            | 2 +-
 lsp/pom.xml                     | 2 +-
 lsp/src/main/scripts/lsp.sh     | 4 ++--
 pom.xml                         | 4 ++--
 stdlib/pom.xml                  | 2 +-
 vdmj/pom.xml                    | 2 +-
 vdmj/src/main/scripts/vdmsl.sh  | 4 ++--
 vdmjunit/pom.xml                | 2 +-
 15 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/annotations/pom.xml b/annotations/pom.xml
index 6c540c8b7..2bed60493 100644
--- a/annotations/pom.xml
+++ b/annotations/pom.xml
@@ -8,7 +8,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/annotations2/pom.xml b/annotations2/pom.xml
index 85a182cab..b5e322b8b 100644
--- a/annotations2/pom.xml
+++ b/annotations2/pom.xml
@@ -8,7 +8,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 	
diff --git a/cmd-plugins/pom.xml b/cmd-plugins/pom.xml
index 0a8ec93ef..a349d952f 100644
--- a/cmd-plugins/pom.xml
+++ b/cmd-plugins/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 	</parent>
 	
 	<artifactId>cmd-plugins</artifactId>
diff --git a/dbgp/pom.xml b/dbgp/pom.xml
index 9ab0f28f6..ca4fb2ed6 100644
--- a/dbgp/pom.xml
+++ b/dbgp/pom.xml
@@ -8,7 +8,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 	
diff --git a/dbgpc/pom.xml b/dbgpc/pom.xml
index 78b637877..b35e03470 100644
--- a/dbgpc/pom.xml
+++ b/dbgpc/pom.xml
@@ -7,7 +7,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
index 066581fa1..856cf95e5 100755
--- a/dbgpc/src/main/scripts/dbgpc.sh
+++ b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.4.4-SNAPSHOT"
-PVERSION="4.4.4-P-SNAPSHOT"
+MVERSION="4.4.4"
+PVERSION="4.4.4-P"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/com/fujitsu
diff --git a/examples/pom.xml b/examples/pom.xml
index 28dc004c1..b89cd53b3 100644
--- a/examples/pom.xml
+++ b/examples/pom.xml
@@ -7,19 +7,19 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 	</parent>
 
 	<groupId>com.fujitsu</groupId>
 	<artifactId>examples</artifactId>
 	<name>VDMJ Suite Examples</name>
 	<packaging>pom</packaging>
-	<version>4.4.4-SNAPSHOT</version>	<!-- This version is inherited by all modules -->
+	<version>4.4.4</version>	<!-- This version is inherited by all modules -->
 	
 	<properties>
 	    <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
 	    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-	    <revision>4.4.4-SNAPSHOT</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
+	    <revision>4.4.4</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
 	</properties>
 
 	<!-- sub modules -->
diff --git a/examples/v2c/pom.xml b/examples/v2c/pom.xml
index f353ca2ca..ae329f920 100644
--- a/examples/v2c/pom.xml
+++ b/examples/v2c/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>examples</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 	</parent>
 	
 	<artifactId>v2c</artifactId>
diff --git a/lsp/pom.xml b/lsp/pom.xml
index a1643063f..9f107076b 100644
--- a/lsp/pom.xml
+++ b/lsp/pom.xml
@@ -9,7 +9,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
index 53d8247a3..7328e83e1 100755
--- a/lsp/src/main/scripts/lsp.sh
+++ b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION=4.4.4-SNAPSHOT
-PVERSION=4.4.4-P-SNAPSHOT
+MVERSION=4.4.4
+PVERSION=4.4.4-P
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/pom.xml b/pom.xml
index e64f2b5e2..980f8154a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -9,12 +9,12 @@
 	<artifactId>vdmj-suite</artifactId>
 	<name>VDMJ Suite</name>
 	<packaging>pom</packaging>
-	<version>4.4.4-SNAPSHOT</version>	<!-- This version is inherited by all modules -->
+	<version>4.4.4</version>	<!-- This version is inherited by all modules -->
 	
 	<properties>
 	    <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
 	    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-	    <revision>4.4.4-SNAPSHOT</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
+	    <revision>4.4.4</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
 	</properties>
 
 	<!-- sub modules -->
diff --git a/stdlib/pom.xml b/stdlib/pom.xml
index e9e45fa81..de717cf62 100644
--- a/stdlib/pom.xml
+++ b/stdlib/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdmj/pom.xml b/vdmj/pom.xml
index 4073eb726..f9f3e573f 100644
--- a/vdmj/pom.xml
+++ b/vdmj/pom.xml
@@ -7,7 +7,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
index c15c276a1..c57c320e9 100755
--- a/vdmj/src/main/scripts/vdmsl.sh
+++ b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION="4.4.4-SNAPSHOT"
-PVERSION="4.4.4-P-SNAPSHOT"
+MVERSION="4.4.4"
+PVERSION="4.4.4-P"
 
 # The Maven repository directory containing VDMJ jars
 MAVENREPO=~/.m2/repository/com/fujitsu
diff --git a/vdmjunit/pom.xml b/vdmjunit/pom.xml
index ba2e8e41a..396c11279 100644
--- a/vdmjunit/pom.xml
+++ b/vdmjunit/pom.xml
@@ -7,7 +7,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.4-SNAPSHOT</version>
+		<version>4.4.4</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>