diff --git a/core/ast/pom.xml b/core/ast/pom.xml
index d7efc5bb16..a4ca960e31 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 4dead41f26..1195bea69f 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--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 c136878f7a..d9ead21ad3 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.2<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml
index cd8753b110..0e58b49f92 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml
index f4b84dfdfe..4afaf84dd4 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.2<!--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 0846bad25d..628fff5f2e 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml
index ebffc22a5c..fc0d097b58 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml
index 55bbecf0e1..1270f3d491 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml
index beda23d32a..8150d2b7d2 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml
index 4ecd94a0a8..d44b6f753b 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.2<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml
index 11c3815733..984cea5761 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.5.1-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.2<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml
index acecc88440..89cfdc2928 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml
index 844d8ff0e4..dd03ca072a 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml
index 584ceb3cec..56dd6e46cc 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml
index 8f53d52b93..e39004edd6 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml
index 757601d18b..239d2503b9 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml
index 5e6ea38ae8..85688125d5 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
 </parent>
 
diff --git a/core/parser/pom.xml b/core/parser/pom.xml
index 78ecc24c30..2c522bdc5b 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pog/pom.xml b/core/pog/pom.xml
index faae1c1c24..203cfae0d3 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pom.xml b/core/pom.xml
index 111b29ae45..ef03b5e2d3 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml
index e44f94c816..7c2a76b55a 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.5.1-SNAPSHOT</version>
+        <version>2.5.2</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml
index 0744277b04..f8c3d238c8 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml
index 3e5369b20d..302c0c2a66 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml
index 712d864b19..c40f0626fd 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml
index 0897d1ce64..7d1666b421 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/pom.xml b/core/testing/pom.xml
index d731c45159..7eaa19f252 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml
index 3ed1946c86..5a3a54c28c 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
index c698d1d16d..9738997289 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/pom.xml b/documentation/pom.xml
index 9343c581b6..2e0534b642 100644
--- a/documentation/pom.xml
+++ b/documentation/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml
index b433a5d266..c083b059c9 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/externals/pom.xml b/externals/pom.xml
index 0ff2f9f2a9..cce97876cb 100644
--- a/externals/pom.xml
+++ b/externals/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>root</artifactId>
-		<version>2.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml
index 5391c17b93..0c6141bd53 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 fc53c845b5..8291301e77 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml
index 22db53c418..8f82a3aa36 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
index 467d960866..127b1d438e 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/core/pom.xml b/ide/core/pom.xml
index 2949f2531b..8938012c39 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF
index e01405768e..411ffd75d9 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml
index ce97cb145b..de86726161 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
index 44c2596567..c462807a6f 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.5.1.qualifier"
+      version="2.5.2"
       plugin="org.overture.ide.platform">
 
    <description>
diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
index aeb62a6ad5..22c047b938 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index d1f8d039c5..bea5619654 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
index 536693be3c..1e10ddf384 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
index 71f4d1cbe3..8e91dc4c03 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF
index 568b979f1c..2dc40524ad 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/help/pom.xml b/ide/help/pom.xml
index 36fdc0044a..155c63422a 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml
index 2a577f4a15..d3130494f8 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 44f93cbe06..3ba5d14614 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 6d10cdb625..8c492aba69 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
index b34f839641..391f72746c 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 81302811c5..231abf1868 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 bab4a78482..4c8f1157a3 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml
index dfe755fecf..1467af0987 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 dc05840a25..b6b2917b6f 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 89286bd18d..fd1b6f518d 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 bd7dbf54a9..6b010ae0b3 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 1a0bf75ddf..1e626e296b 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 7dc57cc031..3f72fe3a54 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 5d4b53b90e..23c43e7108 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 5cb9f80a56..5532cbe158 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 bfc36b25bc..2919e3bee6 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml
index 816b2dfd09..85d45dce56 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml
index d23ed2ce52..d08e4f1c93 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml
index 4a5a1aaaca..f6044d6f3a 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml
index 9804746586..f0704e33e9 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml
index 10861991d3..e43ff3a5b6 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.5.1.qualifier">
+      version="2.5.2">
 
   <description>
       %description
diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml
index a42e661110..3ab99b8c2d 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml
index 70c743521e..b1215c3110 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml
index 348a39efea..af7f578d45 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml
index 3d27507318..b0f545496a 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml
index 44e509e1ab..c8e3a625f1 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml
index ecea467469..4b139e5146 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml
index 00adb156a7..d474138250 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml
index dbaee5eec0..35e6d0717b 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml
index 1e42378aaa..34ee4432cf 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml
index 851e91e39c..61426a2fc0 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml
index 2d385acead..3386cb8ba0 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml
index 5c1df69f9d..94c508817d 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml
index 0bf1ad7df0..97c191c99e 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml
index 071e0113ff..8c0672142c 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml
index d86cf40b1e..435cd8fb40 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.5.1.qualifier">
+      version="2.5.2">
 
    <description>
       %description
diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml
index 03e69c0b11..42d5c22e5c 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 88c029fbfc..025b2bc73d 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 e6f46b5dc4..4395f7999e 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</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 0c2db90958..bbd52eb040 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 82f55de43b..7dc692c76b 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml
index 24ec6c4b2e..179fbdb8ce 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 305f8bc9ed..ae75e3279a 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.5.1.qualifier
+Bundle-Version: 2.5.2
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml
index d04075c6d5..7509add0c5 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 08a09c9383..2ffe427d0b 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 9fbba5d19a..660e28d26a 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 690414c613..67bc5b1a5d 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 2bce80429f..a56d1e4652 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 e793d4c533..c7250dff5c 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 fcea698a10..b918bb8688 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</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 e09b886b1d..98c055eee4 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 acba2b9dc1..0e5e8177f3 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/pom.xml b/ide/pom.xml
index 2798660090..be4667093b 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 <packaging>pom</packaging>
diff --git a/ide/product/overture.product b/ide/product/overture.product
index 06a7730916..fe1eca916e 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.5.1.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.5.2" 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 5d978ce7ff..4fbe22f540 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.5.1-SNAPSHOT</version>
+		<version>2.5.2</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml
index 5cf02810eb..33727e7c68 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF
index 6ed57fb85b..417e22c2e3 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 3e15f90563..c1fbc7f009 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 9f9c26f371..7228cd9ef5 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 8ad6345d1d..95adfca379 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 c327547608..986c8d7f5d 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 15dbb9f19c..354d6af34c 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml
index 7bcfce120b..c5a821b2a2 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 dc35b48afa..5db401f11b 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 9f88118b5b..04f060b2e8 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 7eb3098b9e..520934d7f9 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 a7823d901e..398c089ffe 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 eb207b827a..437f05e26f 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 ebb084803c..f55dad30e0 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml
index 9dd818e455..13e722504e 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 d6557f833d..9a324c01bd 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 31ab036cfa..a2746b9756 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 3a67c46908..0ec7ed1ced 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 7265a688be..fee092861f 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 10f3df40b6..00a14fb6b0 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 dfb9ddb488..650c8f7013 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml
index 00763bd81a..f39fe1a2ff 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</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 92e837c617..e34bf38f8b 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.5.1.qualifier
+Bundle-Version: 2.5.2
 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 37e0df4af0..0d9da8721d 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.5.1-SNAPSHOT</version>
+    <version>2.5.2</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/pom.xml b/pom.xml
index f072166c85..8413e89750 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
   <groupId>org.overturetool</groupId>
   <artifactId>root</artifactId>
 
-  <version>2.5.1-SNAPSHOT</version>
+  <version>2.5.2</version>
 
   <name>The Overture Tool Platform root</name>
   <description>
@@ -406,7 +406,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.5.2</tag>
   </scm>
 
   <developers>