diff --git a/trunk/source/ACSLParser/META-INF/MANIFEST.MF b/trunk/source/ACSLParser/META-INF/MANIFEST.MF
index 6c33dcc47f..cabb30facd 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.20
+Bundle-Version: 0.1.21
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 f8809b3262..b2bd5c31c3 100644
--- a/trunk/source/ACSLParser/pom.xml
+++ b/trunk/source/ACSLParser/pom.xml
@@ -32,7 +32,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/ASTBuilder/META-INF/MANIFEST.MF b/trunk/source/ASTBuilder/META-INF/MANIFEST.MF
index f765ed2fc1..10055a7f6b 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.20
+Bundle-Version: 0.1.21
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 3696b87c20..fc9850227c 100644
--- a/trunk/source/ASTBuilder/pom.xml
+++ b/trunk/source/ASTBuilder/pom.xml
@@ -35,7 +35,7 @@
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate
diff --git a/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2/META-INF/MANIFEST.MF
index 779cd2420b..a0cb0eeacc 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.20
+Bundle-Version: 0.1.21
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 0f218f5dd2..934983449c 100644
--- a/trunk/source/AbstractInterpretationV2/pom.xml
+++ b/trunk/source/AbstractInterpretationV2/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF b/trunk/source/AbstractInterpretationV2Test/META-INF/MANIFEST.MF
index 6fce81ab7c..c62ed7e9b9 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.20
+Bundle-Version: 0.1.21
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 0a10899d72..9ceb134074 100644
--- a/trunk/source/AbstractInterpretationV2Test/pom.xml
+++ b/trunk/source/AbstractInterpretationV2Test/pom.xml
@@ -35,7 +35,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptInterpreter/META-INF/MANIFEST.MF
index b2fe305937..42507537a7 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.20
+Bundle-Version: 0.1.21
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 9acf3b6be0..eae3e55a14 100644
--- a/trunk/source/AutomataScriptInterpreter/pom.xml
+++ b/trunk/source/AutomataScriptInterpreter/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF b/trunk/source/AutomataScriptParser/META-INF/MANIFEST.MF
index dff174cb69..ae77a06004 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.20
+Bundle-Version: 0.1.21
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 11e0c6c03c..e219d42c2a 100644
--- a/trunk/source/AutomataScriptParser/pom.xml
+++ b/trunk/source/AutomataScriptParser/pom.xml
@@ -30,13 +30,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/AutomatonDeltaDebugger/META-INF/MANIFEST.MF
index c1c54c1b9b..807330a670 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.20
+Bundle-Version: 0.1.21
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 5207e73e15..8216a0aeac 100644
--- a/trunk/source/AutomatonDeltaDebugger/pom.xml
+++ b/trunk/source/AutomatonDeltaDebugger/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
index e55add9785..04637025da 100644
--- a/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.21">
[Enter Feature Description here.]
diff --git a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
index 0420936bcb..8e3a41f3d2 100644
--- a/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
+++ b/trunk/source/BA_FeatureDependenciesCommandlineE4/pom.xml
@@ -4,11 +4,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
BA_FeatureDependenciesCommandlineE4
- 0.1.20
+ 0.1.21
eclipse-feature
\ No newline at end of file
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
index 6c6a4616a2..75335dc5d9 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.21">
[Enter Feature Description here.]
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
index 32361b2af2..4662f83b28 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/pom.xml
@@ -4,11 +4,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
BA_FeatureDependenciesDebugE4
- 0.1.20
+ 0.1.21
eclipse-feature
\ No newline at end of file
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
index 9e4143e827..393efaae31 100644
--- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.21">
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
index e88d753fca..634069038c 100644
--- a/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
+++ b/trunk/source/BA_FeatureUltimateCommandLine/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml
index 30d63b25c9..e1a681db0f 100644
--- a/trunk/source/BA_FeatureUltimateCommon/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommon/feature.xml
@@ -2,7 +2,7 @@
diff --git a/trunk/source/BA_FeatureUltimateCommon/pom.xml b/trunk/source/BA_FeatureUltimateCommon/pom.xml
index 6c8435646f..28351753a1 100644
--- a/trunk/source/BA_FeatureUltimateCommon/pom.xml
+++ b/trunk/source/BA_FeatureUltimateCommon/pom.xml
@@ -6,7 +6,7 @@
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml
index 2218e570aa..674f0c2804 100644
--- a/trunk/source/BA_FeatureUltimateDebug/feature.xml
+++ b/trunk/source/BA_FeatureUltimateDebug/feature.xml
@@ -2,7 +2,7 @@
diff --git a/trunk/source/BA_FeatureUltimateDebug/pom.xml b/trunk/source/BA_FeatureUltimateDebug/pom.xml
index 5ef8bb470a..43303d5805 100644
--- a/trunk/source/BA_FeatureUltimateDebug/pom.xml
+++ b/trunk/source/BA_FeatureUltimateDebug/pom.xml
@@ -6,7 +6,7 @@
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
index 7508a1aadb..0fd0facdbb 100644
--- a/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
+++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/feature.xml
@@ -2,7 +2,7 @@
+ version="0.1.21">
diff --git a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
index f4e71b1cd8..f878118496 100644
--- a/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
+++ b/trunk/source/BA_FeatureUltimateDeltaDebugger/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml
index 651a08a517..ff28603bd3 100644
--- a/trunk/source/BA_MavenParentUltimate/pom.xml
+++ b/trunk/source/BA_MavenParentUltimate/pom.xml
@@ -3,7 +3,7 @@
4.0.0
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
pom
Ultimate
@@ -15,7 +15,7 @@
- 0.1.20
+ 0.1.21
1.0.0
diff --git a/trunk/source/BA_SiteRepository/CLI-E4.product b/trunk/source/BA_SiteRepository/CLI-E4.product
index 7e390dbf3f..7b8f046daf 100644
--- a/trunk/source/BA_SiteRepository/CLI-E4.product
+++ b/trunk/source/BA_SiteRepository/CLI-E4.product
@@ -1,7 +1,7 @@
-
+
@@ -41,9 +41,9 @@
-
-
-
+
+
+
diff --git a/trunk/source/BA_SiteRepository/Debug-E4.product b/trunk/source/BA_SiteRepository/Debug-E4.product
index 0c680b81c9..9839b2dcbd 100644
--- a/trunk/source/BA_SiteRepository/Debug-E4.product
+++ b/trunk/source/BA_SiteRepository/Debug-E4.product
@@ -1,7 +1,7 @@
-
+
@@ -42,9 +42,9 @@
-
-
-
+
+
+
diff --git a/trunk/source/BA_SiteRepository/DeltaDebugger.product b/trunk/source/BA_SiteRepository/DeltaDebugger.product
index 9a4f92dbbb..2e250f35e2 100644
--- a/trunk/source/BA_SiteRepository/DeltaDebugger.product
+++ b/trunk/source/BA_SiteRepository/DeltaDebugger.product
@@ -1,7 +1,7 @@
-
+
@@ -41,9 +41,9 @@
-
-
-
+
+
+
diff --git a/trunk/source/BA_SiteRepository/ReqAnalyzer.product b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
index 29eaf16e8a..bd1d2505ef 100644
--- a/trunk/source/BA_SiteRepository/ReqAnalyzer.product
+++ b/trunk/source/BA_SiteRepository/ReqAnalyzer.product
@@ -1,7 +1,7 @@
-
+
@@ -48,9 +48,9 @@
-
-
-
+
+
+
diff --git a/trunk/source/BA_SiteRepository/pom.xml b/trunk/source/BA_SiteRepository/pom.xml
index cca7e7ce22..8c18d0c199 100644
--- a/trunk/source/BA_SiteRepository/pom.xml
+++ b/trunk/source/BA_SiteRepository/pom.xml
@@ -5,7 +5,7 @@
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BlockEncoding/META-INF/MANIFEST.MF b/trunk/source/BlockEncoding/META-INF/MANIFEST.MF
index 4295b930b9..643676b313 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.20
+Bundle-Version: 0.1.21
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 adcdfb9241..6b991b2d1d 100644
--- a/trunk/source/BlockEncoding/pom.xml
+++ b/trunk/source/BlockEncoding/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF b/trunk/source/BlockEncodingV2/META-INF/MANIFEST.MF
index e863d58d57..f767eb623f 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.20
+Bundle-Version: 0.1.21
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 95fd43cba7..73e13ac219 100644
--- a/trunk/source/BlockEncodingV2/pom.xml
+++ b/trunk/source/BlockEncodingV2/pom.xml
@@ -23,12 +23,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.blockencoding
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF b/trunk/source/BoogieModSetAnnotator/META-INF/MANIFEST.MF
index 9eeb9f2a33..388c38f56e 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.20
+Bundle-Version: 0.1.21
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 60a2cf205d..a8381e53d1 100644
--- a/trunk/source/BoogieModSetAnnotator/pom.xml
+++ b/trunk/source/BoogieModSetAnnotator/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF b/trunk/source/BoogiePLParser/META-INF/MANIFEST.MF
index 87aa3c96bc..f10b67ce94 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.20
+Bundle-Version: 0.1.21
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 3e92202826..f63b94a441 100644
--- a/trunk/source/BoogiePLParser/pom.xml
+++ b/trunk/source/BoogiePLParser/pom.xml
@@ -32,13 +32,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.boogie.parser
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessor/META-INF/MANIFEST.MF
index bcc4a80b9b..3fca4799e9 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.20
+Bundle-Version: 0.1.21
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 cee02686b8..c2bf12e10f 100644
--- a/trunk/source/BoogiePreprocessor/pom.xml
+++ b/trunk/source/BoogiePreprocessor/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.boogie.preprocessor
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF b/trunk/source/BoogiePreprocessorTest/META-INF/MANIFEST.MF
index ab57498f62..ed19035689 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.20
+Bundle-Version: 0.1.21
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 76744a7abf..21a84ac9e0 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">
4.0.0
de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF b/trunk/source/BoogiePrinter/META-INF/MANIFEST.MF
index b5ff6c22e5..42b860b443 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.20
+Bundle-Version: 0.1.21
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 c1794b8974..03a1a13b36 100644
--- a/trunk/source/BoogiePrinter/pom.xml
+++ b/trunk/source/BoogiePrinter/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.boogie.printer
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF b/trunk/source/BoogieProcedureInliner/META-INF/MANIFEST.MF
index ca2dd1265f..266b0eb961 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.20
+Bundle-Version: 0.1.21
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 8a60400ada..68694bf6ae 100644
--- a/trunk/source/BoogieProcedureInliner/pom.xml
+++ b/trunk/source/BoogieProcedureInliner/pom.xml
@@ -32,11 +32,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF b/trunk/source/BuchiAutomizer/META-INF/MANIFEST.MF
index f1888d996c..f64b9aa600 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.20
+Bundle-Version: 0.1.21
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 de52e9fc0e..846177337b 100644
--- a/trunk/source/BuchiAutomizer/pom.xml
+++ b/trunk/source/BuchiAutomizer/pom.xml
@@ -28,13 +28,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
- 0.1.20
+ 0.1.21
eclipse-plugin
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF b/trunk/source/BuchiProgramProduct/META-INF/MANIFEST.MF
index 8674c6c228..a95f8b9a24 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.20
+Bundle-Version: 0.1.21
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 dee1ae27ad..29e24b518e 100644
--- a/trunk/source/BuchiProgramProduct/pom.xml
+++ b/trunk/source/BuchiProgramProduct/pom.xml
@@ -32,12 +32,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.buchiprogramproduct
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF
index a01114a6ef..ea329cdce6 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.20
+Bundle-Version: 0.1.21
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 0000de25c7..dfa469446d 100644
--- a/trunk/source/CACSL2BoogieTranslator/pom.xml
+++ b/trunk/source/CACSL2BoogieTranslator/pom.xml
@@ -31,7 +31,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF
index cc78cac602..3cb63f1309 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.20
+Bundle-Version: 0.1.21
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 9819284ab6..5e5f43e2f1 100644
--- a/trunk/source/CDTParser/pom.xml
+++ b/trunk/source/CDTParser/pom.xml
@@ -31,7 +31,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/CDTPlugin/META-INF/MANIFEST.MF b/trunk/source/CDTPlugin/META-INF/MANIFEST.MF
index f4cefc9a9d..e2fc448312 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.20
+Bundle-Version: 0.1.21
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 9d7b1067a4..5d118c24e4 100644
--- a/trunk/source/CDTPlugin/pom.xml
+++ b/trunk/source/CDTPlugin/pom.xml
@@ -31,7 +31,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/CodeCheck/META-INF/MANIFEST.MF b/trunk/source/CodeCheck/META-INF/MANIFEST.MF
index 15d4a28a3d..739f79c90a 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.20
+Bundle-Version: 0.1.21
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 1a8ac25656..3af38845b2 100644
--- a/trunk/source/CodeCheck/pom.xml
+++ b/trunk/source/CodeCheck/pom.xml
@@ -32,11 +32,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/CoreRCP/META-INF/MANIFEST.MF b/trunk/source/CoreRCP/META-INF/MANIFEST.MF
index c9e2a4cb8b..687affc368 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.20
+Bundle-Version: 0.1.21
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 72bef9697b..22ec1f6563 100644
--- a/trunk/source/CoreRCP/pom.xml
+++ b/trunk/source/CoreRCP/pom.xml
@@ -32,12 +32,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.core
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF b/trunk/source/CoreRCPTest/META-INF/MANIFEST.MF
index 96715cb61e..6080e8fc6d 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.20
+Bundle-Version: 0.1.21
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 883fa0afa2..32673164bc 100644
--- a/trunk/source/CoreRCPTest/pom.xml
+++ b/trunk/source/CoreRCPTest/pom.xml
@@ -3,13 +3,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate.core.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF b/trunk/source/GUIGeneratedPreferencePages/META-INF/MANIFEST.MF
index e95236cc78..dc28da1d34 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.20
+Bundle-Version: 0.1.21
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 adee806227..9c34ad6456 100644
--- a/trunk/source/GUIGeneratedPreferencePages/pom.xml
+++ b/trunk/source/GUIGeneratedPreferencePages/pom.xml
@@ -31,11 +31,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.gui.preferencepages
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF b/trunk/source/GUILoggingWindow/META-INF/MANIFEST.MF
index 2c9b66b9ff..0f5da0c5b1 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.20
+Bundle-Version: 0.1.21
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 7249cceb7a..6ef897ed50 100644
--- a/trunk/source/GUILoggingWindow/pom.xml
+++ b/trunk/source/GUILoggingWindow/pom.xml
@@ -31,11 +31,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.gui.logging
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/GuiRCP/META-INF/MANIFEST.MF b/trunk/source/GuiRCP/META-INF/MANIFEST.MF
index e64e87a381..66ee99722c 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.20
+Bundle-Version: 0.1.21
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 a6f519506b..c19fef3412 100644
--- a/trunk/source/GuiRCP/pom.xml
+++ b/trunk/source/GuiRCP/pom.xml
@@ -31,11 +31,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.gui
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/IRSDependencies/META-INF/MANIFEST.MF b/trunk/source/IRSDependencies/META-INF/MANIFEST.MF
index 2b9caeb536..9396dff277 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.20
+Bundle-Version: 0.1.21
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 b3c9862404..a643d944c8 100644
--- a/trunk/source/IRSDependencies/pom.xml
+++ b/trunk/source/IRSDependencies/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF b/trunk/source/IcfgTransformation/META-INF/MANIFEST.MF
index b581ba9977..5fd7c453e1 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.20
+Bundle-Version: 0.1.21
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 8fa8a0349d..3db0131300 100644
--- a/trunk/source/IcfgTransformation/pom.xml
+++ b/trunk/source/IcfgTransformation/pom.xml
@@ -23,12 +23,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF b/trunk/source/InvariantSynthesis/META-INF/MANIFEST.MF
index f115ecc36c..315f4b5b3e 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.20
+Bundle-Version: 0.1.21
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 60cb1e054e..6fc4f04e0f 100644
--- a/trunk/source/InvariantSynthesis/pom.xml
+++ b/trunk/source/InvariantSynthesis/pom.xml
@@ -30,13 +30,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/JavaCup/pom.xml b/trunk/source/JavaCup/pom.xml
index 0210c00910..c1116c20d9 100644
--- a/trunk/source/JavaCup/pom.xml
+++ b/trunk/source/JavaCup/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/JungVisualization/META-INF/MANIFEST.MF b/trunk/source/JungVisualization/META-INF/MANIFEST.MF
index fd96f90205..1b7864c016 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.20
+Bundle-Version: 0.1.21
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 10265e7695..d3c664bfdf 100644
--- a/trunk/source/JungVisualization/pom.xml
+++ b/trunk/source/JungVisualization/pom.xml
@@ -33,7 +33,7 @@
de.uni_freiburg.informatik.ultimate
mavenparent
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate
diff --git a/trunk/source/LTL2aut/META-INF/MANIFEST.MF b/trunk/source/LTL2aut/META-INF/MANIFEST.MF
index 571939e1fe..242fd0e228 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.20
+Bundle-Version: 0.1.21
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 bc05ace55a..7b4fa31f99 100644
--- a/trunk/source/LTL2aut/pom.xml
+++ b/trunk/source/LTL2aut/pom.xml
@@ -32,14 +32,14 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.ltl2aut
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/LassoRanker/META-INF/MANIFEST.MF b/trunk/source/LassoRanker/META-INF/MANIFEST.MF
index eb02382b35..63e24dde8a 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.20
+Bundle-Version: 0.1.21
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 942cc5bdde..1e11db5795 100644
--- a/trunk/source/LassoRanker/pom.xml
+++ b/trunk/source/LassoRanker/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-ApacheCommonsCLI/pom.xml b/trunk/source/Library-ApacheCommonsCLI/pom.xml
index ee4bac987b..3c62f59f82 100644
--- a/trunk/source/Library-ApacheCommonsCLI/pom.xml
+++ b/trunk/source/Library-ApacheCommonsCLI/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-ApacheCommonsLang/pom.xml b/trunk/source/Library-ApacheCommonsLang/pom.xml
index 0d0c8672e7..f0c570a888 100644
--- a/trunk/source/Library-ApacheCommonsLang/pom.xml
+++ b/trunk/source/Library-ApacheCommonsLang/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Automata/META-INF/MANIFEST.MF b/trunk/source/Library-Automata/META-INF/MANIFEST.MF
index 46554028ce..45c553a4c1 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.20
+Bundle-Version: 0.1.21
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 da7a23ba47..f5998cc3b0 100644
--- a/trunk/source/Library-Automata/pom.xml
+++ b/trunk/source/Library-Automata/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.lib.automata
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF b/trunk/source/Library-AutomataTest/META-INF/MANIFEST.MF
index a52ceb8ea2..e657d8c2ce 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.20
+Bundle-Version: 0.1.21
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 44b62cd670..2d28c8bdd2 100644
--- a/trunk/source/Library-AutomataTest/pom.xml
+++ b/trunk/source/Library-AutomataTest/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.lib.automata.test
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-Batik/pom.xml b/trunk/source/Library-Batik/pom.xml
index 6873e40af1..7de6c269af 100644
--- a/trunk/source/Library-Batik/pom.xml
+++ b/trunk/source/Library-Batik/pom.xml
@@ -5,7 +5,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF b/trunk/source/Library-BoogieAST/META-INF/MANIFEST.MF
index baeb36defa..195f52984f 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.20
+Bundle-Version: 0.1.21
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 ac1903a63d..ddb04933f3 100644
--- a/trunk/source/Library-BoogieAST/pom.xml
+++ b/trunk/source/Library-BoogieAST/pom.xml
@@ -24,12 +24,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.lib.boogieast
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-CZT/pom.xml b/trunk/source/Library-CZT/pom.xml
index 33e0991ccd..6b9bd3b4d4 100644
--- a/trunk/source/Library-CZT/pom.xml
+++ b/trunk/source/Library-CZT/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Disruptor/pom.xml b/trunk/source/Library-Disruptor/pom.xml
index cb84306468..19d2b50b41 100644
--- a/trunk/source/Library-Disruptor/pom.xml
+++ b/trunk/source/Library-Disruptor/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformer/META-INF/MANIFEST.MF
index 649651ca8d..52616a31d5 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.20
+Bundle-Version: 0.1.21
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 1d10142f7d..c976dd8c04 100644
--- a/trunk/source/Library-IcfgTransformer/pom.xml
+++ b/trunk/source/Library-IcfgTransformer/pom.xml
@@ -31,11 +31,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
- 0.1.20
+ 0.1.21
eclipse-plugin
de.uni_freiburg.informatik.ultimate.lib.icfgtransformer
diff --git a/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF b/trunk/source/Library-IcfgTransformerTest/META-INF/MANIFEST.MF
index e858c05f64..b702f71dc3 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.20
+Bundle-Version: 0.1.21
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 8e9f4c37e1..1ddb849cdc 100644
--- a/trunk/source/Library-IcfgTransformerTest/pom.xml
+++ b/trunk/source/Library-IcfgTransformerTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
index b89b41fc89..53d1626e78 100644
--- a/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveCommon/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Library-InteractiveCommon
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.common;singleton:=true
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: de.uni_freiburg.informatik.ultimate.core,
com.google.protobuf,
diff --git a/trunk/source/Library-InteractiveCommon/pom.xml b/trunk/source/Library-InteractiveCommon/pom.xml
index 00bf7bd754..2581b5b71a 100644
--- a/trunk/source/Library-InteractiveCommon/pom.xml
+++ b/trunk/source/Library-InteractiveCommon/pom.xml
@@ -4,12 +4,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.interactive.common
de.uni_freiburg.informatik.ultimate.interactive.common
- 0.1.20
+ 0.1.21
eclipse-plugin
\ No newline at end of file
diff --git a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
index 6d24db4a00..63dfe790ca 100644
--- a/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveModel/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: InteractiveModel
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
Export-Package: de.uni_freiburg.informatik.ultimate.interactive,
diff --git a/trunk/source/Library-InteractiveModel/pom.xml b/trunk/source/Library-InteractiveModel/pom.xml
index 04365046d4..a8e2587e15 100644
--- a/trunk/source/Library-InteractiveModel/pom.xml
+++ b/trunk/source/Library-InteractiveModel/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.interactive
de.uni_freiburg.informatik.ultimate.interactive
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
index c55a50816d..06676f8fa4 100644
--- a/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-InteractiveTA/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Library-InteractiveTA
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.interactive.traceabstraction;singleton:=true
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.core,
de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils,
diff --git a/trunk/source/Library-InteractiveTA/pom.xml b/trunk/source/Library-InteractiveTA/pom.xml
index 49884dec28..523359664e 100644
--- a/trunk/source/Library-InteractiveTA/pom.xml
+++ b/trunk/source/Library-InteractiveTA/pom.xml
@@ -4,12 +4,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.interactive.traceabstraction
de.uni_freiburg.informatik.ultimate.interactive.traceabstraction
- 0.1.20
+ 0.1.21
eclipse-plugin
\ No newline at end of file
diff --git a/trunk/source/Library-JavaBDD/pom.xml b/trunk/source/Library-JavaBDD/pom.xml
index bff94c24ea..ced47496ce 100644
--- a/trunk/source/Library-JavaBDD/pom.xml
+++ b/trunk/source/Library-JavaBDD/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Jung/pom.xml b/trunk/source/Library-Jung/pom.xml
index ad937bf13d..179bf47b13 100644
--- a/trunk/source/Library-Jung/pom.xml
+++ b/trunk/source/Library-Jung/pom.xml
@@ -5,7 +5,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-LassoRanker/pom.xml b/trunk/source/Library-LassoRanker/pom.xml
index 3712bdac8f..40ebcb4df9 100644
--- a/trunk/source/Library-LassoRanker/pom.xml
+++ b/trunk/source/Library-LassoRanker/pom.xml
@@ -31,7 +31,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Log4j2/pom.xml b/trunk/source/Library-Log4j2/pom.xml
index 3cc700bb20..5887a3e5a3 100644
--- a/trunk/source/Library-Log4j2/pom.xml
+++ b/trunk/source/Library-Log4j2/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtils/META-INF/MANIFEST.MF
index 5128e0dd05..87742ca495 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.20
+Bundle-Version: 0.1.21
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 107023ff2f..1920ac44d7 100644
--- a/trunk/source/Library-ModelCheckerUtils/pom.xml
+++ b/trunk/source/Library-ModelCheckerUtils/pom.xml
@@ -31,11 +31,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF b/trunk/source/Library-ModelCheckerUtilsTest/META-INF/MANIFEST.MF
index 9efed7096b..8e7b4d52f2 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.20
+Bundle-Version: 0.1.21
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 95c8c4e744..4810923066 100644
--- a/trunk/source/Library-ModelCheckerUtilsTest/pom.xml
+++ b/trunk/source/Library-ModelCheckerUtilsTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-PEA/pom.xml b/trunk/source/Library-PEA/pom.xml
index e988a70132..13269a58b6 100644
--- a/trunk/source/Library-PEA/pom.xml
+++ b/trunk/source/Library-PEA/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Protobuf/pom.xml b/trunk/source/Library-Protobuf/pom.xml
index 5d56e5495a..bfd5d117a8 100644
--- a/trunk/source/Library-Protobuf/pom.xml
+++ b/trunk/source/Library-Protobuf/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF b/trunk/source/Library-SMTLIB/META-INF/MANIFEST.MF
index c1362f3a01..a48c229550 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.20
+Bundle-Version: 0.1.21
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 17078f5c92..937359f0b2 100644
--- a/trunk/source/Library-SMTLIB/pom.xml
+++ b/trunk/source/Library-SMTLIB/pom.xml
@@ -4,12 +4,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.smtlib
- 0.1.20
+ 0.1.21
eclipse-plugin
\ 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 8b47aafc08..f9c5b00b18 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.20
+Bundle-Version: 0.1.21
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 a37b95ecab..c94bdf76f0 100644
--- a/trunk/source/Library-SMTLIBTest/pom.xml
+++ b/trunk/source/Library-SMTLIBTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.smtlib.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-Server/META-INF/MANIFEST.MF b/trunk/source/Library-Server/META-INF/MANIFEST.MF
index 5d917a693f..1f4a1134ff 100644
--- a/trunk/source/Library-Server/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-Server/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Server
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.server
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.interactive
diff --git a/trunk/source/Library-Server/pom.xml b/trunk/source/Library-Server/pom.xml
index bd88c21ff9..3a1965e950 100644
--- a/trunk/source/Library-Server/pom.xml
+++ b/trunk/source/Library-Server/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.server
de.uni_freiburg.informatik.ultimate.server
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF
index 6f61945b38..c118bb94be 100644
--- a/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-TreeAutomizer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Library-TreeAutomizer
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.treeautomizer
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ClassPath: .
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils;bundle-version="0.1.19",
diff --git a/trunk/source/Library-TreeAutomizer/pom.xml b/trunk/source/Library-TreeAutomizer/pom.xml
index a8e226aff6..29fda2169a 100644
--- a/trunk/source/Library-TreeAutomizer/pom.xml
+++ b/trunk/source/Library-TreeAutomizer/pom.xml
@@ -30,11 +30,11 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate.lib.treeautomizer
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateCore/META-INF/MANIFEST.MF
index 38bb91ff22..f80ffc2a83 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.20
+Bundle-Version: 0.1.21
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 76babbb51f..a069f7dca5 100644
--- a/trunk/source/Library-UltimateCore/pom.xml
+++ b/trunk/source/Library-UltimateCore/pom.xml
@@ -22,13 +22,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.core
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateModel/META-INF/MANIFEST.MF
index e327fa1cc4..a29a18dca5 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.20
+Bundle-Version: 0.1.21
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 207dd0558e..d97bce6817 100644
--- a/trunk/source/Library-UltimateModel/pom.xml
+++ b/trunk/source/Library-UltimateModel/pom.xml
@@ -31,13 +31,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTest/META-INF/MANIFEST.MF
index 8361730bc0..a082fa51eb 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.20
+Bundle-Version: 0.1.21
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 f72bc428db..822a16018d 100644
--- a/trunk/source/Library-UltimateTest/pom.xml
+++ b/trunk/source/Library-UltimateTest/pom.xml
@@ -31,13 +31,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.test
- 0.1.20
+ 0.1.21
eclipse-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateTestTest/META-INF/MANIFEST.MF
index bfaf9083d8..98012a715f 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.20
+Bundle-Version: 0.1.21
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 b35052a21e..ed92947180 100644
--- a/trunk/source/Library-UltimateTestTest/pom.xml
+++ b/trunk/source/Library-UltimateTestTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.test.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtil/META-INF/MANIFEST.MF
index 27e20872ff..ea33099476 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.20
+Bundle-Version: 0.1.21
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 3b6e2bfbbe..b26ad4b2b1 100644
--- a/trunk/source/Library-UltimateUtil/pom.xml
+++ b/trunk/source/Library-UltimateUtil/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.util
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF b/trunk/source/Library-UltimateUtilTest/META-INF/MANIFEST.MF
index 30127c1233..55d65cd466 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.20
+Bundle-Version: 0.1.21
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 a3f738794c..0a4b0d5f6b 100644
--- a/trunk/source/Library-UltimateUtilTest/pom.xml
+++ b/trunk/source/Library-UltimateUtilTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.util.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-jdom/pom.xml b/trunk/source/Library-jdom/pom.xml
index 6a1dae075e..55043e99a2 100644
--- a/trunk/source/Library-jdom/pom.xml
+++ b/trunk/source/Library-jdom/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-log4j/pom.xml b/trunk/source/Library-log4j/pom.xml
index 5b5636fc9a..04e28021f4 100644
--- a/trunk/source/Library-log4j/pom.xml
+++ b/trunk/source/Library-log4j/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-ojAlgo/pom.xml b/trunk/source/Library-ojAlgo/pom.xml
index 9827c86299..292ac884b6 100644
--- a/trunk/source/Library-ojAlgo/pom.xml
+++ b/trunk/source/Library-ojAlgo/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-srParse/pom.xml b/trunk/source/Library-srParse/pom.xml
index 564e9891cb..d2c171f67b 100644
--- a/trunk/source/Library-srParse/pom.xml
+++ b/trunk/source/Library-srParse/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF b/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF
index 251c2c1e45..d6eca38f61 100644
--- a/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF
+++ b/trunk/source/Library-srParseTest/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Library-srParseTest
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.lib.srparse.test
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Fragment-Host: de.uni_freiburg.informatik.ultimate.lib.srparse
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: org.junit,
diff --git a/trunk/source/Library-srParseTest/pom.xml b/trunk/source/Library-srParseTest/pom.xml
index 6c4c36301a..cdb275c202 100644
--- a/trunk/source/Library-srParseTest/pom.xml
+++ b/trunk/source/Library-srParseTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.lib.srparse.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/Library-xerces/pom.xml b/trunk/source/Library-xerces/pom.xml
index 370c19bd87..02ab9e1642 100644
--- a/trunk/source/Library-xerces/pom.xml
+++ b/trunk/source/Library-xerces/pom.xml
@@ -4,7 +4,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF b/trunk/source/PEAtoBoogie/META-INF/MANIFEST.MF
index f132095e9a..5b0c4bad45 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.20
+Bundle-Version: 0.1.21
Bundle-Activator: de.uni_freiburg.informatik.ultimate.pea2boogie.Activator
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/trunk/source/PEAtoBoogie/pom.xml b/trunk/source/PEAtoBoogie/pom.xml
index 1adb0af30b..3395c6107e 100644
--- a/trunk/source/PEAtoBoogie/pom.xml
+++ b/trunk/source/PEAtoBoogie/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.pea2boogie
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF b/trunk/source/RCFGBuilder/META-INF/MANIFEST.MF
index 0972e6e50c..aaa7d7a87f 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.20
+Bundle-Version: 0.1.21
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 745015459e..6bc628bf2f 100644
--- a/trunk/source/RCFGBuilder/pom.xml
+++ b/trunk/source/RCFGBuilder/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF b/trunk/source/ReachingDefinitions/META-INF/MANIFEST.MF
index 59b0063e8e..87df28120d 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.20
+Bundle-Version: 0.1.21
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 609125f8e9..fa8894cd26 100644
--- a/trunk/source/ReachingDefinitions/pom.xml
+++ b/trunk/source/ReachingDefinitions/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/SMTInterpol/pom.xml b/trunk/source/SMTInterpol/pom.xml
index d2d375497a..64e494bb2a 100644
--- a/trunk/source/SMTInterpol/pom.xml
+++ b/trunk/source/SMTInterpol/pom.xml
@@ -5,7 +5,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF b/trunk/source/SMTInterpolTest/META-INF/MANIFEST.MF
index d396e1c2b5..fe9607f97c 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.20
+Bundle-Version: 0.1.21
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 935197565c..b142bd654a 100644
--- a/trunk/source/SMTInterpolTest/pom.xml
+++ b/trunk/source/SMTInterpolTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.smtinterpol.test
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridge/META-INF/MANIFEST.MF
index 644bd40469..0c60d6644b 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.20
+Bundle-Version: 0.1.21
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 f4c6bd603c..53aee0ca2a 100644
--- a/trunk/source/SMTSolverBridge/pom.xml
+++ b/trunk/source/SMTSolverBridge/pom.xml
@@ -32,7 +32,7 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF b/trunk/source/SMTSolverBridgeTest/META-INF/MANIFEST.MF
index 2e350f3a2b..0e10948e4f 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.20
+Bundle-Version: 0.1.21
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 2048ab779b..73be503069 100644
--- a/trunk/source/SMTSolverBridgeTest/pom.xml
+++ b/trunk/source/SMTSolverBridgeTest/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.smtsolver.external.test
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/SmtParser/META-INF/MANIFEST.MF b/trunk/source/SmtParser/META-INF/MANIFEST.MF
index 1d6bd914e0..532857db75 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.20
+Bundle-Version: 0.1.21
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 2dc7151ea3..678c691253 100644
--- a/trunk/source/SmtParser/pom.xml
+++ b/trunk/source/SmtParser/pom.xml
@@ -23,13 +23,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.source.smtparser
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/SpaceExParser/META-INF/MANIFEST.MF b/trunk/source/SpaceExParser/META-INF/MANIFEST.MF
index 67f09a5cc8..78de0b165b 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.20
+Bundle-Version: 0.1.21
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 367ba0e5cd..17c88c6d2e 100644
--- a/trunk/source/SpaceExParser/pom.xml
+++ b/trunk/source/SpaceExParser/pom.xml
@@ -34,13 +34,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF b/trunk/source/SpaceExParserTest/META-INF/MANIFEST.MF
index 23cb0ee732..ba32cc86ce 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.20
+Bundle-Version: 0.1.21
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 2d5ff1db41..73f9a69250 100644
--- a/trunk/source/SpaceExParserTest/pom.xml
+++ b/trunk/source/SpaceExParserTest/pom.xml
@@ -34,13 +34,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF b/trunk/source/SyntaxChecker/META-INF/MANIFEST.MF
index dde1f4445b..6c13fbaea2 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.20
+Bundle-Version: 0.1.21
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 b83ffb3d8c..04234aa005 100644
--- a/trunk/source/SyntaxChecker/pom.xml
+++ b/trunk/source/SyntaxChecker/pom.xml
@@ -23,13 +23,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF b/trunk/source/TraceAbstraction/META-INF/MANIFEST.MF
index 123cfc45c1..ca7dbace6c 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.20
+Bundle-Version: 0.1.21
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.lib.smtlib,
de.uni_freiburg.informatik.ultimate.lib.util,
diff --git a/trunk/source/TraceAbstraction/pom.xml b/trunk/source/TraceAbstraction/pom.xml
index 6c4c9a7ecf..5b0cee6e40 100644
--- a/trunk/source/TraceAbstraction/pom.xml
+++ b/trunk/source/TraceAbstraction/pom.xml
@@ -30,13 +30,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionConcurrent/META-INF/MANIFEST.MF
index a6de7e39a4..714eb73504 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.20
+Bundle-Version: 0.1.21
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 bbe07475bf..7d02745629 100644
--- a/trunk/source/TraceAbstractionConcurrent/pom.xml
+++ b/trunk/source/TraceAbstractionConcurrent/pom.xml
@@ -30,13 +30,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF b/trunk/source/TraceAbstractionWithAFAs/META-INF/MANIFEST.MF
index cdbcf111c8..62558d0026 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.20
+Bundle-Version: 0.1.21
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 ae767c55fc..c79de932db 100644
--- a/trunk/source/TraceAbstractionWithAFAs/pom.xml
+++ b/trunk/source/TraceAbstractionWithAFAs/pom.xml
@@ -30,13 +30,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF b/trunk/source/TreeAutomizer/META-INF/MANIFEST.MF
index 14ed2deb37..eaa6569f68 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.20
+Bundle-Version: 0.1.21
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 44d6442413..910657fd1a 100644
--- a/trunk/source/TreeAutomizer/pom.xml
+++ b/trunk/source/TreeAutomizer/pom.xml
@@ -30,12 +30,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/UltimateCLI/META-INF/MANIFEST.MF b/trunk/source/UltimateCLI/META-INF/MANIFEST.MF
index 6b7a806bc1..964422377c 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.20
+Bundle-Version: 0.1.21
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 372365aa97..e3294ddae9 100644
--- a/trunk/source/UltimateCLI/pom.xml
+++ b/trunk/source/UltimateCLI/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.cli
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF b/trunk/source/UltimateDeltaDebugger/META-INF/MANIFEST.MF
index f25b4e2dcf..2ca625e12a 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.20
+Bundle-Version: 0.1.21
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 f88ea631ab..523968817f 100644
--- a/trunk/source/UltimateDeltaDebugger/pom.xml
+++ b/trunk/source/UltimateDeltaDebugger/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.deltadebugger
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF b/trunk/source/UltimateRegressionTest/META-INF/MANIFEST.MF
index aa238422fc..7aadff7dce 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.20
+Bundle-Version: 0.1.21
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 4f916b87ce..b2f8e133d7 100644
--- a/trunk/source/UltimateRegressionTest/pom.xml
+++ b/trunk/source/UltimateRegressionTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.regressiontest
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/UltimateServer/META-INF/MANIFEST.MF b/trunk/source/UltimateServer/META-INF/MANIFEST.MF
index d04ea096bf..c5cd1584e2 100644
--- a/trunk/source/UltimateServer/META-INF/MANIFEST.MF
+++ b/trunk/source/UltimateServer/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: UltimateServer
Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.servercontroller;singleton:=true
-Bundle-Version: 0.1.20
+Bundle-Version: 0.1.21
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
de.uni_freiburg.informatik.ultimate.core,
diff --git a/trunk/source/UltimateServer/pom.xml b/trunk/source/UltimateServer/pom.xml
index 7cff52097d..57ae786707 100644
--- a/trunk/source/UltimateServer/pom.xml
+++ b/trunk/source/UltimateServer/pom.xml
@@ -31,12 +31,12 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.servercontroller
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/UltimateTest/META-INF/MANIFEST.MF b/trunk/source/UltimateTest/META-INF/MANIFEST.MF
index 588bdb277f..f468aa2d88 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.20
+Bundle-Version: 0.1.21
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 e311c9a6db..e007d46725 100644
--- a/trunk/source/UltimateTest/pom.xml
+++ b/trunk/source/UltimateTest/pom.xml
@@ -29,13 +29,13 @@
4.0.0
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.ultimatetest
- 0.1.20
+ 0.1.21
eclipse-test-plugin
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
diff --git a/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF b/trunk/source/WebUltimateBridge/META-INF/MANIFEST.MF
index 80881fe872..f07a6a9834 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.20
+Bundle-Version: 0.1.21
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 c7ec3a2e16..a5b4e2360e 100644
--- a/trunk/source/WebUltimateBridge/pom.xml
+++ b/trunk/source/WebUltimateBridge/pom.xml
@@ -5,13 +5,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.webbridge
- 0.1.20
+ 0.1.21
eclipse-plugin
\ 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 073a5ef8b5..35e34cd29b 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.20
+Bundle-Version: 0.1.21
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 0373ddf5f1..32a7154d42 100644
--- a/trunk/source/WitnessParser/pom.xml
+++ b/trunk/source/WitnessParser/pom.xml
@@ -31,13 +31,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.witnessparser
- 0.1.20
+ 0.1.21
eclipse-plugin
diff --git a/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF b/trunk/source/WitnessPrinter/META-INF/MANIFEST.MF
index e3658eec94..5604b7e3e3 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.20
+Bundle-Version: 0.1.21
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 223e7343ca..a38a3d5f9c 100644
--- a/trunk/source/WitnessPrinter/pom.xml
+++ b/trunk/source/WitnessPrinter/pom.xml
@@ -31,13 +31,13 @@
mavenparent
de.uni_freiburg.informatik.ultimate
- 0.1.20
+ 0.1.21
../BA_MavenParentUltimate/pom.xml
de.uni_freiburg.informatik.ultimate
de.uni_freiburg.informatik.ultimate.witnessprinter
- 0.1.20
+ 0.1.21
eclipse-plugin