diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.classpath b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.classpath
index 098194c..ad32c83 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.classpath
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.settings/org.eclipse.jdt.core.prefs b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.settings/org.eclipse.jdt.core.prefs
index f42de36..c537b63 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.settings/org.eclipse.jdt.core.prefs
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/.settings/org.eclipse.jdt.core.prefs
@@ -1,7 +1,7 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.6
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/META-INF/MANIFEST.MF b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/META-INF/MANIFEST.MF
index 3d430f0..bd20e05 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/META-INF/MANIFEST.MF
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.dse/META-INF/MANIFEST.MF
@@ -1,14 +1,14 @@
 Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
-Bundle-Name: Dse
+Bundle-Name: org.eclipse.viatra.dse.examples.bpmn.dse
 Bundle-SymbolicName: org.eclipse.viatra.dse.examples.bpmn.dse
-Bundle-Version: 1.0.0.qualifier
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
-Require-Bundle: org.eclipse.viatra.dse.examples.bpmn.model,
- org.eclipse.viatra.dse.examples.bpmn.patterns;bundle-version="0.0.1",
+Bundle-Version: 0.7.0.qualifier
+Bundle-RequiredExecutionEnvironment: JavaSE-1.6
+Require-Bundle: org.eclipse.viatra.dse.examples.bpmn.model;bundle-version="[0.7.0,0.8.0)",
+ org.eclipse.viatra.dse.examples.bpmn.patterns;bundle-version="[0.7.0,0.8.0)",
  org.junit;bundle-version="4.11.0",
- org.eclipse.viatra.dse.genetic,
- org.eclipse.viatra.dse.base,
+ org.eclipse.viatra.dse.genetic;bundle-version="[0.7.0,0.8.0)",
+ org.eclipse.viatra.dse.base;bundle-version="[0.7.0,0.8.0)",
  org.eclipse.incquery.runtime
 Import-Package: org.apache.log4j;version="1.2.15"
 Export-Package: org.eclipse.viatra.dse.examples.bpmn.dse,
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.classpath b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.classpath
index 098194c..ad32c83 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.classpath
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.classpath
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.settings/org.eclipse.jdt.core.prefs b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.settings/org.eclipse.jdt.core.prefs
index f42de36..c537b63 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.settings/org.eclipse.jdt.core.prefs
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/.settings/org.eclipse.jdt.core.prefs
@@ -1,7 +1,7 @@
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.6
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/META-INF/MANIFEST.MF b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/META-INF/MANIFEST.MF
index b3e6387..8d044e5 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/META-INF/MANIFEST.MF
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/META-INF/MANIFEST.MF
@@ -1,12 +1,11 @@
 Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
-Bundle-Name: %pluginName
+Bundle-Name: org.eclipse.viatra.dse.examples.bpmn.model
 Bundle-SymbolicName: org.eclipse.viatra.dse.examples.bpmn.model;singleton:=true
-Bundle-Version: 1.0.0.qualifier
+Bundle-Version: 0.7.0.qualifier
 Bundle-ClassPath: .
-Bundle-Vendor: %providerName
 Bundle-Localization: plugin
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.6
 Export-Package: org.eclipse.viatra.dse.examples.simplifiedbpmn,
  org.eclipse.viatra.dse.examples.simplifiedbpmn.impl,
  org.eclipse.viatra.dse.examples.simplifiedbpmn.util
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/build.properties b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/build.properties
index 4465407..aa060dc 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/build.properties
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.model/build.properties
@@ -1,7 +1,6 @@
 #
 
 bin.includes = .,\
-               model/,\
                META-INF/,\
                plugin.xml,\
                plugin.properties
diff --git a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/META-INF/MANIFEST.MF b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/META-INF/MANIFEST.MF
index 32771c2..61de11f 100644
--- a/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/META-INF/MANIFEST.MF
+++ b/dse/bpmn/org.eclipse.viatra.dse.examples.bpmn.patterns/META-INF/MANIFEST.MF
@@ -2,10 +2,10 @@
 Bundle-ManifestVersion: 2
 Bundle-Name: org.eclipse.viatra.dse.examples.bpmn.patterns
 Bundle-SymbolicName: org.eclipse.viatra.dse.examples.bpmn.patterns;singleton:=true
-Bundle-Version: 0.0.1.qualifier
+Bundle-Version: 0.7.0.qualifier
 Export-Package: org.eclipse.viatra.dse.examples.bpmn.patterns,
  org.eclipse.viatra.dse.examples.bpmn.patterns.util
-Require-Bundle: org.eclipse.viatra.dse.examples.bpmn.model,
+Require-Bundle: org.eclipse.viatra.dse.examples.bpmn.model;bundle-version="[0.7.0,0.8.0)",
  org.eclipse.emf.ecore,
  org.eclipse.incquery.runtime,
  org.eclipse.xtext.xbase.lib