diff --git a/core/ast/pom.xml b/core/ast/pom.xml
index 6e10a897c9..c9bb3d4055 100644
--- a/core/ast/pom.xml
+++ b/core/ast/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/codegen-maven-plugin/pom.xml b/core/codegen/codegen-maven-plugin/pom.xml
index 5d53cf098c..5fb44767ad 100644
--- a/core/codegen/codegen-maven-plugin/pom.xml
+++ b/core/codegen/codegen-maven-plugin/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/codegen-runtime/pom.xml b/core/codegen/codegen-runtime/pom.xml
index ca22a93f40..ae6175d376 100644
--- a/core/codegen/codegen-runtime/pom.xml
+++ b/core/codegen/codegen-runtime/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool.core</groupId>
 		<artifactId>codegen</artifactId>
-		<version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.3.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml
index 7d1f2f156b..76c89b3202 100644
--- a/core/codegen/ir/pom.xml
+++ b/core/codegen/ir/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml
index 68a01c7fe8..78ff890bf4 100644
--- a/core/codegen/isagen/pom.xml
+++ b/core/codegen/isagen/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool.core</groupId>
 		<artifactId>codegen</artifactId>
-		<version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.3.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/javagen-test/pom.xml b/core/codegen/javagen-test/pom.xml
index 9482f7ccca..a75b59f57e 100644
--- a/core/codegen/javagen-test/pom.xml
+++ b/core/codegen/javagen-test/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml
index 0099d55927..d0bfb8dbee 100644
--- a/core/codegen/javagen/pom.xml
+++ b/core/codegen/javagen/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml
index 353fab1fea..763ba9cd4b 100644
--- a/core/codegen/platform/pom.xml
+++ b/core/codegen/platform/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml
index a9e95e0b52..430d688f23 100644
--- a/core/codegen/pom.xml
+++ b/core/codegen/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <artifactId>core</artifactId>
     <groupId>org.overturetool</groupId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml
index 31ffd2551b..e384d86d2d 100644
--- a/core/codegen/vdm2jml-runtime/pom.xml
+++ b/core/codegen/vdm2jml-runtime/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool.core</groupId>
 		<artifactId>codegen</artifactId>
-		<version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.3.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml
index 8127931417..38e1746eaf 100644
--- a/core/codegen/vdm2jml/pom.xml
+++ b/core/codegen/vdm2jml/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>codegen</artifactId>
-    <version>2.3.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.3.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml
index 3b3a24999c..03eadcacf5 100644
--- a/core/combinatorialtesting/ctruntime/pom.xml
+++ b/core/combinatorialtesting/ctruntime/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool.core</groupId>
 		<artifactId>combinatorialtesting</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml
index e3237933cb..7121062d80 100644
--- a/core/combinatorialtesting/ctutils/pom.xml
+++ b/core/combinatorialtesting/ctutils/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>combinatorialtesting</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml
index 643102c381..66fea22be4 100644
--- a/core/combinatorialtesting/pom.xml
+++ b/core/combinatorialtesting/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <artifactId>core</artifactId>
     <groupId>org.overturetool</groupId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml
index 3b2014dd52..91004d2c38 100644
--- a/core/commandline/pom.xml
+++ b/core/commandline/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>core</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml
index 0b52db6716..72d44afe94 100644
--- a/core/interpreter/pom.xml
+++ b/core/interpreter/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml
index 872faee253..b9bdfe69c2 100644
--- a/core/isapog/pom.xml
+++ b/core/isapog/pom.xml
@@ -4,7 +4,7 @@
 <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
 </parent>
 
diff --git a/core/parser/pom.xml b/core/parser/pom.xml
index 6d92cfb2a4..edceee5538 100644
--- a/core/parser/pom.xml
+++ b/core/parser/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pog/pom.xml b/core/pog/pom.xml
index cc5a7cb8e0..f1743813b7 100644
--- a/core/pog/pom.xml
+++ b/core/pog/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pom.xml b/core/pom.xml
index ed56358d7f..c6fd62a4a6 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml
index 50992d228a..9845bc7441 100644
--- a/core/prettyprinting/npp/pom.xml
+++ b/core/prettyprinting/npp/pom.xml
@@ -4,7 +4,7 @@
     <parent>
         <groupId>org.overturetool.core</groupId>
         <artifactId>prettyprinting</artifactId>
-        <version>2.3.7-SNAPSHOT</version>
+        <version>2.3.8</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml
index 39e1e86f2a..4eb0b45926 100644
--- a/core/prettyprinting/pom.xml
+++ b/core/prettyprinting/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml
index ad6080c82e..459f565d47 100644
--- a/core/prettyprinting/prettyprinter/pom.xml
+++ b/core/prettyprinting/prettyprinter/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>prettyprinting</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml
index c90aca6861..cddbfb5a7a 100644
--- a/core/testframework/pom.xml
+++ b/core/testframework/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml
index 03364402c0..fce1160c7f 100644
--- a/core/testing/framework/pom.xml
+++ b/core/testing/framework/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>testing</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/pom.xml b/core/testing/pom.xml
index 6f159d259d..5c5069db25 100644
--- a/core/testing/pom.xml
+++ b/core/testing/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml
index c36ca8bf0e..ade60521ec 100644
--- a/core/testing/samples/pom.xml
+++ b/core/testing/samples/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.core</groupId>
     <artifactId>testing</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
index 5bff566051..a270d5dfd3 100644
--- a/core/typechecker/pom.xml
+++ b/core/typechecker/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>core</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/pom.xml b/documentation/pom.xml
index 1757594d9f..7b3c16bcfc 100644
--- a/documentation/pom.xml
+++ b/documentation/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml
index ddfe18643e..1e19020016 100644
--- a/documentation/releasenotes/pom.xml
+++ b/documentation/releasenotes/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>documentation</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/externals/pom.xml b/externals/pom.xml
index cbc9544d65..828667442e 100644
--- a/externals/pom.xml
+++ b/externals/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>root</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml
index 15946e75aa..c5e677d989 100644
--- a/ide/builders/pom.xml
+++ b/ide/builders/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/builders/vdmj/META-INF/MANIFEST.MF b/ide/builders/vdmj/META-INF/MANIFEST.MF
index fd27def444..c55e875e0a 100644
--- a/ide/builders/vdmj/META-INF/MANIFEST.MF
+++ b/ide/builders/vdmj/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml
index 013856ad16..05ed331ea6 100644
--- a/ide/builders/vdmj/pom.xml
+++ b/ide/builders/vdmj/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.builders</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
index b7004739af..a29c39f7b5 100644
--- a/ide/core/META-INF/MANIFEST.MF
+++ b/ide/core/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/core/pom.xml b/ide/core/pom.xml
index dd1e2df1f7..799d3689b1 100644
--- a/ide/core/pom.xml
+++ b/ide/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF
index 2601a9cafe..42df0d7ce4 100644
--- a/ide/debug/META-INF/MANIFEST.MF
+++ b/ide/debug/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml
index 79f95abca3..e4b1b7749a 100644
--- a/ide/debug/pom.xml
+++ b/ide/debug/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
index 4b271dc7b5..2e6f5aee80 100644
--- a/ide/features/core/feature.xml
+++ b/ide/features/core/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.features.core"
       label="Overture Core"
-      version="2.3.7.qualifier"
+      version="2.3.8"
       plugin="org.overture.ide.platform">
 
    <description>
diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
index c4e5c9c993..f4662ca1a6 100644
--- a/ide/features/core/pom.xml
+++ b/ide/features/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index d0eb4f906e..9f8c61b393 100644
--- a/ide/features/pom.xml
+++ b/ide/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
index 55199a9465..bf2500a3b5 100644
--- a/ide/features/rcp/feature.xml
+++ b/ide/features/rcp/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.features.rcp"
       label="Overture RCP"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
index c082df1730..4767885c3d 100644
--- a/ide/features/rcp/pom.xml
+++ b/ide/features/rcp/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool.ide</groupId>
 		<artifactId>features</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF
index eb6a6041f8..c27a315ed5 100644
--- a/ide/help/META-INF/MANIFEST.MF
+++ b/ide/help/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/help/pom.xml b/ide/help/pom.xml
index be3fd607b9..2a372550a4 100644
--- a/ide/help/pom.xml
+++ b/ide/help/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml
index b1d539ad08..e749ed9673 100644
--- a/ide/parsers/pom.xml
+++ b/ide/parsers/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/vdmj/META-INF/MANIFEST.MF b/ide/parsers/vdmj/META-INF/MANIFEST.MF
index afc14984db..72f33268d4 100644
--- a/ide/parsers/vdmj/META-INF/MANIFEST.MF
+++ b/ide/parsers/vdmj/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.parsers.vdmj
diff --git a/ide/parsers/vdmj/pom.xml b/ide/parsers/vdmj/pom.xml
index 7636e4225e..b5dcb605e5 100644
--- a/ide/parsers/vdmj/pom.xml
+++ b/ide/parsers/vdmj/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.parsers</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
index 763da8170a..9b5430934b 100644
--- a/ide/platform/META-INF/MANIFEST.MF
+++ b/ide/platform/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: org.overture.ide.platform
 Bundle-SymbolicName: org.overture.ide.platform;singleton:=true
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Bundle-Localization: plugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.ui,
diff --git a/ide/platform/pom.xml b/ide/platform/pom.xml
index 125da9e693..78c3b91973 100644
--- a/ide/platform/pom.xml
+++ b/ide/platform/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
index 9a4e4fa572..df46dc1669 100644
--- a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
+++ b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml
index ae31f774db..a182fbe789 100644
--- a/ide/plugins/combinatorialtesting/pom.xml
+++ b/ide/plugins/combinatorialtesting/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF
index 44068bc99e..d107448cf3 100644
--- a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF
+++ b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.coverageeditor
diff --git a/ide/plugins/coverageeditor/pom.xml b/ide/plugins/coverageeditor/pom.xml
index fc202280bf..a54cc8165c 100644
--- a/ide/plugins/coverageeditor/pom.xml
+++ b/ide/plugins/coverageeditor/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/csk/META-INF/MANIFEST.MF b/ide/plugins/csk/META-INF/MANIFEST.MF
index dd4e9b1547..f57e923087 100644
--- a/ide/plugins/csk/META-INF/MANIFEST.MF
+++ b/ide/plugins/csk/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.csk
diff --git a/ide/plugins/csk/pom.xml b/ide/plugins/csk/pom.xml
index 873a477def..8cf2637948 100644
--- a/ide/plugins/csk/pom.xml
+++ b/ide/plugins/csk/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/developerutils/META-INF/MANIFEST.MF b/ide/plugins/developerutils/META-INF/MANIFEST.MF
index d356033622..cb21ce4ed7 100644
--- a/ide/plugins/developerutils/META-INF/MANIFEST.MF
+++ b/ide/plugins/developerutils/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: Developer Utilities for Overture
diff --git a/ide/plugins/developerutils/pom.xml b/ide/plugins/developerutils/pom.xml
index bd4591a528..ac88b37ce3 100644
--- a/ide/plugins/developerutils/pom.xml
+++ b/ide/plugins/developerutils/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/externaleditor/META-INF/MANIFEST.MF b/ide/plugins/externaleditor/META-INF/MANIFEST.MF
index a6254b9208..11e86886b8 100644
--- a/ide/plugins/externaleditor/META-INF/MANIFEST.MF
+++ b/ide/plugins/externaleditor/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.externaleditor
diff --git a/ide/plugins/externaleditor/pom.xml b/ide/plugins/externaleditor/pom.xml
index 33b9f35593..bdbc41a204 100644
--- a/ide/plugins/externaleditor/pom.xml
+++ b/ide/plugins/externaleditor/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml
index 17503af77a..1288f5b4ba 100644
--- a/ide/plugins/features/combinatorialtesting/feature.xml
+++ b/ide/plugins/features/combinatorialtesting/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.combinatorialtesting"
       label="Combinatorial Testing"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml
index e8eb716536..b3b8f81486 100644
--- a/ide/plugins/features/combinatorialtesting/pom.xml
+++ b/ide/plugins/features/combinatorialtesting/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml
index 5dc6f0d57a..9e3ab21cf3 100644
--- a/ide/plugins/features/coverageeditor/feature.xml
+++ b/ide/plugins/features/coverageeditor/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.coverageeditor"
       label="Coverage Editor"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml
index cf64f33c2e..60ce2f77d6 100644
--- a/ide/plugins/features/coverageeditor/pom.xml
+++ b/ide/plugins/features/coverageeditor/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml
index a069604d4a..304a4490c8 100644
--- a/ide/plugins/features/csk/feature.xml
+++ b/ide/plugins/features/csk/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.csk"
       label="CSK VDM Tools link"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
   <description>
       %description
diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml
index 17ee8635cf..aed99b0747 100644
--- a/ide/plugins/features/csk/pom.xml
+++ b/ide/plugins/features/csk/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml
index d52ca1e7d3..006bb50926 100644
--- a/ide/plugins/features/developerutils/feature.xml
+++ b/ide/plugins/features/developerutils/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.developerutils"
       label="Overture Developer Utils"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml
index 522503147d..6f62447657 100644
--- a/ide/plugins/features/developerutils/pom.xml
+++ b/ide/plugins/features/developerutils/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml
index 43f87aa391..13dc484279 100644
--- a/ide/plugins/features/javagen/feature.xml
+++ b/ide/plugins/features/javagen/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.javagen"
       label="Java Code Generator"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml
index 6a90cf7122..a363fb5c01 100644
--- a/ide/plugins/features/javagen/pom.xml
+++ b/ide/plugins/features/javagen/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml
index 81173a9836..13aa94ec10 100644
--- a/ide/plugins/features/latex/feature.xml
+++ b/ide/plugins/features/latex/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.latex"
       label="VDM Latex Documentation Creator"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml
index 264007edab..a06d1602db 100644
--- a/ide/plugins/features/latex/pom.xml
+++ b/ide/plugins/features/latex/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml
index e5f460601f..9657d8b9c4 100644
--- a/ide/plugins/features/pom.xml
+++ b/ide/plugins/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml
index 8516bd8c39..283ad1b31b 100644
--- a/ide/plugins/features/poviewer/feature.xml
+++ b/ide/plugins/features/poviewer/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.poviewer"
       label="New POG Plugin"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml
index eb70f2954c..46cda2b57c 100644
--- a/ide/plugins/features/poviewer/pom.xml
+++ b/ide/plugins/features/poviewer/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml
index 67a3d0eb8a..f6d1ac85ad 100644
--- a/ide/plugins/features/quickinterpreter/feature.xml
+++ b/ide/plugins/features/quickinterpreter/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.quickinterpreter"
       label="VDM Quick Interpreter"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml
index 01b669f7c8..f171fc22bc 100644
--- a/ide/plugins/features/quickinterpreter/pom.xml
+++ b/ide/plugins/features/quickinterpreter/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml
index 41aff4b3a7..d9d2539892 100644
--- a/ide/plugins/features/rttraceviewer/feature.xml
+++ b/ide/plugins/features/rttraceviewer/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.rttraceviewer"
       label="RT Trace Viewer"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml
index 7d7b893a5f..c04df17a67 100644
--- a/ide/plugins/features/rttraceviewer/pom.xml
+++ b/ide/plugins/features/rttraceviewer/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml
index 7a0e116635..29865e61f7 100644
--- a/ide/plugins/features/uml2/feature.xml
+++ b/ide/plugins/features/uml2/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overture.ide.plugins.features.uml2"
       label="UML2 Transformation"
-      version="2.3.7.qualifier">
+      version="2.3.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml
index c7a7cc7f65..4f43d9cc2d 100644
--- a/ide/plugins/features/uml2/pom.xml
+++ b/ide/plugins/features/uml2/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide.plugins</groupId>
     <artifactId>org.overture.ide.plugins.features</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/javagen/META-INF/MANIFEST.MF b/ide/plugins/javagen/META-INF/MANIFEST.MF
index 009b4927dc..9db1424e74 100644
--- a/ide/plugins/javagen/META-INF/MANIFEST.MF
+++ b/ide/plugins/javagen/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Name: Code Generator
 Bundle-ManifestVersion: 2
diff --git a/ide/plugins/javagen/pom.xml b/ide/plugins/javagen/pom.xml
index 5ed020bb0a..4830058767 100644
--- a/ide/plugins/javagen/pom.xml
+++ b/ide/plugins/javagen/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.ide</groupId>
 		<artifactId>org.overture.ide.plugins</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/plugins/latex/META-INF/MANIFEST.MF b/ide/plugins/latex/META-INF/MANIFEST.MF
index 9b87fbc470..a82622db85 100644
--- a/ide/plugins/latex/META-INF/MANIFEST.MF
+++ b/ide/plugins/latex/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.latex
diff --git a/ide/plugins/latex/pom.xml b/ide/plugins/latex/pom.xml
index 64177a12b2..0ed282350c 100644
--- a/ide/plugins/latex/pom.xml
+++ b/ide/plugins/latex/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml
index 3ba2e925f3..ec3848a587 100644
--- a/ide/plugins/pom.xml
+++ b/ide/plugins/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/poviewer/META-INF/MANIFEST.MF b/ide/plugins/poviewer/META-INF/MANIFEST.MF
index cb05092490..7a743933da 100644
--- a/ide/plugins/poviewer/META-INF/MANIFEST.MF
+++ b/ide/plugins/poviewer/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml
index c71c352d69..a66c8eae57 100644
--- a/ide/plugins/poviewer/pom.xml
+++ b/ide/plugins/poviewer/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF
index c7cb26df1b..c631da3d2c 100644
--- a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF
+++ b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.quickinterpreter
diff --git a/ide/plugins/quickinterpreter/pom.xml b/ide/plugins/quickinterpreter/pom.xml
index 801fdc71a0..06bef4010e 100644
--- a/ide/plugins/quickinterpreter/pom.xml
+++ b/ide/plugins/quickinterpreter/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF
index b5005e802b..eba79cdefd 100644
--- a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF
+++ b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.rttraceviewer
diff --git a/ide/plugins/rttraceviewer/pom.xml b/ide/plugins/rttraceviewer/pom.xml
index cb4843c246..deebca58a9 100644
--- a/ide/plugins/rttraceviewer/pom.xml
+++ b/ide/plugins/rttraceviewer/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.plugins</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF
index 22d2916a01..5851802608 100644
--- a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF
+++ b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.uml2.tests
diff --git a/ide/plugins/uml2.tests/pom.xml b/ide/plugins/uml2.tests/pom.xml
index 692de9af63..8a785b44f5 100644
--- a/ide/plugins/uml2.tests/pom.xml
+++ b/ide/plugins/uml2.tests/pom.xml
@@ -5,7 +5,7 @@
  <parent>
 		<groupId>org.overturetool.ide</groupId>
 		<artifactId>org.overture.ide.plugins</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/plugins/uml2/META-INF/MANIFEST.MF b/ide/plugins/uml2/META-INF/MANIFEST.MF
index fd5ad791ce..15a4c4dce1 100644
--- a/ide/plugins/uml2/META-INF/MANIFEST.MF
+++ b/ide/plugins/uml2/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Name: UML2 Translator
 Bundle-ManifestVersion: 2
diff --git a/ide/plugins/uml2/pom.xml b/ide/plugins/uml2/pom.xml
index a23c9548b8..816f31e88b 100644
--- a/ide/plugins/uml2/pom.xml
+++ b/ide/plugins/uml2/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.ide</groupId>
 		<artifactId>org.overture.ide.plugins</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/pom.xml b/ide/pom.xml
index 561da2db76..408a791454 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,10 +5,10 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
-    <packaging>pom</packaging>
+<packaging>pom</packaging>
   <artifactId>ide</artifactId>
   <name>Overture IDE Top-level</name>
   <description>Super POM for all IDE (Eclipse) artifacts.</description>
diff --git a/ide/product/overture.product b/ide/product/overture.product
index 9f8d87a0d7..6008d1eb95 100644
--- a/ide/product/overture.product
+++ b/ide/product/overture.product
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="Overture Tools" uid="org.overture.ide.platform.product" id="org.overture.ide.platform.product" application="org.eclipse.ui.ide.workbench" version="2.3.7.qualifier" useFeatures="true" includeLaunchers="true">
+<product name="Overture Tools" uid="org.overture.ide.platform.product" id="org.overture.ide.platform.product" application="org.eclipse.ui.ide.workbench" version="2.3.8" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/icons/ctool128/overture_misc.png"/>
diff --git a/ide/product/pom.xml b/ide/product/pom.xml
index 1e27fa4010..ecf7436cd5 100644
--- a/ide/product/pom.xml
+++ b/ide/product/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>ide</artifactId>
-		<version>2.3.7-SNAPSHOT</version>
+		<version>2.3.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml
index 0f4aa35f50..d243f9c0a1 100644
--- a/ide/ui.tests/pom.xml
+++ b/ide/ui.tests/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF
index b6240333d2..97d5bd1467 100644
--- a/ide/ui/META-INF/MANIFEST.MF
+++ b/ide/ui/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.ui
diff --git a/ide/ui/pom.xml b/ide/ui/pom.xml
index b8cc8244b9..d0d64704b6 100644
--- a/ide/ui/pom.xml
+++ b/ide/ui/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/core/META-INF/MANIFEST.MF b/ide/vdmpp/core/META-INF/MANIFEST.MF
index 58cec10201..d7118bbecf 100644
--- a/ide/vdmpp/core/META-INF/MANIFEST.MF
+++ b/ide/vdmpp/core/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.core
diff --git a/ide/vdmpp/core/pom.xml b/ide/vdmpp/core/pom.xml
index 5d4a5f0de5..3159d76884 100644
--- a/ide/vdmpp/core/pom.xml
+++ b/ide/vdmpp/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmpp</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/debug/META-INF/MANIFEST.MF b/ide/vdmpp/debug/META-INF/MANIFEST.MF
index 62607f682b..8930923998 100644
--- a/ide/vdmpp/debug/META-INF/MANIFEST.MF
+++ b/ide/vdmpp/debug/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.debug
diff --git a/ide/vdmpp/debug/pom.xml b/ide/vdmpp/debug/pom.xml
index f1b0a85600..11f21201e9 100644
--- a/ide/vdmpp/debug/pom.xml
+++ b/ide/vdmpp/debug/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmpp</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml
index d55395215a..7e02770829 100644
--- a/ide/vdmpp/pom.xml
+++ b/ide/vdmpp/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/ui/META-INF/MANIFEST.MF b/ide/vdmpp/ui/META-INF/MANIFEST.MF
index 235c179b08..a71c314b3e 100644
--- a/ide/vdmpp/ui/META-INF/MANIFEST.MF
+++ b/ide/vdmpp/ui/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.ui
diff --git a/ide/vdmpp/ui/pom.xml b/ide/vdmpp/ui/pom.xml
index c2677c2e8e..cf797c5eee 100644
--- a/ide/vdmpp/ui/pom.xml
+++ b/ide/vdmpp/ui/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmpp</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/core/META-INF/MANIFEST.MF b/ide/vdmrt/core/META-INF/MANIFEST.MF
index ee20b9b561..6e781aeab2 100644
--- a/ide/vdmrt/core/META-INF/MANIFEST.MF
+++ b/ide/vdmrt/core/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.core
diff --git a/ide/vdmrt/core/pom.xml b/ide/vdmrt/core/pom.xml
index b52811edae..d8308859cf 100644
--- a/ide/vdmrt/core/pom.xml
+++ b/ide/vdmrt/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmrt</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/debug/META-INF/MANIFEST.MF b/ide/vdmrt/debug/META-INF/MANIFEST.MF
index 2d521c67e8..1315c7b00b 100644
--- a/ide/vdmrt/debug/META-INF/MANIFEST.MF
+++ b/ide/vdmrt/debug/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.debug
diff --git a/ide/vdmrt/debug/pom.xml b/ide/vdmrt/debug/pom.xml
index cf7450c7d1..8d954bd8bc 100644
--- a/ide/vdmrt/debug/pom.xml
+++ b/ide/vdmrt/debug/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmrt</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml
index 5afab59007..3c0d22ad5c 100644
--- a/ide/vdmrt/pom.xml
+++ b/ide/vdmrt/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/ui/META-INF/MANIFEST.MF b/ide/vdmrt/ui/META-INF/MANIFEST.MF
index 8fe2845bbe..85483ce483 100644
--- a/ide/vdmrt/ui/META-INF/MANIFEST.MF
+++ b/ide/vdmrt/ui/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.ui
diff --git a/ide/vdmrt/ui/pom.xml b/ide/vdmrt/ui/pom.xml
index e4039d5d94..fba7f1f26b 100644
--- a/ide/vdmrt/ui/pom.xml
+++ b/ide/vdmrt/ui/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmrt</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/core/META-INF/MANIFEST.MF b/ide/vdmsl/core/META-INF/MANIFEST.MF
index b37d191a9b..402edaa3c9 100644
--- a/ide/vdmsl/core/META-INF/MANIFEST.MF
+++ b/ide/vdmsl/core/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.core
diff --git a/ide/vdmsl/core/pom.xml b/ide/vdmsl/core/pom.xml
index 478f8e6544..5fccf27283 100644
--- a/ide/vdmsl/core/pom.xml
+++ b/ide/vdmsl/core/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmsl</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/debug/META-INF/MANIFEST.MF b/ide/vdmsl/debug/META-INF/MANIFEST.MF
index 959aff3306..907bce12c8 100644
--- a/ide/vdmsl/debug/META-INF/MANIFEST.MF
+++ b/ide/vdmsl/debug/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.debug
diff --git a/ide/vdmsl/debug/pom.xml b/ide/vdmsl/debug/pom.xml
index 36bedd5476..9625856bf4 100644
--- a/ide/vdmsl/debug/pom.xml
+++ b/ide/vdmsl/debug/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmsl</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml
index 961e828a6e..ca8be08b36 100644
--- a/ide/vdmsl/pom.xml
+++ b/ide/vdmsl/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>ide</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/ui/META-INF/MANIFEST.MF b/ide/vdmsl/ui/META-INF/MANIFEST.MF
index 3588253c12..c3486b3469 100644
--- a/ide/vdmsl/ui/META-INF/MANIFEST.MF
+++ b/ide/vdmsl/ui/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-Vendor: Overture
 Bundle-ActivationPolicy: lazy
-Bundle-Version: 2.3.7.qualifier
+Bundle-Version: 2.3.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.ui
diff --git a/ide/vdmsl/ui/pom.xml b/ide/vdmsl/ui/pom.xml
index 19dd975b2d..e8d65c3e61 100644
--- a/ide/vdmsl/ui/pom.xml
+++ b/ide/vdmsl/ui/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.ide</groupId>
     <artifactId>org.overture.ide.vdmsl</artifactId>
-    <version>2.3.7-SNAPSHOT</version>
+    <version>2.3.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/pom.xml b/pom.xml
index 256b198369..11bd08354c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
   <groupId>org.overturetool</groupId>
   <artifactId>root</artifactId>
 
-  <version>2.3.7-SNAPSHOT</version>
+  <version>2.3.8</version>
 
   <name>The Overture Tool Platform root</name>
   <description>
@@ -366,7 +366,7 @@ http://mojo.codehaus.org/versions-maven-plugin/
     <url>git@github.com:overturetool/overture.git</url>
     <connection>scm:git:git://github.com/overturetool/overture.git</connection>
     <developerConnection>scm:git:git@github.com:overturetool/overture.git</developerConnection>
-    <tag>HEAD</tag>
+    <tag>Release/2.3.8</tag>
   </scm>
 
   <developers>