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.
Initiating the MacUtil generated a NoClassDefFoundError on JDK 11 on a Mac. This pull request works around the issue that com.apple.eawt.* packages are removed after Java 8. It might be possible in the future to replace the Mac calls with the platform independent set handler methods inside the java.awt.Desktop.
Initiating the
MacUtilgenerated aNoClassDefFoundErroron JDK 11 on a Mac. This pull request works around the issue thatcom.apple.eawt.*packages are removed after Java 8. It might be possible in the future to replace the Mac calls with the platform independent set handler methods inside thejava.awt.Desktop.