From bdecc491e87277f92c87b3973c56b745d1729340 Mon Sep 17 00:00:00 2001
From: "Jenkins build.overture.au.dk" <jenkins@build.overture.au.dk>
Date: Mon, 11 Sep 2017 13:27:54 +0200
Subject: [PATCH] [maven-release-plugin] prepare release Release/0.1.12

Bump ide/ to version 0.1.12
---
 c/pom.xml                     | 2 +-
 c/vdmclib/pom.xml             | 2 +-
 core/pom.xml                  | 2 +-
 core/vdm2c/pom.xml            | 2 +-
 ide/cgen/META-INF/MANIFEST.MF | 2 +-
 ide/cgen/pom.xml              | 2 +-
 ide/features/cgen/feature.xml | 2 +-
 ide/features/cgen/pom.xml     | 2 +-
 ide/features/pom.xml          | 2 +-
 ide/pom.xml                   | 2 +-
 ide/repository/pom.xml        | 2 +-
 pom.xml                       | 4 ++--
 12 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/c/pom.xml b/c/pom.xml
index e476e3de..c2629e90 100644
--- a/c/pom.xml
+++ b/c/pom.xml
@@ -4,7 +4,7 @@
   <parent>
     <groupId>org.overturetool.vdm2c</groupId>
     <artifactId>root</artifactId>
-    <version>0.1.11-SNAPSHOT</version>
+    <version>0.1.12</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml
index 310da373..7a0371c3 100644
--- a/c/vdmclib/pom.xml
+++ b/c/vdmclib/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.vdm2c</groupId>
 		<artifactId>c</artifactId>
-		<version>0.1.11-SNAPSHOT</version>
+		<version>0.1.12</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/core/pom.xml b/core/pom.xml
index 489275e8..cc3296ca 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -4,7 +4,7 @@
   <parent>
 		<groupId>org.overturetool.vdm2c</groupId>
 		<artifactId>root</artifactId>
-     <version>0.1.11-SNAPSHOT</version>
+     <version>0.1.12</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
 
diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml
index 4d24e511..22a2bb3c 100644
--- a/core/vdm2c/pom.xml
+++ b/core/vdm2c/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.vdm2c</groupId>
 		<artifactId>core</artifactId>
-		<version>0.1.11-SNAPSHOT</version>
+		<version>0.1.12</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF
index 7eb68559..8fbf1fde 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.11.qualifier
+Bundle-Version: 0.1.12
 Eclipse-BuddyPolicy: registered
 Bundle-Name: C Code Generator
 Bundle-ManifestVersion: 2
diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml
index 0ea62263..3451768f 100644
--- a/ide/cgen/pom.xml
+++ b/ide/cgen/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.vdm2c</groupId>
     <artifactId>ide</artifactId>
-		 <version>0.1.11-SNAPSHOT</version>
+		 <version>0.1.12</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 
diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml
index bbb150f8..6ce05b7a 100644
--- a/ide/features/cgen/feature.xml
+++ b/ide/features/cgen/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.overturetool.vdm2c.ide.features.cgen"
       label="VDM 2 C Code Generator"
-      version="0.1.11.qualifier">
+      version="0.1.12">
 
    <description>
       %description
diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml
index 49c2ca1c..8fcbb560 100644
--- a/ide/features/cgen/pom.xml
+++ b/ide/features/cgen/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.vdm2c.ide</groupId>
 		<artifactId>org.overturetool.vdm2c.ide.features</artifactId>
-		<version>0.1.11-SNAPSHOT</version>
+		<version>0.1.12</version>
 		<relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/features/pom.xml b/ide/features/pom.xml
index 9164d12d..7b50cf8a 100644
--- a/ide/features/pom.xml
+++ b/ide/features/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.overturetool.vdm2c</groupId>
     <artifactId>ide</artifactId>
-     <version>0.1.11-SNAPSHOT</version>
+     <version>0.1.12</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/ide/pom.xml b/ide/pom.xml
index 889b3b8d..9ccd0928 100644
--- a/ide/pom.xml
+++ b/ide/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>org.overturetool.vdm2c</groupId>
 		<artifactId>root</artifactId>
-		<version>0.1.11-SNAPSHOT</version>
+		<version>0.1.12</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 <packaging>pom</packaging>
diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml
index bba47891..6f0c3f45 100644
--- a/ide/repository/pom.xml
+++ b/ide/repository/pom.xml
@@ -5,7 +5,7 @@
   <parent>
    <groupId>org.overturetool.vdm2c</groupId>
     <artifactId>ide</artifactId>
-     <version>0.1.11-SNAPSHOT</version>
+     <version>0.1.12</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   
diff --git a/pom.xml b/pom.xml
index 2822390f..9eb12c0b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
 	<artifactId>root</artifactId>
 	<packaging>pom</packaging>
 	<name>Overture VDM 2 C Translator Root</name>
-	<version>0.1.11-SNAPSHOT</version>
+	<version>0.1.12</version>
 
 	<properties>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
@@ -401,7 +401,7 @@ http://mojo.codehaus.org/versions-maven-plugin/
 		<url>git@github.com:overturetool/vdm2c.git</url>
 		<connection>scm:git:git://github.com/overturetool/vdm2c.git</connection>
 		<developerConnection>scm:git:git@github.com:overturetool/vdm2c.git</developerConnection>
-		<tag>HEAD</tag>
+		<tag>Release/0.1.12</tag>
 	</scm>
 
 	<developers>