diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
index f1c2f4babcc..0361570417a 100644
--- a/trunk/source/ACSLParser/META-INF/MANIFEST.MF
+++ b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ACSLParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.acsl.parser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.acsl.parser,
  de.uni_freiburg.informatik.ultimate.model.acsl,
diff --git a/trunk/source/ACSLParser/pom.xml b/trunk/source/ACSLParser/pom.xml
index 13d02dea99f..1207e14774e 100644
--- a/trunk/source/ACSLParser/pom.xml
+++ b/trunk/source/ACSLParser/pom.xml
@@ -32,7 +32,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF
index 2e494fbfdb2..32ac179d469 100644
--- a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF
+++ b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: ASTBuilder
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.astbuilder
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: com.github.jhoenicke.javacup
 Export-Package: de.uni_freiburg.informatik.ultimate.astbuilder
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/trunk/source/ASTBuilder/pom.xml b/trunk/source/ASTBuilder/pom.xml
index ff518606cee..1e0d957a0dd 100644
--- a/trunk/source/ASTBuilder/pom.xml
+++ b/trunk/source/ASTBuilder/pom.xml
@@ -35,7 +35,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate</relativePath>
 	</parent>
   
diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
index 1cbc3872041..9278dc6ea68 100644
--- a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
+++ b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AbstractInterpretation
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/AbstractInterpretationV2/pom.xml b/trunk/source/AbstractInterpretationV2/pom.xml
index 9efb76b7743..4f2b1136723 100644
--- a/trunk/source/AbstractInterpretationV2/pom.xml
+++ b/trunk/source/AbstractInterpretationV2/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
index 6dfa7acd94f..38c2b5c799f 100644
--- a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
+++ b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AbstractInterpretationV2Test
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/AbstractInterpretationV2Test/pom.xml b/trunk/source/AbstractInterpretationV2Test/pom.xml
index 66bc028abc5..9dca2976d81 100644
--- a/trunk/source/AbstractInterpretationV2Test/pom.xml
+++ b/trunk/source/AbstractInterpretationV2Test/pom.xml
@@ -35,7 +35,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
index b3547288aca..515046755ed 100644
--- a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
+++ b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AutomataScriptInterpreter
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.automata,
diff --git a/trunk/source/AutomataScriptInterpreter/pom.xml b/trunk/source/AutomataScriptInterpreter/pom.xml
index 241aad97c5e..37aa26258b5 100644
--- a/trunk/source/AutomataScriptInterpreter/pom.xml
+++ b/trunk/source/AutomataScriptInterpreter/pom.xml
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
index b87d28f6816..f7bb45b5b03 100644
--- a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
+++ b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: AutomataScriptParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.ultimatemodel,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/AutomataScriptParser/pom.xml b/trunk/source/AutomataScriptParser/pom.xml
index 62c93669f0b..936974226a5 100644
--- a/trunk/source/AutomataScriptParser/pom.xml
+++ b/trunk/source/AutomataScriptParser/pom.xml
@@ -30,13 +30,13 @@
    	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent> 
   
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
   
   <build>
diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
index d2609e7661f..3f969193d05 100644
--- a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
+++ b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Automaton Delta Debugger
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/AutomatonDeltaDebugger/pom.xml b/trunk/source/AutomatonDeltaDebugger/pom.xml
index cfe45be708e..195d43c62ad 100644
--- a/trunk/source/AutomatonDeltaDebugger/pom.xml
+++ b/trunk/source/AutomatonDeltaDebugger/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
index b708594e4b0..0aaab263adf 100644
--- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureDependenciesCommandlineE4"
       label="BA_FeatureDependenciesCommandlineE4"
-      version="0.1.15">
+      version="0.1.16">
 
    <description url="http://www.example.com/description">
       [Enter Feature Description here.]
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
index 824856cc292..2c3974ca728 100644
--- a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
+++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
@@ -4,11 +4,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesCommandlineE4</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-feature</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
index 6f0cc1a7306..83fe87229cb 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureDependenciesDebugE4"
       label="BA_FeatureDependenciesDebugE4"
-      version="0.1.15">
+      version="0.1.16">
 
    <description url="http://www.example.com/description">
       [Enter Feature Description here.]
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
index 19d1c76b5de..ce0ec24494c 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
@@ -4,11 +4,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesDebugE4</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-feature</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
index 2bdf54ad6f2..1399e467715 100644
--- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateCommandLine"
       label="BA_FeatureUltimateCommandLine"
-      version="0.1.15">
+      version="0.1.16">
 
    <requires>
       <import plugin="de.uni_freiburg.informatik.ultimate.lib.core"/>
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
index bd6037420da..1da7bf0a66e 100644
--- a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
+++ b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml
index a021357a618..2a5f179134c 100644
--- a/trunk/source/BA_FeatureUltimateCommon/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommon/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateCommon"
       label="BA_FeatureUltimateCommon"
-      version="0.1.15"
+      version="0.1.16"
       os="linux,win32,macosx"
       arch="x86,x86_64">
 
diff --git a/trunk/source/BA_FeatureUltimateCommon/pom.xml b/trunk/source/BA_FeatureUltimateCommon/pom.xml
index 2966eeb06fe..2a54d8a267a 100644
--- a/trunk/source/BA_FeatureUltimateCommon/pom.xml
+++ b/trunk/source/BA_FeatureUltimateCommon/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml
index fdb14913ad8..080cd4d1c4b 100644
--- a/trunk/source/BA_FeatureUltimateDebug/feature.xml
+++ b/trunk/source/BA_FeatureUltimateDebug/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateDebug"
       label="BA_FeatureUltimateDebug"
-      version="0.1.15"
+      version="0.1.16"
       os="linux,win32,macosx"
       arch="x86,x86_64">
 
diff --git a/trunk/source/BA_FeatureUltimateDebug/pom.xml b/trunk/source/BA_FeatureUltimateDebug/pom.xml
index 23bb2b88d4b..a49fe99d028 100644
--- a/trunk/source/BA_FeatureUltimateDebug/pom.xml
+++ b/trunk/source/BA_FeatureUltimateDebug/pom.xml
@@ -6,7 +6,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
index 4c46b31557b..e6ab31ad578 100644
--- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
+++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="BA_FeatureUltimateDeltaDebugger"
       label="BA_FeatureUltimateDeltaDebugger"
-      version="0.1.15">
+      version="0.1.16">
 
    <requires>
       <import plugin="de.uni_freiburg.informatik.ultimate.lib.core"/>
diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
index fa80fd16127..6637367da17 100644
--- a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
+++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml
index 1182abe855d..1694feab4d1 100644
--- a/trunk/source/BA_MavenParentUltimate/pom.xml
+++ b/trunk/source/BA_MavenParentUltimate/pom.xml
@@ -3,7 +3,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>mavenparent</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>pom</packaging>
 
 	<name>Ultimate</name>
@@ -15,7 +15,7 @@
 	</scm>
 
 	<properties>
-		<ultimate-version>0.1.15</ultimate-version>
+		<ultimate-version>0.1.16</ultimate-version>
 	
 		<!-- maven plugin versions -->
 		<tycho-version>1.0.0</tycho-version>
diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product
index c3ab1d913db..a6b375b8fa2 100644
--- a/trunk/source/BA_SiteRepository/CLI-E4.product
+++ b/trunk/source/BA_SiteRepository/CLI-E4.product
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="Ultimate-CommandLine" uid="CLI-E4" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.15" useFeatures="true" includeLaunchers="true">
+<product name="Ultimate-CommandLine" uid="CLI-E4" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.16" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.15"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.15"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.15"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.16"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.16"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.16"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product
index 884762cec43..dc1754485d6 100644
--- a/trunk/source/BA_SiteRepository/Debug-E4.product
+++ b/trunk/source/BA_SiteRepository/Debug-E4.product
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="Ultimate-Debug" uid="Debug-E4" id="de.uni_freiburg.informatik.ultimate.core.Debug" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.15" useFeatures="true" includeLaunchers="true">
+<product name="Ultimate-Debug" uid="Debug-E4" id="de.uni_freiburg.informatik.ultimate.core.Debug" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.16" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/CoreRCP/icons/about.gif"/>
@@ -42,9 +42,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateDebug" version="0.1.15"/>
-      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.15"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.15"/>
+      <feature id="BA_FeatureUltimateDebug" version="0.1.16"/>
+      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.16"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.16"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product
index d55ca592f33..7316a7b7298 100644
--- a/trunk/source/BA_SiteRepository/DeltaDebugger.product
+++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="Ultimate-DeltaDebugger" uid="DeltaDebugger" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.15" useFeatures="true" includeLaunchers="true">
+<product name="Ultimate-DeltaDebugger" uid="DeltaDebugger" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.16" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.15"/>
-      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.15"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.15"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.16"/>
+      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.16"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.16"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
index 937eb013542..e57c8f81c60 100644
--- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product
+++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <?pde version="3.5"?>
 
-<product name="ReqAnalyzer" uid="ReqAnalyzer" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.15" useFeatures="true" includeLaunchers="true">
+<product name="ReqAnalyzer" uid="ReqAnalyzer" id="de.uni_freiburg.informatik.ultimate.core.CLI" application="de.uni_freiburg.informatik.ultimate.core.CoreRCP" version="0.1.16" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="icons/about.gif"/>
@@ -48,9 +48,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.15"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.15"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.15"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.16"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.16"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.16"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml
index a007d58a7e6..8f23cc1cc42 100644
--- a/trunk/source/BA_SiteRepository/pom.xml
+++ b/trunk/source/BA_SiteRepository/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 		<artifactId>mavenparent</artifactId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF
index 373fe5bf0e7..3bf8678aabe 100644
--- a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF
+++ b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BlockEncoding
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BlockEncoding/pom.xml b/trunk/source/BlockEncoding/pom.xml
index f3020565ccd..94c9d2b14dd 100644
--- a/trunk/source/BlockEncoding/pom.xml
+++ b/trunk/source/BlockEncoding/pom.xml
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF
index 8565612dae6..50c01a992e2 100644
--- a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF
+++ b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BlockEncodingV2
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.blockencoding;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.blockencoding.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BlockEncodingV2/pom.xml b/trunk/source/BlockEncodingV2/pom.xml
index c42b3b0e5e2..f22a2ff1861 100644
--- a/trunk/source/BlockEncodingV2/pom.xml
+++ b/trunk/source/BlockEncodingV2/pom.xml
@@ -23,12 +23,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.blockencoding</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF
index 4a5acda10f9..2edbc4fe51d 100644
--- a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Boogie Modifies Set Annotator
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BoogieModSetAnnotator/pom.xml b/trunk/source/BoogieModSetAnnotator/pom.xml
index e0278f68bfc..5356ebfd334 100644
--- a/trunk/source/BoogieModSetAnnotator/pom.xml
+++ b/trunk/source/BoogieModSetAnnotator/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF
index 92737ad1a38..e07c520620c 100644
--- a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BoogieParser Plug-in
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.parser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Vendor: Ultimate@Uni
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/BoogiePLParser/pom.xml b/trunk/source/BoogiePLParser/pom.xml
index 134d1e1bbaa..2bc39249af2 100644
--- a/trunk/source/BoogiePLParser/pom.xml
+++ b/trunk/source/BoogiePLParser/pom.xml
@@ -32,13 +32,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.parser</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF
index dcd072d88fb..89019cfe600 100644
--- a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Boogie Preprocessor
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.preprocessor;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.boogie.preprocessor.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BoogiePreprocessor/pom.xml b/trunk/source/BoogiePreprocessor/pom.xml
index 4950aac48dd..cfbb4058d78 100644
--- a/trunk/source/BoogiePreprocessor/pom.xml
+++ b/trunk/source/BoogiePreprocessor/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.preprocessor</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF
index 0c6524d6682..3c47e1c2e42 100644
--- a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BoogiePreprocessorTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.boogie.preprocessor
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit
diff --git a/trunk/source/BoogiePreprocessorTest/pom.xml b/trunk/source/BoogiePreprocessorTest/pom.xml
index 340c2e74196..02e88559f05 100644
--- a/trunk/source/BoogiePreprocessorTest/pom.xml
+++ b/trunk/source/BoogiePreprocessorTest/pom.xml
@@ -28,13 +28,13 @@
 	xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
 	<modelVersion>4.0.0</modelVersion>
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF
index 6384a90e462..4f06256f0e8 100644
--- a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BoogiePrinter Plug-in
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.printer;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.boogieast,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/BoogiePrinter/pom.xml b/trunk/source/BoogiePrinter/pom.xml
index 19e1a40fe32..f76afd18c09 100644
--- a/trunk/source/BoogiePrinter/pom.xml
+++ b/trunk/source/BoogiePrinter/pom.xml
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.boogie.printer</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF
index 1da27377b20..b99df76c843 100644
--- a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF
+++ b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BoogieProcedureInliner
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BoogieProcedureInliner/pom.xml b/trunk/source/BoogieProcedureInliner/pom.xml
index 9cc1a0eae03..389f48870bc 100644
--- a/trunk/source/BoogieProcedureInliner/pom.xml
+++ b/trunk/source/BoogieProcedureInliner/pom.xml
@@ -32,11 +32,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.procedureinliner</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF
index 1f895fb55db..dc53e7bf8c1 100644
--- a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF
+++ b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BuchiAutomizer
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
diff --git a/trunk/source/BuchiAutomizer/pom.xml b/trunk/source/BuchiAutomizer/pom.xml
index d3151d496fd..e7c06634c34 100644
--- a/trunk/source/BuchiAutomizer/pom.xml
+++ b/trunk/source/BuchiAutomizer/pom.xml
@@ -28,13 +28,13 @@
   <modelVersion>4.0.0</modelVersion>
 
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
   
   <parent>
   	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
   	<artifactId>mavenparent</artifactId>
-  	<version>0.1.15</version>
+  	<version>0.1.16</version>
   	<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
   </parent>
 </project>
diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF
index 3379d411801..d0076736215 100644
--- a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF
+++ b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BuchiProgramProduct
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.buchiprogramproduct;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.buchiprogramproduct.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/BuchiProgramProduct/pom.xml b/trunk/source/BuchiProgramProduct/pom.xml
index 6ec5c834023..4e3bb16b2c9 100644
--- a/trunk/source/BuchiProgramProduct/pom.xml
+++ b/trunk/source/BuchiProgramProduct/pom.xml
@@ -32,12 +32,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.buchiprogramproduct</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF
index f362a639e59..0b9c25cd71f 100644
--- a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF
+++ b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: CACSL2BoogieTranslator
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.boogieast,
diff --git a/trunk/source/CACSL2BoogieTranslator/pom.xml b/trunk/source/CACSL2BoogieTranslator/pom.xml
index 4d901e66189..8c872d386c4 100644
--- a/trunk/source/CACSL2BoogieTranslator/pom.xml
+++ b/trunk/source/CACSL2BoogieTranslator/pom.xml
@@ -31,7 +31,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF
index 5345235125e..57d22783a35 100644
--- a/trunk/source/CDTParser/META-INF/MANIFEST.MF
+++ b/trunk/source/CDTParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: CDTParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cdt.parser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  org.eclipse.cdt.core;bundle-version="5.6.0"
diff --git a/trunk/source/CDTParser/pom.xml b/trunk/source/CDTParser/pom.xml
index 8c61fbfb295..9dc19e4832e 100644
--- a/trunk/source/CDTParser/pom.xml
+++ b/trunk/source/CDTParser/pom.xml
@@ -31,7 +31,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF
index 15fc5e3a9e6..3ee5e9a4822 100644
--- a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF
+++ b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: CDTPlugin
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cdt;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.cdt.Activator
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/trunk/source/CDTPlugin/pom.xml b/trunk/source/CDTPlugin/pom.xml
index 8aa6930af91..ddfd5f029a2 100644
--- a/trunk/source/CDTPlugin/pom.xml
+++ b/trunk/source/CDTPlugin/pom.xml
@@ -31,7 +31,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF
index 47a437d4bf3..d817ff8423a 100644
--- a/trunk/source/CodeCheck/META-INF/MANIFEST.MF
+++ b/trunk/source/CodeCheck/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: CodeCheck
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/CodeCheck/pom.xml b/trunk/source/CodeCheck/pom.xml
index 6e7f089e186..9396c75119a 100644
--- a/trunk/source/CodeCheck/pom.xml
+++ b/trunk/source/CodeCheck/pom.xml
@@ -32,11 +32,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF
index c55f822e375..411283db2c4 100644
--- a/trunk/source/CoreRCP/META-INF/MANIFEST.MF
+++ b/trunk/source/CoreRCP/META-INF/MANIFEST.MF
@@ -3,7 +3,7 @@ Eclipse-BuddyPolicy: dependent
 Bundle-ManifestVersion: 2
 Bundle-Name: CoreRCP Plug-in
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.core;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.core.coreplugin.Activator
 Require-Bundle: org.eclipse.core.runtime;visibility:=reexport,
  de.uni_freiburg.informatik.ultimate.lib.core;visibility:=reexport,
diff --git a/trunk/source/CoreRCP/pom.xml b/trunk/source/CoreRCP/pom.xml
index 496369e2d72..6fb8c9a6ec0 100644
--- a/trunk/source/CoreRCP/pom.xml
+++ b/trunk/source/CoreRCP/pom.xml
@@ -32,12 +32,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.core</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF
index 9c9f4e87bc6..857d2317a67 100644
--- a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF
+++ b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: CoreRCPTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.core.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-ActivationPolicy: lazy
 Fragment-Host: de.uni_freiburg.informatik.ultimate.core
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/trunk/source/CoreRCPTest/pom.xml b/trunk/source/CoreRCPTest/pom.xml
index 7aa33d74bd4..4fa9e2e5aaf 100644
--- a/trunk/source/CoreRCPTest/pom.xml
+++ b/trunk/source/CoreRCPTest/pom.xml
@@ -3,13 +3,13 @@
 	<modelVersion>4.0.0</modelVersion>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.core.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF
index 04b9a045803..dec2235e764 100644
--- a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF
+++ b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: GUIGeneratedPreferencePages
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui.preferencepages;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.gui.preferencepages
 Require-Bundle: org.eclipse.ui;visibility:=reexport,
diff --git a/trunk/source/GUIGeneratedPreferencePages/pom.xml b/trunk/source/GUIGeneratedPreferencePages/pom.xml
index 0f58d044248..a85c4a91f67 100644
--- a/trunk/source/GUIGeneratedPreferencePages/pom.xml
+++ b/trunk/source/GUIGeneratedPreferencePages/pom.xml
@@ -31,11 +31,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.preferencepages</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF
index 44697aa20d6..d0de5cff280 100644
--- a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF
+++ b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: GUILoggingWindow
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui.logging;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/GUILoggingWindow/pom.xml b/trunk/source/GUILoggingWindow/pom.xml
index d0d0741382e..80b46286aa0 100644
--- a/trunk/source/GUILoggingWindow/pom.xml
+++ b/trunk/source/GUILoggingWindow/pom.xml
@@ -31,11 +31,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.logging</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF
index 6b63544ad3b..30f8c993aed 100644
--- a/trunk/source/GuiRCP/META-INF/MANIFEST.MF
+++ b/trunk/source/GuiRCP/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: GuiRCP Plug-in
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: 
  org.eclipse.ui;visibility:=reexport,
  de.uni_freiburg.informatik.ultimate.lib.ultimatemodel,
diff --git a/trunk/source/GuiRCP/pom.xml b/trunk/source/GuiRCP/pom.xml
index 5c486c2a635..95ac14ba802 100644
--- a/trunk/source/GuiRCP/pom.xml
+++ b/trunk/source/GuiRCP/pom.xml
@@ -31,11 +31,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/HeapSeparator/META-INF/MANIFEST.MF b/trunk/source/HeapSeparator/META-INF/MANIFEST.MF
index cc905011b85..75e07ff8ab9 100644
--- a/trunk/source/HeapSeparator/META-INF/MANIFEST.MF
+++ b/trunk/source/HeapSeparator/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: HeapSeparator
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.heapseparator;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.heapseparator.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/HeapSeparator/pom.xml b/trunk/source/HeapSeparator/pom.xml
index 1786537c5f2..c05a6967bf7 100644
--- a/trunk/source/HeapSeparator/pom.xml
+++ b/trunk/source/HeapSeparator/pom.xml
@@ -32,12 +32,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.heapseparator</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF
index 07a3b73805e..650aa0da3c8 100644
--- a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF
+++ b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: IRSDependencies
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy
 Export-Package: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies.loopdetector,
diff --git a/trunk/source/IRSDependencies/pom.xml b/trunk/source/IRSDependencies/pom.xml
index 0b8f2808642..6877f42da53 100644
--- a/trunk/source/IRSDependencies/pom.xml
+++ b/trunk/source/IRSDependencies/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF
index d5dc036aaeb..a4af4ba1a8a 100644
--- a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF
+++ b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: IcfgTransformation
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/IcfgTransformation/pom.xml b/trunk/source/IcfgTransformation/pom.xml
index b3a7a0c5cf1..474fa603d60 100644
--- a/trunk/source/IcfgTransformation/pom.xml
+++ b/trunk/source/IcfgTransformation/pom.xml
@@ -23,12 +23,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF
index d193a1659d4..6e0282af316 100644
--- a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF
+++ b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: InvariantSynthesis
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
diff --git a/trunk/source/InvariantSynthesis/pom.xml b/trunk/source/InvariantSynthesis/pom.xml
index 3f972f27a42..358a1f6da18 100644
--- a/trunk/source/InvariantSynthesis/pom.xml
+++ b/trunk/source/InvariantSynthesis/pom.xml
@@ -30,13 +30,13 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml
index 9040aca74d6..59261070b83 100644
--- a/trunk/source/JavaCup/pom.xml
+++ b/trunk/source/JavaCup/pom.xml
@@ -4,7 +4,7 @@
    	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent> 
   
diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF
index 35723d9da24..c82b96da7ff 100644
--- a/trunk/source/JungVisualization/META-INF/MANIFEST.MF
+++ b/trunk/source/JungVisualization/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Jung Visualization Plug-in
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  edu.uci.ics.jung,
  org.apache.batik,
diff --git a/trunk/source/JungVisualization/pom.xml b/trunk/source/JungVisualization/pom.xml
index 7b34b8ceaa5..3b3dfc4e394 100644
--- a/trunk/source/JungVisualization/pom.xml
+++ b/trunk/source/JungVisualization/pom.xml
@@ -33,7 +33,7 @@
   <parent>
   	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
   	<artifactId>mavenparent</artifactId>
-  	<version>0.1.15</version>
+  	<version>0.1.16</version>
   	<relativePath>../BA_MavenParentUltimate</relativePath>
   </parent>
 </project>
diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF
index 1ea43295421..5e661f295cb 100644
--- a/trunk/source/LTL2aut/META-INF/MANIFEST.MF
+++ b/trunk/source/LTL2aut/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: LTL2aut
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.ltl2aut.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/LTL2aut/pom.xml b/trunk/source/LTL2aut/pom.xml
index 20b1275e0d4..a9236293343 100644
--- a/trunk/source/LTL2aut/pom.xml
+++ b/trunk/source/LTL2aut/pom.xml
@@ -32,14 +32,14 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.ltl2aut</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF
index c53072fd463..e31c231e0e3 100644
--- a/trunk/source/LassoRanker/META-INF/MANIFEST.MF
+++ b/trunk/source/LassoRanker/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: LassoRanker
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/LassoRanker/pom.xml b/trunk/source/LassoRanker/pom.xml
index d5fbe04fd76..ce9ab30c631 100644
--- a/trunk/source/LassoRanker/pom.xml
+++ b/trunk/source/LassoRanker/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml
index a6a01811bd8..ada16adef89 100644
--- a/trunk/source/Library-ApacheCommonsCLI/pom.xml
+++ b/trunk/source/Library-ApacheCommonsCLI/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml
index ea484378343..037bb59bfdc 100644
--- a/trunk/source/Library-ApacheCommonsLang/pom.xml
+++ b/trunk/source/Library-ApacheCommonsLang/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-Automata/META-INF/MANIFEST.MF b/trunk/source/Library-Automata/META-INF/MANIFEST.MF
index 50d2198ad32..7730b2e2ef6 100644
--- a/trunk/source/Library-Automata/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-Automata/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-Automata
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.automata
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.smtinterpol,
diff --git a/trunk/source/Library-Automata/pom.xml b/trunk/source/Library-Automata/pom.xml
index 768e149d733..75fa520227b 100644
--- a/trunk/source/Library-Automata/pom.xml
+++ b/trunk/source/Library-Automata/pom.xml
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF
index 551d3aa1945..e83195fa9ab 100644
--- a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-AutomataTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.automata.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.automata
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test,
diff --git a/trunk/source/Library-AutomataTest/pom.xml b/trunk/source/Library-AutomataTest/pom.xml
index bcd26682e13..9ab351d0dff 100644
--- a/trunk/source/Library-AutomataTest/pom.xml
+++ b/trunk/source/Library-AutomataTest/pom.xml
@@ -30,11 +30,11 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata.test</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml
index f42fbcb3e4c..a36c5d9c9b8 100644
--- a/trunk/source/Library-Batik/pom.xml
+++ b/trunk/source/Library-Batik/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF
index 455c5c89f0b..98b67167cac 100644
--- a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-BoogieAST
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.boogieast
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.boogie,
  de.uni_freiburg.informatik.ultimate.boogie.annotation,
diff --git a/trunk/source/Library-BoogieAST/pom.xml b/trunk/source/Library-BoogieAST/pom.xml
index c488f6afae1..dd7dd6c7082 100644
--- a/trunk/source/Library-BoogieAST/pom.xml
+++ b/trunk/source/Library-BoogieAST/pom.xml
@@ -24,12 +24,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.boogieast</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml
index cc77dfaf2a1..5b315f035b3 100644
--- a/trunk/source/Library-CZT/pom.xml
+++ b/trunk/source/Library-CZT/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml
index cf2ff9bb81b..30533414142 100644
--- a/trunk/source/Library-Disruptor/pom.xml
+++ b/trunk/source/Library-Disruptor/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF
index 2cab6286475..8d11bd4d374 100644
--- a/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-IcfgTransformer
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.icfgtransformer
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
  de.uni_freiburg.informatik.ultimate.lib.ultimatemodel,
diff --git a/trunk/source/Library-IcfgTransformer/pom.xml b/trunk/source/Library-IcfgTransformer/pom.xml
index 34eacc61652..75c49ca48cf 100644
--- a/trunk/source/Library-IcfgTransformer/pom.xml
+++ b/trunk/source/Library-IcfgTransformer/pom.xml
@@ -31,11 +31,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.icfgtransformer</artifactId>
 </project>
diff --git a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
index 2bf3d56ba41..36b8392cbfe 100644
--- a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-IcfgTransformerTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.test,
diff --git a/trunk/source/Library-IcfgTransformerTest/pom.xml b/trunk/source/Library-IcfgTransformerTest/pom.xml
index 148c8be37c0..553aa015790 100644
--- a/trunk/source/Library-IcfgTransformerTest/pom.xml
+++ b/trunk/source/Library-IcfgTransformerTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
index e0cb1eeaddf..07d4c28a0b3 100644
--- a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-InteractiveCommon
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.common;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  com.google.protobuf,
diff --git a/trunk/source/Library-InteractiveCommon/pom.xml b/trunk/source/Library-InteractiveCommon/pom.xml
index ca5d1e42db1..89268973d54 100644
--- a/trunk/source/Library-InteractiveCommon/pom.xml
+++ b/trunk/source/Library-InteractiveCommon/pom.xml
@@ -4,12 +4,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate.interactive.common</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.interactive.common</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
index 25f915c7795..b9b27d6fd42 100644
--- a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: InteractiveModel
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
 Export-Package: de.uni_freiburg.informatik.ultimate.interactive,
diff --git a/trunk/source/Library-InteractiveModel/pom.xml b/trunk/source/Library-InteractiveModel/pom.xml
index fbc6a39c74a..5d1538e4bcd 100644
--- a/trunk/source/Library-InteractiveModel/pom.xml
+++ b/trunk/source/Library-InteractiveModel/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate.interactive</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.interactive</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
index bfb1712fd24..18f080d8343 100644
--- a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-InteractiveTA
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.traceabstraction;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/Library-InteractiveTA/pom.xml b/trunk/source/Library-InteractiveTA/pom.xml
index 0adb1927b88..24cade0272b 100644
--- a/trunk/source/Library-InteractiveTA/pom.xml
+++ b/trunk/source/Library-InteractiveTA/pom.xml
@@ -4,12 +4,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate.interactive.traceabstraction</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.interactive.traceabstraction</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml
index be8c3ff8c49..d818a7bc662 100644
--- a/trunk/source/Library-JavaBDD/pom.xml
+++ b/trunk/source/Library-JavaBDD/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml
index 4b0aa22eb0d..3122b20fb26 100644
--- a/trunk/source/Library-Jung/pom.xml
+++ b/trunk/source/Library-Jung/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml
index 9b2ea9ecf45..265e0c5655a 100644
--- a/trunk/source/Library-LassoRanker/pom.xml
+++ b/trunk/source/Library-LassoRanker/pom.xml
@@ -31,7 +31,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/Library-Log4j2/pom.xml b/trunk/source/Library-Log4j2/pom.xml
index e433194657c..97cb11565cb 100644
--- a/trunk/source/Library-Log4j2/pom.xml
+++ b/trunk/source/Library-Log4j2/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF
index f7da707fe5a..0a1c5e031d9 100644
--- a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-ModelCheckerUtils
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.absint,
  de.uni_freiburg.informatik.ultimate.modelcheckerutils.boogie,
diff --git a/trunk/source/Library-ModelCheckerUtils/pom.xml b/trunk/source/Library-ModelCheckerUtils/pom.xml
index b280a3fa37e..4ebd6b65cb2 100644
--- a/trunk/source/Library-ModelCheckerUtils/pom.xml
+++ b/trunk/source/Library-ModelCheckerUtils/pom.xml
@@ -31,11 +31,11 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF
index 13d6ec3ee3f..76e00379938 100644
--- a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-ModelCheckerUtilsTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils;bundle-version="0.0.1"
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/Library-ModelCheckerUtilsTest/pom.xml b/trunk/source/Library-ModelCheckerUtilsTest/pom.xml
index f3d84a7ac0e..5cdded34f58 100644
--- a/trunk/source/Library-ModelCheckerUtilsTest/pom.xml
+++ b/trunk/source/Library-ModelCheckerUtilsTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml
index 83745cb1fb0..f96095bf443 100644
--- a/trunk/source/Library-PEA/pom.xml
+++ b/trunk/source/Library-PEA/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-Protobuf/pom.xml b/trunk/source/Library-Protobuf/pom.xml
index cf072df36cb..465d27605f6 100644
--- a/trunk/source/Library-Protobuf/pom.xml
+++ b/trunk/source/Library-Protobuf/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF
index 64e12e14e01..763de81aaa9 100644
--- a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.smtlib
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.smtlib
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.7
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.util
 Export-Package: de.uni_freiburg.informatik.ultimate.logic,
diff --git a/trunk/source/Library-SMTLIB/pom.xml b/trunk/source/Library-SMTLIB/pom.xml
index 0cf144ad959..18abe1e7c9d 100644
--- a/trunk/source/Library-SMTLIB/pom.xml
+++ b/trunk/source/Library-SMTLIB/pom.xml
@@ -4,12 +4,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.smtlib</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF
index fb3f8aa55ed..eacc69d5f80 100644
--- a/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-SMTLIBTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.smtlibTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.smtlib.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.smtlib
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit
diff --git a/trunk/source/Library-SMTLIBTest/pom.xml b/trunk/source/Library-SMTLIBTest/pom.xml
index 9d650717a34..cee04f96606 100644
--- a/trunk/source/Library-SMTLIBTest/pom.xml
+++ b/trunk/source/Library-SMTLIBTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.smtlib.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-Server/META-INF/MANIFEST.MF b/trunk/source/Library-Server/META-INF/MANIFEST.MF
index ad82c89ed45..5945858662d 100644
--- a/trunk/source/Library-Server/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-Server/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Server
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.server
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.interactive
diff --git a/trunk/source/Library-Server/pom.xml b/trunk/source/Library-Server/pom.xml
index 80fab537b0b..81e0a61b617 100644
--- a/trunk/source/Library-Server/pom.xml
+++ b/trunk/source/Library-Server/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate.server</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.server</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF
index 5a9bb056af8..a7d3d0b4c5f 100644
--- a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.core
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.core
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.core.lib.exceptions,
  de.uni_freiburg.informatik.ultimate.core.lib.models,
diff --git a/trunk/source/Library-UltimateCore/pom.xml b/trunk/source/Library-UltimateCore/pom.xml
index f825a45533b..6decc93538e 100644
--- a/trunk/source/Library-UltimateCore/pom.xml
+++ b/trunk/source/Library-UltimateCore/pom.xml
@@ -22,13 +22,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.core</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF
index 18c2e988ccc..fd6bf20b995 100644
--- a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-UltimateModel
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.core.model,
  de.uni_freiburg.informatik.ultimate.core.model.models,
diff --git a/trunk/source/Library-UltimateModel/pom.xml b/trunk/source/Library-UltimateModel/pom.xml
index b58a8114c9d..4dd2111d3a4 100644
--- a/trunk/source/Library-UltimateModel/pom.xml
+++ b/trunk/source/Library-UltimateModel/pom.xml
@@ -31,13 +31,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.ultimatemodel</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF
index 7d06a4ca3b5..384f36f16ec 100644
--- a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.test
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.test,
  de.uni_freiburg.informatik.ultimate.test.benchexec,
diff --git a/trunk/source/Library-UltimateTest/pom.xml b/trunk/source/Library-UltimateTest/pom.xml
index 26e051fb204..e294bda29ea 100644
--- a/trunk/source/Library-UltimateTest/pom.xml
+++ b/trunk/source/Library-UltimateTest/pom.xml
@@ -31,13 +31,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
index beb98d432df..9820fc4ba3c 100644
--- a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.testTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.test.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.test
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit
diff --git a/trunk/source/Library-UltimateTestTest/pom.xml b/trunk/source/Library-UltimateTestTest/pom.xml
index 64e06d4e95b..be3d8eed611 100644
--- a/trunk/source/Library-UltimateTestTest/pom.xml
+++ b/trunk/source/Library-UltimateTestTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.test.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF
index f7bce161461..1794b97a8bc 100644
--- a/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.util
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.util
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
 Export-Package: de.uni_freiburg.informatik.ultimate.util,
diff --git a/trunk/source/Library-UltimateUtil/pom.xml b/trunk/source/Library-UltimateUtil/pom.xml
index fed98dd2b9e..10e81312bb1 100644
--- a/trunk/source/Library-UltimateUtil/pom.xml
+++ b/trunk/source/Library-UltimateUtil/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.util</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF
index 1e374ee4ade..9c7983a0239 100644
--- a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: de.uni_freiburg.informatik.ultimate.lib.utilTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.util.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.util
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit
diff --git a/trunk/source/Library-UltimateUtilTest/pom.xml b/trunk/source/Library-UltimateUtilTest/pom.xml
index 32c7f86edbb..a7ad12f42c5 100644
--- a/trunk/source/Library-UltimateUtilTest/pom.xml
+++ b/trunk/source/Library-UltimateUtilTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.util.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-jdom/pom.xml b/trunk/source/Library-jdom/pom.xml
index 63bf26b7974..7cfe700a621 100644
--- a/trunk/source/Library-jdom/pom.xml
+++ b/trunk/source/Library-jdom/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-log4j/pom.xml b/trunk/source/Library-log4j/pom.xml
index fa8ee4626b8..8f4f15ffbcd 100644
--- a/trunk/source/Library-log4j/pom.xml
+++ b/trunk/source/Library-log4j/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml
index a8211279958..8b58e070b5b 100644
--- a/trunk/source/Library-ojAlgo/pom.xml
+++ b/trunk/source/Library-ojAlgo/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml
index 14c93ec3699..6e6a0d86688 100644
--- a/trunk/source/Library-srParse/pom.xml
+++ b/trunk/source/Library-srParse/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/Library-xerces/pom.xml b/trunk/source/Library-xerces/pom.xml
index ff5b5332fa5..ff807754fb1 100644
--- a/trunk/source/Library-xerces/pom.xml
+++ b/trunk/source/Library-xerces/pom.xml
@@ -4,7 +4,7 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF
index 69da20cb711..18d79d97f16 100644
--- a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF
+++ b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: PEAtoBoogie
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.pea2boogie;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.pea2boogie.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/PEAtoBoogie/pom.xml b/trunk/source/PEAtoBoogie/pom.xml
index 125bca45939..8585ffa48ba 100644
--- a/trunk/source/PEAtoBoogie/pom.xml
+++ b/trunk/source/PEAtoBoogie/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.pea2boogie</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF
index 2cc87171bd0..c05ac39b766 100644
--- a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF
+++ b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: RCFGBuilder
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
diff --git a/trunk/source/RCFGBuilder/pom.xml b/trunk/source/RCFGBuilder/pom.xml
index d68aba853bd..956fc30c9e9 100644
--- a/trunk/source/RCFGBuilder/pom.xml
+++ b/trunk/source/RCFGBuilder/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF
index 8a330088626..f496bfe3736 100644
--- a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF
+++ b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Reaching Definitions
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/ReachingDefinitions/pom.xml b/trunk/source/ReachingDefinitions/pom.xml
index dd95bae4b93..c798ccc6fd4 100644
--- a/trunk/source/ReachingDefinitions/pom.xml
+++ b/trunk/source/ReachingDefinitions/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml
index 27a581833d1..1f2ac527542 100644
--- a/trunk/source/SMTInterpol/pom.xml
+++ b/trunk/source/SMTInterpol/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF
index cabce8f7e8c..1e3b7bd7343 100644
--- a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF
+++ b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SMTInterpolTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtinterpol.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtinterpol
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit,
diff --git a/trunk/source/SMTInterpolTest/pom.xml b/trunk/source/SMTInterpolTest/pom.xml
index a6e2196534a..28a359a1bd6 100644
--- a/trunk/source/SMTInterpolTest/pom.xml
+++ b/trunk/source/SMTInterpolTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.smtinterpol.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF
index 5cee8fa6d1f..47133ad0dd4 100644
--- a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF
+++ b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SMTSolverBridge
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtsolver.external
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.smtsolver.external
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/SMTSolverBridge/pom.xml b/trunk/source/SMTSolverBridge/pom.xml
index dd443ccd4c3..87a9f5da5ae 100644
--- a/trunk/source/SMTSolverBridge/pom.xml
+++ b/trunk/source/SMTSolverBridge/pom.xml
@@ -32,7 +32,7 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF
index 2111c1ff3f9..60e886a6842 100644
--- a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF
+++ b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SMTSolverBridgeTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.smtsolver.external.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.smtsolver.external
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test
diff --git a/trunk/source/SMTSolverBridgeTest/pom.xml b/trunk/source/SMTSolverBridgeTest/pom.xml
index 64638e3a4e7..7a603766bdb 100644
--- a/trunk/source/SMTSolverBridgeTest/pom.xml
+++ b/trunk/source/SMTSolverBridgeTest/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.smtsolver.external.test</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF
index 1d84fe15330..b524a40f9b6 100644
--- a/trunk/source/SmtParser/META-INF/MANIFEST.MF
+++ b/trunk/source/SmtParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SmtParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.source.smtparser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.source.smtparser.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/SmtParser/pom.xml b/trunk/source/SmtParser/pom.xml
index 8d62363b9af..b50a608df6b 100644
--- a/trunk/source/SmtParser/pom.xml
+++ b/trunk/source/SmtParser/pom.xml
@@ -23,13 +23,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.source.smtparser</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF
index d4572087bd4..610836d6303 100644
--- a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF
+++ b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SpaceExParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/SpaceExParser/pom.xml b/trunk/source/SpaceExParser/pom.xml
index cd6e8d14590..de2fb03f392 100644
--- a/trunk/source/SpaceExParser/pom.xml
+++ b/trunk/source/SpaceExParser/pom.xml
@@ -34,13 +34,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF
index ce5831e391f..eb2168fbd78 100644
--- a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF
+++ b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SpaceExParserTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Fragment-Host: de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser;bundle-version="0.0.1"
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.test
diff --git a/trunk/source/SpaceExParserTest/pom.xml b/trunk/source/SpaceExParserTest/pom.xml
index 6d6d1e8af62..78596fdbfd3 100644
--- a/trunk/source/SpaceExParserTest/pom.xml
+++ b/trunk/source/SpaceExParserTest/pom.xml
@@ -34,13 +34,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF
index ff00cf3f5aa..7ea768321a1 100644
--- a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF
+++ b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: SyntaxChecker
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.boogieast,
  org.eclipse.cdt.core,
diff --git a/trunk/source/SyntaxChecker/pom.xml b/trunk/source/SyntaxChecker/pom.xml
index 9be9836eade..a1304902e3e 100644
--- a/trunk/source/SyntaxChecker/pom.xml
+++ b/trunk/source/SyntaxChecker/pom.xml
@@ -23,13 +23,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF
index a07e49c368c..6aa00b629a6 100644
--- a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF
+++ b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: TraceAbstraction
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
diff --git a/trunk/source/TraceAbstraction/pom.xml b/trunk/source/TraceAbstraction/pom.xml
index df6c3ce3248..60f8f7775f4 100644
--- a/trunk/source/TraceAbstraction/pom.xml
+++ b/trunk/source/TraceAbstraction/pom.xml
@@ -30,13 +30,13 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF
index da4708ebe71..e24b4ef27f7 100644
--- a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF
+++ b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: TraceAbstractionConcurrent
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
  de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/TraceAbstractionConcurrent/pom.xml b/trunk/source/TraceAbstractionConcurrent/pom.xml
index 1efa3e8afff..9663f71ac62 100644
--- a/trunk/source/TraceAbstractionConcurrent/pom.xml
+++ b/trunk/source/TraceAbstractionConcurrent/pom.xml
@@ -30,13 +30,13 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF
index 5f5b1b1b980..045321b4f27 100644
--- a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF
+++ b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: TraceAbstractionWithAFAs
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/TraceAbstractionWithAFAs/pom.xml b/trunk/source/TraceAbstractionWithAFAs/pom.xml
index 42b8b464acb..5798964ebf8 100644
--- a/trunk/source/TraceAbstractionWithAFAs/pom.xml
+++ b/trunk/source/TraceAbstractionWithAFAs/pom.xml
@@ -30,13 +30,13 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF
index ec3cd23393a..0a8c0b3ae48 100644
--- a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF
+++ b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: TreeAutomizer
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/TreeAutomizer/pom.xml b/trunk/source/TreeAutomizer/pom.xml
index 30af59fc14b..3325f4c7e90 100644
--- a/trunk/source/TreeAutomizer/pom.xml
+++ b/trunk/source/TreeAutomizer/pom.xml
@@ -30,12 +30,12 @@
   	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <groupId>de.uni_freiburg.informatik.ultimate</groupId>
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer</artifactId>
-  <version>0.1.15</version>
+  <version>0.1.16</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF
index 4f77cd538cf..934ba1893e0 100644
--- a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UltimateCLI
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cli;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/UltimateCLI/pom.xml b/trunk/source/UltimateCLI/pom.xml
index 8dc0add0def..4fd0dc75d45 100644
--- a/trunk/source/UltimateCLI/pom.xml
+++ b/trunk/source/UltimateCLI/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.cli</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF
index f816c9cb03a..65c188bde66 100644
--- a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Ultimate Delta Debugger
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.deltadebugger;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/UltimateDeltaDebugger/pom.xml b/trunk/source/UltimateDeltaDebugger/pom.xml
index 1df6d1c2f94..5ff1af5ffea 100644
--- a/trunk/source/UltimateDeltaDebugger/pom.xml
+++ b/trunk/source/UltimateDeltaDebugger/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.deltadebugger</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF
index bae967c11c9..a6ac6b0323a 100644
--- a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UltimateRegressionTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.regressiontest;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: org.junit,
  de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/UltimateRegressionTest/pom.xml b/trunk/source/UltimateRegressionTest/pom.xml
index 9cb3a8daca8..0a2b12ae333 100644
--- a/trunk/source/UltimateRegressionTest/pom.xml
+++ b/trunk/source/UltimateRegressionTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.regressiontest</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/UltimateServer/META-INF/MANIFEST.MF b/trunk/source/UltimateServer/META-INF/MANIFEST.MF
index d1beb0d7f44..af960db0668 100644
--- a/trunk/source/UltimateServer/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateServer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UltimateServer
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.servercontroller;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, 
  de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/UltimateServer/pom.xml b/trunk/source/UltimateServer/pom.xml
index 3867e4ef5e0..a1577aea8a8 100644
--- a/trunk/source/UltimateServer/pom.xml
+++ b/trunk/source/UltimateServer/pom.xml
@@ -31,12 +31,12 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.servercontroller</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF
index 870eddd2c29..0585f681538 100644
--- a/trunk/source/UltimateTest/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: UltimateTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ultimatetest;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
diff --git a/trunk/source/UltimateTest/pom.xml b/trunk/source/UltimateTest/pom.xml
index ecf04d07380..7e9f9cb31bf 100644
--- a/trunk/source/UltimateTest/pom.xml
+++ b/trunk/source/UltimateTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.ultimatetest</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF
index 454f9c4f61f..6e2828f5db3 100644
--- a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF
+++ b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: WebUltimateBridge
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.webbridge;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.webbridge.Activator
 Require-Bundle: org.eclipse.core.runtime
 Bundle-ActivationPolicy: lazy
diff --git a/trunk/source/WebUltimateBridge/pom.xml b/trunk/source/WebUltimateBridge/pom.xml
index b4c8ed60619..6e493af9d57 100644
--- a/trunk/source/WebUltimateBridge/pom.xml
+++ b/trunk/source/WebUltimateBridge/pom.xml
@@ -5,13 +5,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.webbridge</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
\ No newline at end of file
diff --git a/trunk/source/WitnessParser/META-INF/MANIFEST.MF b/trunk/source/WitnessParser/META-INF/MANIFEST.MF
index 5b975dca68b..517a6e655a5 100644
--- a/trunk/source/WitnessParser/META-INF/MANIFEST.MF
+++ b/trunk/source/WitnessParser/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: WitnessParser
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessparser;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.witnessparser.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
  edu.uci.ics.jung,
diff --git a/trunk/source/WitnessParser/pom.xml b/trunk/source/WitnessParser/pom.xml
index 96a066d302b..bb80c64665c 100644
--- a/trunk/source/WitnessParser/pom.xml
+++ b/trunk/source/WitnessParser/pom.xml
@@ -31,13 +31,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.witnessparser</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF
index f3ac6328046..5cef43c31ef 100644
--- a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF
+++ b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: BuchiProgramProduct
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessprinter;singleton:=true
-Bundle-Version: 0.1.15
+Bundle-Version: 0.1.16
 Bundle-Activator: de.uni_freiburg.informatik.ultimate.witnessprinter.Activator
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.smtlib,
diff --git a/trunk/source/WitnessPrinter/pom.xml b/trunk/source/WitnessPrinter/pom.xml
index 5eee8300f99..4b17a686c9d 100644
--- a/trunk/source/WitnessPrinter/pom.xml
+++ b/trunk/source/WitnessPrinter/pom.xml
@@ -31,13 +31,13 @@
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.15</version>
+		<version>0.1.16</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
 	<artifactId>de.uni_freiburg.informatik.ultimate.witnessprinter</artifactId>
-	<version>0.1.15</version>
+	<version>0.1.16</version>
 	<packaging>eclipse-plugin</packaging>
 </project>