2 files changed, 6 insertions, 6 deletions

diff --git a/Solvers/SMT-Solver/com.microsoft.z3/.classpath b/Solvers/SMT-Solver/com.microsoft.z3/.classpath
index ffdc022a..759c2ecb 100644
--- a/Solvers/SMT-Solver/com.microsoft.z3/.classpath
+++ b/Solvers/SMT-Solver/com.microsoft.z3/.classpath
@@ -1,15 +1,15 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-        <classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar">
-                <attributes>
-                        <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/>
-                </attributes>
-        </classpathentry>
         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
                 <attributes>
                         <attribute name="module" value="true"/>
                 </attributes>
         </classpathentry>
         <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry exported="true" kind="lib" path="com.microsoft.z3.jar">
+                <attributes>
+                        <attribute name="org.eclipse.jdt.launching.CLASSPATH_ATTR_LIBRARY_PATH_ENTRY" value="com.microsoft.z3/lib"/>
+                </attributes>
+        </classpathentry>
         <classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
index d91e3272..9685b5ff 100644
--- a/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/com.microsoft.z3/META-INF/MANIFEST.MF
@@ -4,7 +4,6 @@ Bundle-Name: Z3
 Bundle-SymbolicName: com.microsoft.z3
 Bundle-Version: 4.8.8.qualifier
 Bundle-Vendor: Microsoft
-Automatic-Module-Name: com.microsoft.z3
 Bundle-ClassPath: com.microsoft.z3.jar
 Bundle-NativeCode: lib/libz3.so;
  lib/libz3java.so;
@@ -20,3 +19,4 @@ Bundle-NativeCode: lib/libz3.so;
  processor=x86_64
 Export-Package: com.microsoft.z3,
  com.microsoft.z3.enumerations
+Bundle-RequiredExecutionEnvironment: JavaSE-11