diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
index 67d8edace5e..5f93293fc65 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.12
+Bundle-Version: 0.1.13
 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 f0e378e651e..ebda215c1fc 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.12</version>
+		<version>0.1.13</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 c283003bf97..d5f01ea5b14 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.12
+Bundle-Version: 0.1.13
 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 babb50ecfc6..29e013de604 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.12</version>
+		<version>0.1.13</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 4706906df0c..b1697064101 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.12
+Bundle-Version: 0.1.13
 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 08d3e1218a7..6456d30d12d 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 cbd2dd1fdd7..918b0c23dfc 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.12
+Bundle-Version: 0.1.13
 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 5811d9f4c35..b3e4f080849 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.12</version>
+		<version>0.1.13</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 f533264306d..ae189618f02 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.12
+Bundle-Version: 0.1.13
 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 6802746fe77..22f54488ee2 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 41710a6ea4c..a1b5bbb52b5 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.12
+Bundle-Version: 0.1.13
 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 fc8ec62a2e0..350c5ce915c 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent> 
   
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 44fc78fca71..448e2ae4893 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.12
+Bundle-Version: 0.1.13
 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 f058602104d..78c6fd5f27b 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 
 </project>
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
index 40c653e4c03..76d1ebd08a1 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.12">
+      version="0.1.13">
 
    <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 6fce32c2595..d7e55e9fdb4 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesCommandlineE4</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 3ff7ed802b0..cdd651e2569 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.12">
+      version="0.1.13">
 
    <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 d5e1b5dcc2a..3671e68a491 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>BA_FeatureDependenciesDebugE4</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 816bd3f83b8..547974e0f2b 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.12">
+      version="0.1.13">
 
    <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 b65b6e13f9b..ff2a2ef780e 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.12</version>
+		<version>0.1.13</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 8c5df8189d6..c33aefca30a 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.12"
+      version="0.1.13"
       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 50604b53170..55d7052856c 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.12</version>
+		<version>0.1.13</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 674a256b3b8..b4118e68729 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.12"
+      version="0.1.13"
       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 09865c8b654..6ee8d3fd0e0 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.12</version>
+		<version>0.1.13</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 d4c25894679..cfc79d667de 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.12">
+      version="0.1.13">
 
    <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 7a13af62033..2855d931a7b 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.12</version>
+		<version>0.1.13</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 a31d5555e53..11d0d26303f 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.12</version>
+	<version>0.1.13</version>
 	<packaging>pom</packaging>
 
 	<name>Ultimate</name>
@@ -15,7 +15,7 @@
 	</scm>
 
 	<properties>
-		<ultimate-version>0.1.12</ultimate-version>
+		<ultimate-version>0.1.13</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 8529960d7eb..37a735b1e7b 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.12" 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.13" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.12"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.12"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.12"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.13"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.13"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.13"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product
index 24675759761..cf04dca5137 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.12" 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.13" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="/CoreRCP/icons/about.gif"/>
@@ -42,9 +42,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateDebug" version="0.1.12"/>
-      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.12"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.12"/>
+      <feature id="BA_FeatureUltimateDebug" version="0.1.13"/>
+      <feature id="BA_FeatureDependenciesDebugE4" version="0.1.13"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.13"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product
index 6313ab887d5..136993769b6 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.12" 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.13" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <text>
@@ -41,9 +41,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.12"/>
-      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.12"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.12"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.13"/>
+      <feature id="BA_FeatureUltimateDeltaDebugger" version="0.1.13"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.13"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
index 93b159112de..90fe0552ddc 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.12" 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.13" useFeatures="true" includeLaunchers="true">
 
    <aboutInfo>
       <image path="icons/about.gif"/>
@@ -48,9 +48,9 @@
    </plugins>
 
    <features>
-      <feature id="BA_FeatureUltimateCommandLine" version="0.1.12"/>
-      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.12"/>
-      <feature id="BA_FeatureUltimateCommon" version="0.1.12"/>
+      <feature id="BA_FeatureUltimateCommandLine" version="0.1.13"/>
+      <feature id="BA_FeatureDependenciesCommandlineE4" version="0.1.13"/>
+      <feature id="BA_FeatureUltimateCommon" version="0.1.13"/>
    </features>
 
    <configurations>
diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml
index 89329bce342..34bd667e1bd 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.12</version>
+		<version>0.1.13</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 daa41659887..01fcdd4c8ba 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.12
+Bundle-Version: 0.1.13
 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 1e6ea6bfa31..48ece74e93c 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 2c5c49a8c5f..5b273960c09 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.12
+Bundle-Version: 0.1.13
 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 207c76e09a6..20c0d3ffd24 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.blockencoding</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 cbd4938f7c4..579667eabb9 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.12
+Bundle-Version: 0.1.13
 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 620e39e9570..0bba635888c 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 76bc99190fd..8d3316d86c0 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.12
+Bundle-Version: 0.1.13
 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 42610d70149..8ba0468fc79 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.parser</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 376c6418874..ab03f63ee46 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.12
+Bundle-Version: 0.1.13
 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 7272c08dd3b..9d6ffe449c5 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.preprocessor</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 45528f6601a..b6f5fcad98b 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.12
+Bundle-Version: 0.1.13
 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 1efffce099f..b8fb5501357 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 7b52ce1e534..286dbfc4418 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.12
+Bundle-Version: 0.1.13
 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 f8927cf8c19..de66350f51e 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.boogie.printer</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 1a3cebae390..9cac70b9832 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.12
+Bundle-Version: 0.1.13
 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 5c689641d48..310219f0e09 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.boogie.procedureinliner</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 3a25943459f..49410a0ef26 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.12
+Bundle-Version: 0.1.13
 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 be4f10f4d24..7e548e05031 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.12</version>
+  <version>0.1.13</version>
   <packaging>eclipse-plugin</packaging>
   
   <parent>
   	<groupId>de.uni_freiburg.informatik.ultimate</groupId>
   	<artifactId>mavenparent</artifactId>
-  	<version>0.1.12</version>
+  	<version>0.1.13</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 81b2fcbc07f..d51948776d8 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.12
+Bundle-Version: 0.1.13
 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 621844ece60..2621e39dac8 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.buchiprogramproduct</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 e81a097927b..da605ad9653 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.12
+Bundle-Version: 0.1.13
 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 17255bb39cd..657f0cded24 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.12</version>
+		<version>0.1.13</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 8b329418ceb..5a14f94f231 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.12
+Bundle-Version: 0.1.13
 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 4e7ce266d7a..9b7d8fcd0d8 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.12</version>
+		<version>0.1.13</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 8b33a95beb7..5266e56aa00 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.12
+Bundle-Version: 0.1.13
 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 55237f1266d..9b1b434cb0e 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.12</version>
+		<version>0.1.13</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 cc78b916a7f..e9a8b652efd 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.12
+Bundle-Version: 0.1.13
 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 f7d3abc1129..65bcb7310a5 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 165caf6fda3..16ad807986c 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.12
+Bundle-Version: 0.1.13
 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 596fef8efaa..4bea9468751 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.core</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 4ecc42719da..f3cd4432e98 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.12
+Bundle-Version: 0.1.13
 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 2d494d16c00..c91868d9773 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 4d5e7a31502..d61365ece18 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.12
+Bundle-Version: 0.1.13
 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 ae08d6a9085..31cce62add5 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.preferencepages</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 4afe57d2308..8fa8e109299 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.12
+Bundle-Version: 0.1.13
 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 564183f0044..c07bc4857a6 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui.logging</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 a8b4c5ee69a..f586d5223aa 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.12
+Bundle-Version: 0.1.13
 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 b05f55d8dc0..e2bb9f2eef6 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.gui</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 5fe389b4712..963691f7692 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.12
+Bundle-Version: 0.1.13
 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 cb43e77353c..3f515b9e1b3 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.heapseparator</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 57c242db4dc..8991346d85d 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.12
+Bundle-Version: 0.1.13
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy
 Export-Package: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies.loopdetector,
diff --git a/trunk/source/IRSDependencies/pom.xml b/trunk/source/IRSDependencies/pom.xml
index d0a5e2b9da0..e3e86ae4cab 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 c860cd06341..49405cd070f 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.12
+Bundle-Version: 0.1.13
 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 85742835763..90cdc6f3221 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 9fe9e7e10a9..be597cf157d 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.12
+Bundle-Version: 0.1.13
 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 8e46ec1d55f..f404590ed9c 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml
index ba50a57e759..2efcadd15ff 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.12</version>
+		<version>0.1.13</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 e7d5a3ba375..011c7c3ce98 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.12
+Bundle-Version: 0.1.13
 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 c3daebc8369..5d152b3ee82 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.12</version>
+  	<version>0.1.13</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 733d84af3c1..0132a6d4d3f 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.12
+Bundle-Version: 0.1.13
 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 c817d62ddc2..f8a03fecb58 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 9d7d137d5a0..06b610ce0e2 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.12
+Bundle-Version: 0.1.13
 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 a0f33b4b574..b8bf2ccc352 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml
index a482efb114d..574fb74f71f 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.12</version>
+		<version>0.1.13</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 34c244d4167..70f1022c5e2 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.12</version>
+		<version>0.1.13</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 411e7bfb8c3..6252bd7475e 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.12
+Bundle-Version: 0.1.13
 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 45a78512410..afc7a84bbed 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</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 ceb788fc1fb..a41f1236e30 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.12
+Bundle-Version: 0.1.13
 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 b5340dce402..ed4400dca13 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
   
   <artifactId>de.uni_freiburg.informatik.ultimate.lib.automata.test</artifactId>
-  <version>0.1.12</version>
+  <version>0.1.13</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml
index 1684bbe0f42..86b463a7fc1 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.12</version>
+		<version>0.1.13</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 f897845145c..1d54713aa3d 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.12
+Bundle-Version: 0.1.13
 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 d566012309a..a3ff7ca164a 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.boogieast</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<build>
diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml
index 9879828af43..463a40b2c98 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.12</version>
+		<version>0.1.13</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 2faeb54d283..4270e867cac 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.12</version>
+		<version>0.1.13</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 dec80a44cea..9d4dd39e830 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.12
+Bundle-Version: 0.1.13
 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 ddd565a98ef..9a4f076a5ed 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
-	<version>0.1.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.icfgtransformer</artifactId>
 </project>
diff --git a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
index 0913839e892..adc0a996442 100644
--- a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: Library-IcfgTransformerTest
 Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test
-Bundle-Version: 0.1.12
+Bundle-Version: 0.1.13
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.lib.test,
diff --git a/trunk/source/Library-IcfgTransformerTest/pom.xml b/trunk/source/Library-IcfgTransformerTest/pom.xml
index 90461691d2c..3cc9d305e7f 100644
--- a/trunk/source/Library-IcfgTransformerTest/pom.xml
+++ b/trunk/source/Library-IcfgTransformerTest/pom.xml
@@ -29,13 +29,13 @@
 	<modelVersion>4.0.0</modelVersion>
 	
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml
index 999c75f2280..33ad0016eae 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.12</version>
+		<version>0.1.13</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 afce6aac353..f50a5ae3d03 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.12</version>
+		<version>0.1.13</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 744ea1cdbeb..5d07a1e7dbf 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.12</version>
+		<version>0.1.13</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 40c34eac815..cda2b7ad657 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.12</version>
+		<version>0.1.13</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 dbe7a188ec3..ae3e8f38c62 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.12
+Bundle-Version: 0.1.13
 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 15f334d2764..d97a335f37e 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.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 
 	<artifactId>de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils</artifactId>
-	<version>0.1.12</version>
+	<version>0.1.13</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 c0610b3009f..e13cc6c04ab 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.12
+Bundle-Version: 0.1.13
 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 7b922e724e4..06b14c08027 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 255192aa28d..aa936724d17 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.12</version>
+		<version>0.1.13</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 baff6509e5a..d70a3fe1cbe 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.12
+Bundle-Version: 0.1.13
 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 ef9f592f7e1..ab110d4b757 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 9b298e18c1a..39ac43e910f 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.12
+Bundle-Version: 0.1.13
 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 e12e56ea4e6..7d9470f36bf 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 cf840a04496..33b33152dc2 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.12
+Bundle-Version: 0.1.13
 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 3d949773eae..4a9067bbd01 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 e1a3e34befe..beb4e8ca8e0 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.12
+Bundle-Version: 0.1.13
 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 a55b98d37c5..84b70b431ab 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 803e04953e6..cfe9cb85c88 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.12
+Bundle-Version: 0.1.13
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.test,
  de.uni_freiburg.informatik.ultimate.test.benchexec,
diff --git a/trunk/source/Library-UltimateTest/pom.xml b/trunk/source/Library-UltimateTest/pom.xml
index ad553418787..9a58290a496 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</version>
 		<relativePath>../BA_MavenParentUltimate/pom.xml</relativePath>
 	</parent>
 	
diff --git a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
index 99e4f349424..fd1e6f407a4 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.12
+Bundle-Version: 0.1.13
 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 f88248cef18..21a3e6b8ded 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 bbbf6eaceec..b72a31daac1 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.12
+Bundle-Version: 0.1.13
 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 432276f8512..079d1e58afa 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 f751accbbe4..a66be0123d2 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.12
+Bundle-Version: 0.1.13
 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 2e1f17cb462..3e1adc3df06 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 91241169773..4e474f78200 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.12</version>
+		<version>0.1.13</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 7ed8e3795ea..58a9e3afb5f 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.12</version>
+		<version>0.1.13</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 9071c4f3ad4..4c20e913d6b 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.12</version>
+		<version>0.1.13</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 befa6ad1da4..d192c7a5d13 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.12</version>
+		<version>0.1.13</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 27288d3a2ac..b814c93ab30 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.12</version>
+		<version>0.1.13</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 41b28a030e2..e57b49a88a3 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.12
+Bundle-Version: 0.1.13
 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 c5784e95e51..16a6faf5faa 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 183847f9f37..3f25492809b 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.12
+Bundle-Version: 0.1.13
 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 32f155b5231..5df284ba274 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 96b2ed35a17..dfe3ca62c62 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.12
+Bundle-Version: 0.1.13
 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 ac2b6081c54..fa81906acf4 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</version>
   <packaging>eclipse-plugin</packaging>
 </project>
diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml
index 76208446c15..4f4330ed059 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.12</version>
+		<version>0.1.13</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 133748af3c0..44c333aa12e 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.12
+Bundle-Version: 0.1.13
 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 70797a98461..950aaef82d5 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 c6b0d130688..989e2c770d8 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.12
+Bundle-Version: 0.1.13
 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 cbfb051baf7..0bf5bde3d16 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.12</version>
+		<version>0.1.13</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 62b057cd610..b69974cf1e0 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.12
+Bundle-Version: 0.1.13
 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 2bfc568d816..52c83e024b7 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 be5194224d6..fd744482cfa 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.12
+Bundle-Version: 0.1.13
 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 b6a0a2948a7..7dd0bf1b694 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 e5870fccec7..14250a5c233 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.12
+Bundle-Version: 0.1.13
 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 cd1e22aa5ee..7a6fa2b7eb9 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 78c36f3276e..52ea71d2718 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.12
+Bundle-Version: 0.1.13
 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 043fb54a459..d961b0faa7f 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 204eb2babd4..237fe7904a5 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.12
+Bundle-Version: 0.1.13
 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 18b477c13c9..b573f375c8f 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 dbb6c14b3f1..14038cd8946 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.12
+Bundle-Version: 0.1.13
 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 aaae0652b03..bb8f9052674 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 43d7af59bf3..f430a41dfe3 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.12
+Bundle-Version: 0.1.13
 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 c6e23600c73..9d0d3b89a59 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 ebb79dfc54f..83f0ba16ab5 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.12
+Bundle-Version: 0.1.13
 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 5ea9e53e0f6..bdae9bb1615 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 16990889760..ceef13b85de 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.12
+Bundle-Version: 0.1.13
 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 5263a3e8353..252b3419480 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.12</version>
+		<version>0.1.13</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.12</version>
+  <version>0.1.13</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 9b2df1ab221..f45a4c622d4 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.12
+Bundle-Version: 0.1.13
 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 6dedb193f02..763dd32aa7a 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 2eea50ee1c9..94391ad478c 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.12
+Bundle-Version: 0.1.13
 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 3a60d4e0c83..d8674c3ecf3 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 b35eaf92745..5364d797447 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.12
+Bundle-Version: 0.1.13
 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 166c1d46a68..9026178d8b4 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 539fcdc1af8..cf61ac4eb3e 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.12
+Bundle-Version: 0.1.13
 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 dca776e2bdc..55995cf8ea8 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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-test-plugin</packaging>
 
 	<parent>
 		<artifactId>mavenparent</artifactId>
 		<groupId>de.uni_freiburg.informatik.ultimate</groupId>
-		<version>0.1.12</version>
+		<version>0.1.13</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 ca590c2fd10..839dc4d4f58 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.12
+Bundle-Version: 0.1.13
 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 43f28a898c9..a03f3a59bd6 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 fd5484eeac9..82ba7f3be0b 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.12
+Bundle-Version: 0.1.13
 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 74eebfe6912..48eaa9cbfb9 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</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 255c74dc956..63d4c4a6bac 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.12
+Bundle-Version: 0.1.13
 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 a32b5042357..b344efafe71 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.12</version>
+		<version>0.1.13</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.12</version>
+	<version>0.1.13</version>
 	<packaging>eclipse-plugin</packaging>
 </project>