search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
717 stars 122 forks source link

Alloy 5.0.0.1 does not work with macOS Mojave / Java 11 #77

Closed danielleberre closed 5 years ago

danielleberre commented 5 years ago

I just gave a try to Alloy 5.

I am using a java 11 VM on macOS Mojave.

$ java -version
java version "11" 2018-09-25
Java(TM) SE Runtime Environment 18.9 (build 11+28)
Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11+28, mixed mode)

I am getting the following error:

$ java -jar ~/Downloads/Alloy-5.0.0.1.jar 
Exception: class java.lang.NoClassDefFoundError
Message: java.lang.NoClassDefFoundError: com/apple/eawt/ApplicationListener
Stacktrace:
class java.lang.NoClassDefFoundError: com/apple/eawt/ApplicationListener
edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:1914)
edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:184)
edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1880)
java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
java.base/java.security.AccessController.doPrivileged(Native Method)
java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740)
java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
caused by...
class java.lang.ClassNotFoundException: com.apple.eawt.ApplicationListener
java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:582)
java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:178)
java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521)
edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:1914)
edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:184)
edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1880)
java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
java.base/java.security.AccessController.doPrivileged(Native Method)
java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740)
java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
pkriens commented 5 years ago

Did you try to install the package from the release page? This package contains its own VM.

If you want to run it from the command line, Java 11 is not currently supported, use java 8 for best compatibility.

Kind regards,

Peter Kriens

On 5 Dec 2018, at 14:35, Daniel Le Berre notifications@github.com wrote:

I just gave a try to Alloy 5.

I am using a java 11 VM on macOS Mojave.

$ java -version java version "11" 2018-09-25 Java(TM) SE Runtime Environment 18.9 (build 11+28) Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11+28, mixed mode) I am getting the following error:

$ java -jar ~/Downloads/Alloy-5.0.0.1.jar Exception: class java.lang.NoClassDefFoundError Message: java.lang.NoClassDefFoundError: com/apple/eawt/ApplicationListener Stacktrace: class java.lang.NoClassDefFoundError: com/apple/eawt/ApplicationListener edu.mit.csail.sdg.alloy4whole.SimpleGUI.(SimpleGUI.java:1914) edu.mit.csail.sdg.alloy4whole.SimpleGUI.(SimpleGUI.java:184) edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1880) java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) java.base/java.security.AccessController.doPrivileged(Native Method) java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) caused by... class java.lang.ClassNotFoundException: com.apple.eawt.ApplicationListener java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:582) java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:178) java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) edu.mit.csail.sdg.alloy4whole.SimpleGUI.(SimpleGUI.java:1914) edu.mit.csail.sdg.alloy4whole.SimpleGUI.(SimpleGUI.java:184) edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1880) java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) java.base/java.security.AccessController.doPrivileged(Native Method) java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/AlloyTools/org.alloytools.alloy/issues/77, or mute the thread https://github.com/notifications/unsubscribe-auth/AAMPLmRGY2TqicdvGrYVkA2iqf3nYgqGks5u18uwgaJpZM4ZCva3.

danielleberre commented 5 years ago

oh, sorry. I downloaded the jar file :( Using the .pkg works perfectly fine. Sorry for the noise.