Updated and fixed dependencies:

- All java library dependency: fixed to java 1.8
- Added Automatic-Module-Name to be compatible with java 1.9
- Added all sources explicitly to build.properties
- removed .util packages generated by previous versions of Viatra

2 files changed, 4 insertions, 3 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
index 5c568755..3b84b5ce 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
@@ -1,9 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>

 <classpath>

+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>

         <classpathentry kind="src" path="src"/>

         <classpathentry kind="src" path="src-gen"/>

         <classpathentry kind="src" path="xtend-gen"/>

-        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>

-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>

+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>

         <classpathentry kind="output" path="bin"/>

 </classpath>

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
index 1de8b744..0b5013dd 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
  org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional,

  org.eclipse.equinox.common;bundle-version="3.7.0"

 Import-Package: org.apache.log4j

-Bundle-RequiredExecutionEnvironment: JavaSE-1.7

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

 Export-Package: hu.bme.mit.inf.dslreasoner,

  hu.bme.mit.inf.dslreasoner.services,

  hu.bme.mit.inf.dslreasoner.alloyLanguage,

@@ -34,4 +34,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner,
  hu.bme.mit.inf.dslreasoner.scoping,

  hu.bme.mit.inf.dslreasoner.generator,

  hu.bme.mit.inf.dslreasoner.formatting

+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.alloy.language