diff --git a/plugins/de.ovgu.featureide.examples/jar/de.ovgu.featureide.lib.fm.jar b/plugins/de.ovgu.featureide.examples/jar/de.ovgu.featureide.lib.fm.jar index 1398e8a9df..fe3e7eb36c 100644 Binary files a/plugins/de.ovgu.featureide.examples/jar/de.ovgu.featureide.lib.fm.jar and b/plugins/de.ovgu.featureide.examples/jar/de.ovgu.featureide.lib.fm.jar differ