diff --git a/c/pom.xml b/c/pom.xml
index 3695aeea..8735af0c 100644
--- a/c/pom.xml
+++ b/c/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml
index 8f2b0a8b..328dcca0 100644
--- a/c/vdmclib/pom.xml
+++ b/c/vdmclib/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
c
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/core/pom.xml b/core/pom.xml
index f0a28039..f8a92a19 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
org.overturetool.vdm2c
root
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml
index f8ed462c..3d43c6ac 100644
--- a/core/vdm2c/pom.xml
+++ b/core/vdm2c/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
core
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF
index 37d9efef..ff12bdba 100644
--- a/ide/cgen/META-INF/MANIFEST.MF
+++ b/ide/cgen/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
Manifest-Version: 1.0
Bundle-Vendor: Overture
Bundle-ActivationPolicy: lazy
-Bundle-Version: 0.1.13.qualifier
+Bundle-Version: 0.1.14
Eclipse-BuddyPolicy: registered
Bundle-Name: C Code Generator
Bundle-ManifestVersion: 2
diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml
index 837ed881..e75029b9 100644
--- a/ide/cgen/pom.xml
+++ b/ide/cgen/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml
index 01dee9df..2d9f801d 100644
--- a/ide/features/cgen/feature.xml
+++ b/ide/features/cgen/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.14">
%description
diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml
index db416133..c3337ea9 100644
--- a/ide/features/cgen/pom.xml
+++ b/ide/features/cgen/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c.ide
org.overturetool.vdm2c.ide.features
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index 4fab0cec..6229724d 100644
--- a/ide/features/pom.xml
+++ b/ide/features/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/ide/pom.xml b/ide/pom.xml
index 3f27c157..0a23caee 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
root
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
pom
diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml
index b4e60b20..7741f4a8 100644
--- a/ide/repository/pom.xml
+++ b/ide/repository/pom.xml
@@ -5,7 +5,7 @@
org.overturetool.vdm2c
ide
- 0.1.13-SNAPSHOT
+ 0.1.14
../pom.xml
diff --git a/pom.xml b/pom.xml
index 0812cfaa..d7b9a2c2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
root
pom
Overture VDM 2 C Translator Root
- 0.1.13-SNAPSHOT
+ 0.1.14
UTF-8
@@ -401,7 +401,7 @@ http://mojo.codehaus.org/versions-maven-plugin/
git@github.com:overturetool/vdm2c.git
scm:git:git://github.com/overturetool/vdm2c.git
scm:git:git@github.com:overturetool/vdm2c.git
- HEAD
+ Release/0.1.14