diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
index 4faf0598c29..2457643bb07 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.9
+Bundle-Version: 0.1.10
 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 b716b816421..0c2bb2da7d7 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.9</version>
+		<version>0.1.10</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 1154b7c60b0..79666b27d51 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.9
+Bundle-Version: 0.1.10
 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 77b779d4fa7..2746bdec7c8 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.9</version>
+		<version>0.1.10</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 0324e98b482..3316fa404a1 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.9
+Bundle-Version: 0.1.10
 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 1a440e01107..31865b80f17 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 4888b827cfe..586c32bc2e8 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.9
+Bundle-Version: 0.1.10
 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 b93c99895f6..3bdf221d75e 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.9</version>
+		<version>0.1.10</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 af42dbf3e6c..40cc2cd5df6 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.9
+Bundle-Version: 0.1.10
 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 63b5b1d2796..0d593e14be9 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 2f941542c24..411a01293f3 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.9
+Bundle-Version: 0.1.10
 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 5ac01e75190..4cb266fb216 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent> 
   
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 6093312d48f..e19b69eaf61 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.9
+Bundle-Version: 0.1.10
 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 80833259c96..43edd7fb80e 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
index 1999486b914..3610047cd4f 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.9">
+      version="0.1.10">
 
    <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 2d9db175ada..9ca0201b0cb 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesCommandlineE4</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 d9b99651021..17997876866 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.9">
+      version="0.1.10">
 
    <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 9f98bb36346..a8cc3d2e0d5 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesDebugE4</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 a84b23ed1a9..b7c5fab5d4c 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.9">
+      version="0.1.10">
 
    <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 15e992e9e24..eeffaa70bd3 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.9</version>
+		<version>0.1.10</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 a8ba989a84a..25f89f90fe4 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.9"
+      version="0.1.10"
       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 b85d5d9b194..c0144185c25 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.9</version>
+		<version>0.1.10</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 229382cf552..425af549a2d 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.9"
+      version="0.1.10"
       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 7005361b9fd..ff7320432ca 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.9</version>
+		<version>0.1.10</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 8694c9c417b..e1934256f62 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.9">
+      version="0.1.10">
 
    <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 53cb9de7e65..85feb1a4ac8 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.9</version>
+		<version>0.1.10</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 c1b84eebf2b..30a43bf26fb 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.9</version>
+	<version>0.1.10</version>
 	<packaging>pom</packaging>
 
 	<name>Ultimate</name>
@@ -15,7 +15,7 @@
 	</scm>
 
 	<properties>
-		<ultimate-version>0.1.9</ultimate-version>
+		<ultimate-version>0.1.10</ultimate-version>
 	
 		<!-- maven plugin versions -->
 		<tycho-version>0.26.0</tycho-version>
diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product
index 5bdc7e1778d..4a49e6da028 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.9" 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.10" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.9"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.9"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.9"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.10"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.10"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.10"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product
index 1584bdd534e..8f8f0c1b58e 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.9" 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.10" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/CoreRCP/icons/about.gif"/>
@@ -42,9 +42,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateDebug" version="0.1.9"/>
-      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.9"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.9"/>
+      <feature id="BA_FeatureUltimateDebug" version="0.1.10"/>
+      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.10"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.10"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product
index ee093e9446e..67134a2d6be 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.9" 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.10" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.9"/>
-      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.9"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.9"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.10"/>
+      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.10"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.10"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
index e54159f6156..c3be8d4a182 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.9" 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.10" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="icons/about.gif"/>
@@ -48,9 +48,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.9"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.9"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.9"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.10"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.10"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.10"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml
index f1cfff42ea5..1ba70e299b9 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.9</version>
+		<version>0.1.10</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 4140aabfeba..8615744156b 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.9
+Bundle-Version: 0.1.10
 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 6a6c458b052..73cf4d7e73b 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 eca5b379bad..57e2f5a5529 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.9
+Bundle-Version: 0.1.10
 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 f88536d9f0d..023571b9ed5 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.blockencoding</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 a87e10eddef..a6ae8d79a84 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.9
+Bundle-Version: 0.1.10
 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 641e8a47fd5..46c5ec021a9 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 d59c805cb44..9faca517629 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.9
+Bundle-Version: 0.1.10
 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 7db0bfbeebd..3478b0c692f 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.parser</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 6628cfe7af4..e8b379c764f 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.9
+Bundle-Version: 0.1.10
 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 f63c62c5470..0c8cc8cad42 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.preprocessor</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 8787f69cea6..9b3ccd93cdb 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.9
+Bundle-Version: 0.1.10
 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 3e0f9e5c99d..a18de76232b 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 8d5118dc3b4..18d6ffea2bf 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.9
+Bundle-Version: 0.1.10
 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 188a6ab7558..a13e07b6b6f 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.boogie.printer</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 600ac493e63..14070e9ba19 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.9
+Bundle-Version: 0.1.10
 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 1c5d2ad4342..3739fd4ca97 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.procedureinliner</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 73768435464..9b41c0c174b 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.9
+Bundle-Version: 0.1.10
 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 f0b27a62f82..6bf429ad91b 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.9</version>
+  <version>0.1.10</version>
   <packaging>eclipse-plugin</packaging>
   
   <parent>
   	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
   	<artifactId>mavenparent</artifactId>
-  	<version>0.1.9</version>
+  	<version>0.1.10</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 b82087842d3..05cd00d10fd 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.9
+Bundle-Version: 0.1.10
 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 4fdffa65208..c7530c2ce6f 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.buchiprogramproduct</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 ad6907434bc..8610f9c1b40 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.9
+Bundle-Version: 0.1.10
 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 fc839c9c126..55951770465 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.9</version>
+		<version>0.1.10</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 306929ff3cc..8c7a726b452 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.9
+Bundle-Version: 0.1.10
 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 01dc5a7fa85..fb4e8620d20 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.9</version>
+		<version>0.1.10</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 cdbfababbc6..913dfaa27e0 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.9
+Bundle-Version: 0.1.10
 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 8418ac923f6..7e768ff94f6 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.9</version>
+		<version>0.1.10</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 660f9eb172a..6823df4c36e 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.9
+Bundle-Version: 0.1.10
 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 49f476d0133..f9a520f8a8f 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 6c3dd91c2fe..4c8aeeea774 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.9
+Bundle-Version: 0.1.10
 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 6741e0cb6c4..4ef24b698cb 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.core</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 7d1a4f837ed..6fc1acd2f00 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.9
+Bundle-Version: 0.1.10
 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 6e86748303c..d29df9c8f1a 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 3526e762216..90dd7d63f77 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.9
+Bundle-Version: 0.1.10
 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 36a0c9b6d1a..8eb0f5f7b47 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.preferencepages</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 2506995b02d..d0217298368 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.9
+Bundle-Version: 0.1.10
 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 30055b2cc58..66c3b6ebf19 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.logging</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 26d3cd4a768..08c532da035 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.9
+Bundle-Version: 0.1.10
 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 2b17c908122..0560fc6ef79 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 cfe00561c99..4d907c1565f 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.9
+Bundle-Version: 0.1.10
 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 e5f37b487d0..c4db9b74caa 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.heapseparator</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 c9e2b63819a..0ce42e739f3 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.9
+Bundle-Version: 0.1.10
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy
 Export-Package: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies,
diff --git a/trunk/source/IRSDependencies/pom.xml b/trunk/source/IRSDependencies/pom.xml
index 27de9ec00c3..5e7ed884f38 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 6a05c7bc856..e6f640557a3 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.9
+Bundle-Version: 0.1.10
 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 c8bfd61d591..da85fb3b38b 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 10217cbf9ff..596dd716ef6 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.9
+Bundle-Version: 0.1.10
 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 dfe5abae5b4..a743e1b8d88 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml
index ff7a17c2562..ad2fe9b152a 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.9</version>
+		<version>0.1.10</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 4931ba34dcb..3ab65a6f159 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.9
+Bundle-Version: 0.1.10
 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 d1a3ec01958..4d5776d0438 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.9</version>
+  	<version>0.1.10</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 7f7b2afcb2d..3fc10d66606 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.9
+Bundle-Version: 0.1.10
 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 855e102f68f..9c32cf84bfa 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 91b5152cc0c..2d28ea793c7 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.9
+Bundle-Version: 0.1.10
 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 fae77e1559a..0d8afeda61a 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml
index 53e8c0dc6b2..9407158b805 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.9</version>
+		<version>0.1.10</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 f8f268c1259..708c6fb0cc7 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.9</version>
+		<version>0.1.10</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 08082fab5c2..05d7a0b6214 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.9
+Bundle-Version: 0.1.10
 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 ab5552cc566..cebda2c49d0 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</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 7184484fb36..75d02d7158b 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.9
+Bundle-Version: 0.1.10
 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 c29ad3cd030..eb6c3168ef7 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata.test</artifactId>
-  <version>0.1.9</version>
+  <version>0.1.10</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml
index b0c70417a17..7bbe2144aec 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.9</version>
+		<version>0.1.10</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 77b3ec2992a..da1d0a2b62f 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.9
+Bundle-Version: 0.1.10
 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 4edd722eaae..27b98e788b3 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.boogieast</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml
index 5bbeb19668b..d71b4e02b52 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.9</version>
+		<version>0.1.10</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 ff35d81cc50..dadb850e755 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.9</version>
+		<version>0.1.10</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 104b6fa085d..d20cade13c1 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.9
+Bundle-Version: 0.1.10
 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 91150736e6a..938b22117dd 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
-	<version>0.1.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.icfgtransformer</artifactId>
 </project>
diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml
index 9179bcc5970..63fba8f33a0 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.9</version>
+		<version>0.1.10</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 b64eff279e8..7c58be44141 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.9</version>
+		<version>0.1.10</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 a7d3c429897..aa361229ea8 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.9</version>
+		<version>0.1.10</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 0a781c6aa4f..931c49ff2cd 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.9</version>
+		<version>0.1.10</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 e150c906d64..13681fb5fc2 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.9
+Bundle-Version: 0.1.10
 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 a41e6d61d23..ed50ead434c 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.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils</artifactId>
-	<version>0.1.9</version>
+	<version>0.1.10</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 4d96e721ad0..6198445cd2c 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.9
+Bundle-Version: 0.1.10
 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 438fab8c422..ba56efa61fb 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 91e02020cb2..1281851367d 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.9</version>
+		<version>0.1.10</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 d4eb0f87e07..fb41d8ef208 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.9
+Bundle-Version: 0.1.10
 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 73a982ba538..6b9b756a1c2 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 0bb508d86bf..7dc5552c64f 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.9
+Bundle-Version: 0.1.10
 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 c10ce124ae3..da69fb25c9c 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF
index 292c49faf7a..2359aaa64cc 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.9
+Bundle-Version: 0.1.10
 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 2f58c6de7bf..16016949475 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 edfd7610da3..08d8b62ee64 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.9
+Bundle-Version: 0.1.10
 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 a803ee01260..71356a802b7 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 b082634bd63..1fc24a4e4d7 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.9
+Bundle-Version: 0.1.10
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.test,
  de.uni_freiburg.informatik.ultimate.test.decider,
diff --git a/trunk/source/Library-UltimateTest/pom.xml b/trunk/source/Library-UltimateTest/pom.xml
index 6421862e9cd..4f2c9ad3ec6 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
index c7634d50838..be00b96d0f1 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.9
+Bundle-Version: 0.1.10
 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 047922e5701..4b5be26a7be 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 519c208fa46..fc3a437b212 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.9
+Bundle-Version: 0.1.10
 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 1fe9ac898bb..1b86050f2bd 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 981dd97db82..0e015ec53a5 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.9
+Bundle-Version: 0.1.10
 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 e8a34e882d4..4bac0341e0f 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 206d4e00d44..9b19b4a4c3e 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.9</version>
+		<version>0.1.10</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 900b4188e03..a16fc8e5c69 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.9</version>
+		<version>0.1.10</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 b4fcbee175b..ac1ee524f2a 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.9</version>
+		<version>0.1.10</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 4059c752f90..94198ba18d8 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.9</version>
+		<version>0.1.10</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 50ed79a0528..c718e198f8b 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.9</version>
+		<version>0.1.10</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 de623be567d..41225229304 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.9
+Bundle-Version: 0.1.10
 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 d49650e50a0..2ecbbce148f 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 929d4f55226..31a22b39609 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.9
+Bundle-Version: 0.1.10
 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 7bb921b5df8..ad2251a4ef0 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 93a072cdf2c..9be5e158614 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.9
+Bundle-Version: 0.1.10
 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 80b9fa97ffe..3fb917f87a6 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml
index 46d6c0a90f6..850fd89361e 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.9</version>
+		<version>0.1.10</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 53a03a1ec62..c57fc683d4e 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.9
+Bundle-Version: 0.1.10
 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 5cfb792a342..bf3a3ef349b 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 50ad5864e4e..bc636ab37ec 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.9
+Bundle-Version: 0.1.10
 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 0bd579eb62d..73f30ebb793 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.9</version>
+		<version>0.1.10</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 38c6eb9c7bc..f714e565314 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.9
+Bundle-Version: 0.1.10
 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 6ca115058b6..66d11b73b18 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 7eabba84f30..f428f3a914e 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.9
+Bundle-Version: 0.1.10
 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 d16d8e3775c..949a6c424ef 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 d3ec9642945..f8e3e78d02d 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.9
+Bundle-Version: 0.1.10
 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 a9c8b71cac6..4fe0cb9c462 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 b5764908b0d..e29c8f7cf7d 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.9
+Bundle-Version: 0.1.10
 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 e22853e1b9b..2e8fc564d01 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 3879181520d..43631323527 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.9
+Bundle-Version: 0.1.10
 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 c13b17575a1..d9dad10defb 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 407d261201c..dc27e2e2ff8 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.9
+Bundle-Version: 0.1.10
 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 a180af1b2a1..74bf0d691be 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 abceb710258..67d0c769d9c 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.9
+Bundle-Version: 0.1.10
 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 31c3e9a7a0d..bf5add9a054 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 ac308d637f6..f51f9f9b5c5 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.9
+Bundle-Version: 0.1.10
 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 c0d13f60be9..2118b0da8f2 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 4498947b2b8..fc18781d05a 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.9
+Bundle-Version: 0.1.10
 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 d786a8a0b01..2f3386e0d12 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.9</version>
+		<version>0.1.10</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.9</version>
+  <version>0.1.10</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 5875264739a..d8f85cf1dcb 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.9
+Bundle-Version: 0.1.10
 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 36147cea5db..9c0983ccc61 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 028c01a5bec..7191295ae02 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.9
+Bundle-Version: 0.1.10
 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 8121ff50253..fa92e043f7f 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 8018906d776..1f9ae6e3700 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.9
+Bundle-Version: 0.1.10
 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 84cb6ea1b17..c4986e25e34 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 </project>
diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF
index 19be9106ac0..79c7fe2d671 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.9
+Bundle-Version: 0.1.10
 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 b2ea55f1b0c..d57c7ea9016 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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.9</version>
+		<version>0.1.10</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 dcaebeb5e0c..768ab14da87 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.9
+Bundle-Version: 0.1.10
 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 50d06526c78..5e216a26650 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 81b6bb7590b..df8c81f4379 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.9
+Bundle-Version: 0.1.10
 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 2aeb125f448..dc1f21e0396 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</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 cd631c025f5..e5be80c1b88 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.9
+Bundle-Version: 0.1.10
 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 bc37b994272..72192bb74e0 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.9</version>
+		<version>0.1.10</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.9</version>
+	<version>0.1.10</version>
 	<packaging>eclipse-plugin</packaging>
 </project>