diff --git a/core/ast/pom.xml b/core/ast/pom.xml
index 6cfd7a308a..de8ce74a80 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/codegen-maven-plugin/pom.xml b/core/codegen/codegen-maven-plugin/pom.xml
index cf070a2f0a..7d522c6b9d 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/codegen-runtime/pom.xml b/core/codegen/codegen-runtime/pom.xml
index a8c1f851dc..81c8ca1512 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.4.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/ir/pom.xml b/core/codegen/ir/pom.xml
index e5c89e8810..dd81079709 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/isagen/pom.xml b/core/codegen/isagen/pom.xml
index 777b887013..1036f39677 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.4.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/javagen-test/pom.xml b/core/codegen/javagen-test/pom.xml
index b33de4372d..a6b54a605c 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/javagen/pom.xml b/core/codegen/javagen/pom.xml
index 28c8c9082f..acc9b6b427 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/platform/pom.xml b/core/codegen/platform/pom.xml
index 44884fa385..a232cdbbe1 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/pom.xml b/core/codegen/pom.xml
index b136d8cb5c..d80393108c 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/codegen/vdm2jml-runtime/pom.xml b/core/codegen/vdm2jml-runtime/pom.xml
index 7ddda442db..446927c53e 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+		<version>2.4.8<!--Replaceable: Main Version--></version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/codegen/vdm2jml/pom.xml b/core/codegen/vdm2jml/pom.xml
index 0315b07db8..2449cd4ac6 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.7-SNAPSHOT<!--Replaceable: Main Version--></version>
+    <version>2.4.8<!--Replaceable: Main Version--></version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/ctruntime/pom.xml b/core/combinatorialtesting/ctruntime/pom.xml
index 530251b828..1727a1805d 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/combinatorialtesting/ctutils/pom.xml b/core/combinatorialtesting/ctutils/pom.xml
index 6aab85d2de..ffd292d6ef 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/combinatorialtesting/pom.xml b/core/combinatorialtesting/pom.xml
index a197d1ca0e..003d499053 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/commandline/pom.xml b/core/commandline/pom.xml
index 6cc7890c56..3ccac4a777 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/interpreter/pom.xml b/core/interpreter/pom.xml
index 84deb027bd..8457bfc00f 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/isapog/pom.xml b/core/isapog/pom.xml
index 021a426c04..a9c6cb660b 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
 </parent>
 
diff --git a/core/parser/pom.xml b/core/parser/pom.xml
index e3933f7306..816a926b6f 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pog/pom.xml b/core/pog/pom.xml
index 634ffde331..a16261c1b6 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/pom.xml b/core/pom.xml
index f8459d4138..6d49d9d4dc 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/npp/pom.xml b/core/prettyprinting/npp/pom.xml
index c7416187c9..f38f538e44 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.7-SNAPSHOT</version>
+        <version>2.4.8</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/core/prettyprinting/pom.xml b/core/prettyprinting/pom.xml
index fd8745c5df..78e4cd855c 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/prettyprinting/prettyprinter/pom.xml b/core/prettyprinting/prettyprinter/pom.xml
index 081d33b2bf..638015278d 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testframework/pom.xml b/core/testframework/pom.xml
index 1ace354d24..82a4e13fb5 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/framework/pom.xml b/core/testing/framework/pom.xml
index c7fc6846f8..2ef2ee96e8 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/pom.xml b/core/testing/pom.xml
index aa37b276f3..22c9f17dae 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/testing/samples/pom.xml b/core/testing/samples/pom.xml
index a1a8f75fb3..700f7f7559 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/typechecker/pom.xml b/core/typechecker/pom.xml
index c612b36334..80f722f6d2 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/pom.xml b/documentation/pom.xml
index a0577bd309..a1c41f122e 100644
--- a/documentation/pom.xml
+++ b/documentation/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/documentation/releasenotes/pom.xml b/documentation/releasenotes/pom.xml
index 880a21223d..8adfd9584a 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/externals/pom.xml b/externals/pom.xml
index 619a9ef7d3..a5fdd9413f 100644
--- a/externals/pom.xml
+++ b/externals/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>org.overturetool</groupId>
 		<artifactId>root</artifactId>
-		<version>2.4.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/builders/pom.xml b/ide/builders/pom.xml
index 323f722362..35d7d1f3c6 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/builders/vdmj/META-INF/MANIFEST.MF b/ide/builders/vdmj/META-INF/MANIFEST.MF
index 954257d75a..ad0fdbf426 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/builders/vdmj/pom.xml b/ide/builders/vdmj/pom.xml
index 542282669f..c419c8795e 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/core/META-INF/MANIFEST.MF b/ide/core/META-INF/MANIFEST.MF
index 3766fdf9dc..ced95e041a 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/core/pom.xml b/ide/core/pom.xml
index c983e79425..9456a85394 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/debug/META-INF/MANIFEST.MF b/ide/debug/META-INF/MANIFEST.MF
index 4ef90a861f..a89ea64573 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/debug/pom.xml b/ide/debug/pom.xml
index f6ebfa6eeb..8f554abedc 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/features/core/feature.xml b/ide/features/core/feature.xml
index 82fdf13612..9225c04fdd 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.7.qualifier"
+      version="2.4.8"
       plugin="org.overture.ide.platform">
 
    <description>
diff --git a/ide/features/core/pom.xml b/ide/features/core/pom.xml
index bf606d2e6b..81fd16d6ee 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index 461c615ff7..92d64bed8c 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/rcp/feature.xml b/ide/features/rcp/feature.xml
index 79bd6e9894..7c5c63fc65 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/features/rcp/pom.xml b/ide/features/rcp/pom.xml
index 40ff6d7ef8..1b1c2f0ff6 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/help/META-INF/MANIFEST.MF b/ide/help/META-INF/MANIFEST.MF
index 041252b688..446fc18230 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/help/pom.xml b/ide/help/pom.xml
index 7d99424a4f..8a6540f883 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/pom.xml b/ide/parsers/pom.xml
index 8ff5305484..1677781292 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/parsers/vdmj/META-INF/MANIFEST.MF b/ide/parsers/vdmj/META-INF/MANIFEST.MF
index 319a2ef343..18eccfbf68 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.parsers.vdmj
diff --git a/ide/parsers/vdmj/pom.xml b/ide/parsers/vdmj/pom.xml
index 58cce27373..218c9086e9 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/platform/META-INF/MANIFEST.MF b/ide/platform/META-INF/MANIFEST.MF
index 2f0a91ac6d..997f503bc8 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.7.qualifier
+Bundle-Version: 2.4.8
 Bundle-Localization: plugin
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.ui,
diff --git a/ide/platform/pom.xml b/ide/platform/pom.xml
index 790a39e1a5..8e1c602921 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF b/ide/plugins/combinatorialtesting/META-INF/MANIFEST.MF
index e7987288ed..16440e61f2 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/combinatorialtesting/pom.xml b/ide/plugins/combinatorialtesting/pom.xml
index 58cb335ced..08654195de 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/coverageeditor/META-INF/MANIFEST.MF b/ide/plugins/coverageeditor/META-INF/MANIFEST.MF
index 05204c7d7b..b12d833df7 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.coverageeditor
diff --git a/ide/plugins/coverageeditor/pom.xml b/ide/plugins/coverageeditor/pom.xml
index 5344e2f684..d6ef356acc 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/csk/META-INF/MANIFEST.MF b/ide/plugins/csk/META-INF/MANIFEST.MF
index f3b18d8cb0..094d3a8d80 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.csk
diff --git a/ide/plugins/csk/pom.xml b/ide/plugins/csk/pom.xml
index 74eb835838..26d2e4c5e4 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/developerutils/META-INF/MANIFEST.MF b/ide/plugins/developerutils/META-INF/MANIFEST.MF
index 539e148076..7a9f05088c 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: Developer Utilities for Overture
diff --git a/ide/plugins/developerutils/pom.xml b/ide/plugins/developerutils/pom.xml
index 421da641e1..be6063d40a 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/externaleditor/META-INF/MANIFEST.MF b/ide/plugins/externaleditor/META-INF/MANIFEST.MF
index 1d211e5f91..415207c602 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.externaleditor
diff --git a/ide/plugins/externaleditor/pom.xml b/ide/plugins/externaleditor/pom.xml
index 917a18aa7b..547b6c7b68 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/features/combinatorialtesting/feature.xml b/ide/plugins/features/combinatorialtesting/feature.xml
index 34209a1696..17bffc513a 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/combinatorialtesting/pom.xml b/ide/plugins/features/combinatorialtesting/pom.xml
index 2aa7e3d9c6..c5958fd443 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/coverageeditor/feature.xml b/ide/plugins/features/coverageeditor/feature.xml
index 069b1efe86..8dd1a1e3ab 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/coverageeditor/pom.xml b/ide/plugins/features/coverageeditor/pom.xml
index e53042d9aa..cd83ed61bf 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/csk/feature.xml b/ide/plugins/features/csk/feature.xml
index 62863e75d0..53c940cb68 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.7.qualifier">
+      version="2.4.8">
 
   <description>
       %description
diff --git a/ide/plugins/features/csk/pom.xml b/ide/plugins/features/csk/pom.xml
index 01ac49646c..03cf735690 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/developerutils/feature.xml b/ide/plugins/features/developerutils/feature.xml
index 43c673b3c0..3fad3933fa 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/developerutils/pom.xml b/ide/plugins/features/developerutils/pom.xml
index d4789b2822..97a088e89d 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/javagen/feature.xml b/ide/plugins/features/javagen/feature.xml
index a1b84b9b8c..0d1e35f1cb 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/javagen/pom.xml b/ide/plugins/features/javagen/pom.xml
index 4fae312aef..ea00b54d55 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/latex/feature.xml b/ide/plugins/features/latex/feature.xml
index 8c202af9e2..07d8acd109 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/latex/pom.xml b/ide/plugins/features/latex/pom.xml
index 5915fefce6..bb37fb87f7 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/pom.xml b/ide/plugins/features/pom.xml
index a17bebf000..b53e4b738f 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/poviewer/feature.xml b/ide/plugins/features/poviewer/feature.xml
index ab51bb322a..941cd49953 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/poviewer/pom.xml b/ide/plugins/features/poviewer/pom.xml
index 1bece005d6..5f4926379a 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/quickinterpreter/feature.xml b/ide/plugins/features/quickinterpreter/feature.xml
index fe835f0690..dd1a4ac2e7 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/quickinterpreter/pom.xml b/ide/plugins/features/quickinterpreter/pom.xml
index 92ac1c57ee..b72a702838 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/rttraceviewer/feature.xml b/ide/plugins/features/rttraceviewer/feature.xml
index d792983684..d0fd08f11c 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/rttraceviewer/pom.xml b/ide/plugins/features/rttraceviewer/pom.xml
index 6c782f70a7..dd7224f14d 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/features/uml2/feature.xml b/ide/plugins/features/uml2/feature.xml
index 5c43a260b2..973adf0460 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.7.qualifier">
+      version="2.4.8">
 
    <description>
       %description
diff --git a/ide/plugins/features/uml2/pom.xml b/ide/plugins/features/uml2/pom.xml
index 7c9a06d168..cc40aaac50 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/plugins/javagen/META-INF/MANIFEST.MF b/ide/plugins/javagen/META-INF/MANIFEST.MF
index 79ceb57e17..cdd9d22932 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Name: Code Generator
 Bundle-ManifestVersion: 2
diff --git a/ide/plugins/javagen/pom.xml b/ide/plugins/javagen/pom.xml
index 34ddd38f6e..639ede6e43 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/plugins/latex/META-INF/MANIFEST.MF b/ide/plugins/latex/META-INF/MANIFEST.MF
index 645b618a02..519385d6c2 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.latex
diff --git a/ide/plugins/latex/pom.xml b/ide/plugins/latex/pom.xml
index 038346c8c8..70fd4bd6ef 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/pom.xml b/ide/plugins/pom.xml
index c486400f3d..ed7f73b869 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/poviewer/META-INF/MANIFEST.MF b/ide/plugins/poviewer/META-INF/MANIFEST.MF
index d6f34e898a..f8c87fb2ab 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Eclipse-BundleShape: dir
 Bundle-Localization: plugin
diff --git a/ide/plugins/poviewer/pom.xml b/ide/plugins/poviewer/pom.xml
index 0a6f9b025d..4f9909f718 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF b/ide/plugins/quickinterpreter/META-INF/MANIFEST.MF
index 212447035c..fa1f91fabc 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.quickinterpreter
diff --git a/ide/plugins/quickinterpreter/pom.xml b/ide/plugins/quickinterpreter/pom.xml
index ca12517034..0617342c03 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF b/ide/plugins/rttraceviewer/META-INF/MANIFEST.MF
index af41c25554..7e25c084c0 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.rttraceviewer
diff --git a/ide/plugins/rttraceviewer/pom.xml b/ide/plugins/rttraceviewer/pom.xml
index ce8da2e0a2..84800cbf37 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/plugins/uml2.tests/META-INF/MANIFEST.MF b/ide/plugins/uml2.tests/META-INF/MANIFEST.MF
index 131559b39f..e9153e08fd 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.plugins.uml2.tests
diff --git a/ide/plugins/uml2.tests/pom.xml b/ide/plugins/uml2.tests/pom.xml
index 0ed2fa0e8e..7ef312e7e3 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/plugins/uml2/META-INF/MANIFEST.MF b/ide/plugins/uml2/META-INF/MANIFEST.MF
index 4581573a85..12b9f8c692 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Name: UML2 Translator
 Bundle-ManifestVersion: 2
diff --git a/ide/plugins/uml2/pom.xml b/ide/plugins/uml2/pom.xml
index 7466edc8d4..f7b987dbb2 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/pom.xml b/ide/pom.xml
index b60e9f1d4b..faae3def34 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool</groupId>
     <artifactId>root</artifactId>
-    <version>2.4.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 <packaging>pom</packaging>
diff --git a/ide/product/overture.product b/ide/product/overture.product
index 6ef0e7724d..d458e11f3f 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.7.qualifier" useFeatures="true" includeLaunchers="true">
+<product name="Overture Tools" uid="org.overture.ide.platform.product" id="org.overture.ide.platform.product" application="org.eclipse.ui.ide.workbench" version="2.4.8" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/icons/ctool128/overture_misc.png"/>
diff --git a/ide/product/pom.xml b/ide/product/pom.xml
index 9a179b2fc0..018d2acafb 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.7-SNAPSHOT</version>
+		<version>2.4.8</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/ui.tests/pom.xml b/ide/ui.tests/pom.xml
index 930ee3e10f..cd1af93d0a 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/ui/META-INF/MANIFEST.MF b/ide/ui/META-INF/MANIFEST.MF
index 1dfab62262..36db5e95ee 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.ui
diff --git a/ide/ui/pom.xml b/ide/ui/pom.xml
index 392265e46a..e2f5cce412 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/core/META-INF/MANIFEST.MF b/ide/vdmpp/core/META-INF/MANIFEST.MF
index 69166cddff..816f8a615e 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.core
diff --git a/ide/vdmpp/core/pom.xml b/ide/vdmpp/core/pom.xml
index a2fbc5a5e5..225d26cc20 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/debug/META-INF/MANIFEST.MF b/ide/vdmpp/debug/META-INF/MANIFEST.MF
index 3e8c074eb3..9bb91f78ab 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.debug
diff --git a/ide/vdmpp/debug/pom.xml b/ide/vdmpp/debug/pom.xml
index bb53f1d804..c6a6f31c51 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/pom.xml b/ide/vdmpp/pom.xml
index bc1607a10a..81a945c78e 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmpp/ui/META-INF/MANIFEST.MF b/ide/vdmpp/ui/META-INF/MANIFEST.MF
index a7a3546b50..ad819f1c8f 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmpp.ui
diff --git a/ide/vdmpp/ui/pom.xml b/ide/vdmpp/ui/pom.xml
index 01c73b9a66..ef972d534c 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/core/META-INF/MANIFEST.MF b/ide/vdmrt/core/META-INF/MANIFEST.MF
index 3d5c7faffb..1fa1901df6 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.core
diff --git a/ide/vdmrt/core/pom.xml b/ide/vdmrt/core/pom.xml
index 446ac8b4ee..49446bebd1 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/debug/META-INF/MANIFEST.MF b/ide/vdmrt/debug/META-INF/MANIFEST.MF
index c0b3f84a61..e0d0e4684c 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.debug
diff --git a/ide/vdmrt/debug/pom.xml b/ide/vdmrt/debug/pom.xml
index 1cd51511ab..a87cffaaf7 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/pom.xml b/ide/vdmrt/pom.xml
index 528393bf86..0c446d9706 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmrt/ui/META-INF/MANIFEST.MF b/ide/vdmrt/ui/META-INF/MANIFEST.MF
index 50080d842b..0b9430b646 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmrt.ui
diff --git a/ide/vdmrt/ui/pom.xml b/ide/vdmrt/ui/pom.xml
index 107456bb67..a7dea1b43b 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/core/META-INF/MANIFEST.MF b/ide/vdmsl/core/META-INF/MANIFEST.MF
index f16b44f256..4296478f5e 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.core
diff --git a/ide/vdmsl/core/pom.xml b/ide/vdmsl/core/pom.xml
index 47077eade9..9b7f72126f 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/debug/META-INF/MANIFEST.MF b/ide/vdmsl/debug/META-INF/MANIFEST.MF
index 884d206978..5374d033c5 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.debug
diff --git a/ide/vdmsl/debug/pom.xml b/ide/vdmsl/debug/pom.xml
index 0113aa54e7..ff1b7487a4 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/pom.xml b/ide/vdmsl/pom.xml
index 1ff8fef1e8..48bc62bd23 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/ide/vdmsl/ui/META-INF/MANIFEST.MF b/ide/vdmsl/ui/META-INF/MANIFEST.MF
index 31f451d52c..635a4d228b 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.7.qualifier
+Bundle-Version: 2.4.8
 Eclipse-BuddyPolicy: registered
 Bundle-Localization: plugin
 Bundle-Name: org.overture.ide.vdmsl.ui
diff --git a/ide/vdmsl/ui/pom.xml b/ide/vdmsl/ui/pom.xml
index 42dca0d211..09ae7b27f4 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.7-SNAPSHOT</version>
+    <version>2.4.8</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/pom.xml b/pom.xml
index 55bfa719fb..f13fb2e7c4 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
   <groupId>org.overturetool</groupId>
   <artifactId>root</artifactId>
 
-  <version>2.4.7-SNAPSHOT</version>
+  <version>2.4.8</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.4.8</tag>
   </scm>
 
   <developers>