diff --git a/annotations/pom.xml b/annotations/pom.xml
index d47162bfc..d7a11bf69 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/annotations2/pom.xml b/annotations2/pom.xml
index 2575ecad4..a19f4a6e6 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 	
diff --git a/cmd-plugins/pom.xml b/cmd-plugins/pom.xml
index 93574695b..94abdf0b2 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 	</parent>
 	
 	<artifactId>cmd-plugins</artifactId>
diff --git a/dbgp/pom.xml b/dbgp/pom.xml
index 7371bb2c8..ee3dc91d0 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 	
diff --git a/dbgpc/pom.xml b/dbgpc/pom.xml
index fdac05f6c..9e9ae4778 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/examples/v2c/pom.xml b/examples/v2c/pom.xml
index 3d45e820c..db7fef3ba 100644
--- a/examples/v2c/pom.xml
+++ b/examples/v2c/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>com.fujitsu</groupId>
 		<artifactId>vdmj-suite</artifactId>
-		<version>4.4.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 	</parent>
 	
 	<artifactId>v2c</artifactId>
diff --git a/lsp/pom.xml b/lsp/pom.xml
index 05c770088..b5d5af31d 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/pom.xml b/pom.xml
index b3ce4f30d..f80c18bb1 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.2-SNAPSHOT</version>	<!-- This version is inherited by all modules -->
+	<version>4.4.2</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.2-SNAPSHOT</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
+	    <revision>4.4.2</revision>	<!-- CHANGE VERSION HERE, AND MODULE'S PARENT POMs -->
 	</properties>
 
 	<!-- sub modules -->
diff --git a/stdlib/pom.xml b/stdlib/pom.xml
index 37522f4a2..64edfe255 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdmj/pom.xml b/vdmj/pom.xml
index c212fb265..ab2b6c77f 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/vdmjunit/pom.xml b/vdmjunit/pom.xml
index cc72eb41c..b855977b6 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.2-SNAPSHOT</version>
+		<version>4.4.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>