diff --git a/core/ast/pom.xml b/core/ast/pom.xml
index 9709e76eb9..a09052c647 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 4f97832573..a06b88d512 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--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 7c5bf6fe0b..421539bd7d 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.0<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml
index e44e08ada9..daf9a27310 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml
index c194b284e1..b5a40cb61f 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.0<!--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 4924b5efd2..c63b46ffaf 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml
index e26503599a..e1277f8ea2 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml
index b90b841431..41ec409c0c 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml
index 207cd454e2..50824cae7a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml
index e63274b8e7..c1e6b09781 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.5.0<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml
index fe7a4e1e35..d79b2c7b76 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.4.9-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.5.0<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml
index 0fd786c592..6a8819ae8b 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml
index bf5535c273..3bf13385d9 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml
index 1c8c3d4ffc..f1794e1799 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml
index 5993429bc8..ca56798edc 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml
index af4af62ee3..9c2c4d51c4 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml
index 80cd0257da..dcfeeb99ba 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
 </parent>
 
diff --git a/core/parser/pom.xml b/core/parser/pom.xml
index 2f9493018c..52bdb55759 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pog/pom.xml b/core/pog/pom.xml
index 05b3f425cf..37c2561cdc 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pom.xml b/core/pom.xml
index eb93d04e6d..d45d82fee9 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml
index b6f1b22a84..58e2766274 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.4.9-SNAPSHOT</version>
+        <version>2.5.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml
index eedb7790b7..6afa5172f8 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml
index 35b196020a..98cc30a1c2 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml
index a4317c2e06..a0446fb477 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml
index 63aa25a18a..e4aefb439a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/pom.xml b/core/testing/pom.xml
index 8d45204dfc..6e938f3297 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml
index a044aa548c..2cdf062977 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
index 1fa6821692..49b542eb04 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/pom.xml b/documentation/pom.xml
index 0b10c40ec2..86a2de7bd0 100644
--- a/documentation/pom.xml
+++ b/documentation/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml
index ff44c4ffb3..ec2ef3fe2a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/externals/pom.xml b/externals/pom.xml
index 29ddd7b879..db1cd20087 100644
--- a/externals/pom.xml
+++ b/externals/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>root</artifactId>
-		<version>2.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml
index 5540876987..9a74323034 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 74437a89e3..c397b87ae9 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml
index 40421a5c16..20312f0acb 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
index bc1e9fcde0..2ba67b755e 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/core/pom.xml b/ide/core/pom.xml
index bec40ff335..e88f2a1443 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF
index 010c47e4cb..7e78d643e1 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml
index 4d8f5f5fdb..c159f63d5d 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
index f309210b2f..43fd86c17a 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.4.9.qualifier"
+      version="2.5.0"
       plugin="org.overture.ide.platform">
 
    <description>
diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
index b3087fa012..856ac5f85a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index ff44eaea35..a53d0e6521 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
index d7daf63dbd..a16e6b8e46 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
index 58b4872cd0..e619f322cc 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF
index c012dc8340..ea3650eed7 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/help/pom.xml b/ide/help/pom.xml
index 43ac54b348..f82915c672 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml
index 7f465a0801..e1f933fdb8 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 9c88c994bf..a0f3782928 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 f752bf23e7..13804fa543 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
index 113ab9244b..a4f634d99e 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 8247fbb2f9..abf98af4c7 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 4c2200e379..6ff1b56016 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml
index 750168a537..71b719bc0f 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 52f89ef5a9..b67de9fd07 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 e3b64dc13f..f021d69ddc 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 9e2f7892f3..081be86111 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 fe6dce92b5..b0391904f5 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 3b76392d27..619ac5351d 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 7b9b5f4d7b..acc291fa86 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 d3bcf43ace..b84398143a 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 57998aecb2..2e143932ea 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml
index 75cdb826ca..e13046ba1d 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml
index 94bda76e3a..6b92537d81 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml
index 42cb775539..ae8703b6d5 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml
index 1b86821dd1..59a2e7abc3 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml
index 72e1b193c1..e5e021d849 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.4.9.qualifier">
+      version="2.5.0">
 
   <description>
       %description
diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml
index fdeab36227..51320b430b 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml
index f77f9d5fc4..65d67ecf0c 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml
index bc58ec38ec..2caef84c69 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml
index c999016dee..2bd9da239e 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml
index bd2eee90d8..7af6cf262a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml
index 2bbd7cce14..726836a290 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml
index 7aad250c28..c1a5d1dc22 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml
index 9af86e198c..eaceff1723 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml
index 3696a13164..51db2e42a1 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml
index 867bcb7d1e..4f0b997284 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml
index f8f5a8adf1..6abe40125c 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml
index d3b86cfdf5..35e734f125 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml
index af46e370f9..2f87112eb3 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml
index e9539219c5..793121c55a 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml
index 9e4afeb45c..7c3348b04c 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.4.9.qualifier">
+      version="2.5.0">
 
    <description>
       %description
diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml
index 973ac6f9bc..017a745868 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 4fbbd98642..89c104e106 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 4818860b7f..f5149b3353 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</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 acdd96a240..b64474ecea 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 52351b8934..900bb11f1d 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml
index dc141192cb..8c1c4f5e3d 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 cb71953cac..bb6a46bfd6 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.4.9.qualifier
+Bundle-Version: 2.5.0
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml
index 2255125abd..8fb04d23c9 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 72aee55d3b..e2b2cef86e 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 67cd181908..bc5b953291 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 d0dec844bc..e4b77e52cc 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 40fb0e164c..0bd83850cd 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 bc75abfb5e..10b20de3e4 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 7e919589d3..a44b5cd7ef 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</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 45e24dd332..694f324982 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 b8c8054731..44ca2e6984 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/pom.xml b/ide/pom.xml
index a832743e65..fb1a65537b 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 <packaging>pom</packaging>
diff --git a/ide/product/overture.product b/ide/product/overture.product
index 38e9b99315..93c965edf6 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.4.9.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.0" 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 4f5d91e4a9..bb8c31fd3a 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.4.9-SNAPSHOT</version>
+		<version>2.5.0</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml
index 6c6d7e7151..92ee68a083 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF
index 0233645cb9..083c2a7bf6 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 52eb21f8ee..f1a3b35c38 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 f1591999ae..a6f5c328e0 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 6818c548ff..8ee46db0c6 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 42aacdd3b9..a59b397dd6 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 16212be283..9543965917 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml
index ed061e548e..8b23f19802 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 8061c20494..a940c53d49 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 1bf44f6f5d..cfdbca062e 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 a77decbe26..df2692552c 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 476a3444bd..2d6fb7d23b 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 2ca447c321..b3188957a8 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 ee03a67b32..ecd80ba3cc 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml
index 9ff3fc3e00..109bc1cec4 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 73ce499099..1d61c37bc1 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 db783d37e6..aaa1a9abc7 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 18c813fad5..774503a20d 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 b982fafbf7..e34a980b6d 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 1e1baea973..3ab4c767c3 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 2c4e4c53cf..79522e5481 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml
index 6e5edb0fd2..e80d9bd5f1 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</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 49e8450422..bc30a7a6cc 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.4.9.qualifier
+Bundle-Version: 2.5.0
 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 14f0bf545c..daf83d0303 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.4.9-SNAPSHOT</version>
+    <version>2.5.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/pom.xml b/pom.xml
index d4fc5ed5ea..776e2d1bad 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
   <groupId>org.overturetool</groupId>
   <artifactId>root</artifactId>
 
-  <version>2.4.9-SNAPSHOT</version>
+  <version>2.5.0</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.0</tag>
   </scm>
 
   <developers>