2 files changed, 9 insertions, 2 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
index 763ba19c..8e1bba03 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
@@ -28,7 +28,8 @@ Require-Bundle: org.eclipse.core.runtime,
   org.eclipse.xtext.xbase.lib,
   org.eclipse.core.resources;bundle-version="3.8.101",
   org.eclipse.viatra.query.runtime;bundle-version="1.3.0",
-  org.apache.commons.lang;bundle-version="2.6.0"
+  org.apache.commons.lang;bundle-version="2.6.0",
+  org.eclipse.emf.ecore.xmi;bundle-version="2.13.0"
 Import-Package: org.apache.log4j
 Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic.model
 Bundle-ActivationPolicy: lazy
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
index bdf2432e..a7185c80 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/workspace/ReasonerWorkspace.xtend
@@ -10,6 +10,8 @@ import org.eclipse.emf.ecore.EObject
 import org.eclipse.emf.ecore.resource.Resource

 import org.eclipse.emf.ecore.resource.ResourceSet

 import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl

+import org.eclipse.emf.ecore.xmi.XMLResource

+import java.util.HashMap

 

 abstract class ReasonerWorkspace{

         

@@ -47,13 +49,17 @@ abstract class ReasonerWorkspace{
         public def File getFile(String name)

         public def void refreshFile(String name)

         

+        private static final val savingOption = new HashMap() => [

+                put(XMLResource::OPTION_SCHEMA_LOCATION,true)

+        ]

+        

         /**

          * Writes a model 

          */

         def public URI writeModel(EObject modelRoot, String name) {

             val resource = getResource(name);

             resource.getContents().add(modelRoot);

-                resource.save(Collections.EMPTY_MAP);

+                resource.save(savingOption);

                 return resource.URI

         }