! /Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox -debug -consoleLog
Start VM: --add-modules=java.se.ee
-XX:+IgnoreUnrecognizedVMOptions
-Xmx1000m
-Dorg.eclipse.equinox.http.jetty.http.port=10996
-Dosgi.splashPath=platform:/base/
-Dosgi.requiredJavaVersion=1.8
-Dosgi.instance.area.default=@user.home/.tlaplus/
-XstartOnFirstThread
-Dorg.eclipse.swt.internal.carbon.smallFonts
-Djava.class.path=/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar
-os macosx
-ws cocoa
-arch x86_64
-showsplash
-launcher /Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox
-name TLA+ Toolbox
--launcher.library /Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.500.v20170531-1133/eclipse_1624.so
-startup /Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar
--launcher.overrideVmargs
-debug
-consoleLog
-vm /Library/Java/JavaVirtualMachines/jdk-9.jdk/Contents/Home/bin/../lib/server/libjvm.dylib
-vmargs
--add-modules=java.se.ee
-XX:+IgnoreUnrecognizedVMOptions
-Xmx1000m
-Dorg.eclipse.equinox.http.jetty.http.port=10996
-Dosgi.splashPath=platform:/base/
-Dosgi.requiredJavaVersion=1.8
-Dosgi.instance.area.default=@user.home/.tlaplus/
-XstartOnFirstThread
-Dorg.eclipse.swt.internal.carbon.smallFonts
-Djava.class.path=/Applications/TLA+ Toolbox.app/Contents/MacOS//../Eclipse/plugins/org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar
Install location:
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/
Configuration file:
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/configuration/config.ini loaded
Configuration location:
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/configuration/
Framework located:
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.eclipse.osgi_3.12.0.v20170512-1932.jar
Loading extension: reference:file:org.eclipse.osgi.compatibility.state_1.1.0.v20170516-1513.jar
	eclipse.properties not found
Framework classpath:
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.eclipse.osgi_3.12.0.v20170512-1932.jar
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/
    file:/Applications/TLA+ Toolbox.app/Contents/Eclipse/plugins/org.eclipse.osgi.compatibility.state_1.1.0.v20170516-1513.jar
Splash location:
    /Applications/TLA+ Toolbox.app/Contents/Eclipse/splash.bmp
Debug options:
    file:/Applications/TLA+ Toolbox.app/Contents/MacOS/.options not found
java.lang.SecurityException: SHA-256 digest error for org/eclipse/osgi/container/ModuleResolver$ResolveProcess.class
	at java.base/sun.security.util.ManifestEntryVerifier.verify(ManifestEntryVerifier.java:223)
	at java.base/java.util.jar.JarVerifier.processEntry(JarVerifier.java:243)
	at java.base/java.util.jar.JarVerifier.update(JarVerifier.java:230)
	at java.base/java.util.jar.JarVerifier$VerifierStream.read(JarVerifier.java:473)
	at java.base/jdk.internal.loader.Resource.getBytes(Resource.java:124)
	at java.base/java.net.URLClassLoader.defineClass(URLClassLoader.java:540)
	at java.base/java.net.URLClassLoader.access$100(URLClassLoader.java:83)
	at java.base/java.net.URLClassLoader$1.run(URLClassLoader.java:453)
	at java.base/java.net.URLClassLoader$1.run(URLClassLoader.java:447)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.net.URLClassLoader.findClass(URLClassLoader.java:446)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:563)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:496)
	at org.eclipse.osgi.container.ModuleResolver.resolveDelta(ModuleResolver.java:130)
	at org.eclipse.osgi.container.ModuleContainer.resolveAndApply(ModuleContainer.java:493)
	at org.eclipse.osgi.container.ModuleContainer.resolve(ModuleContainer.java:451)
	at org.eclipse.osgi.container.ModuleContainer.resolve(ModuleContainer.java:441)
	at org.eclipse.osgi.storage.Storage.checkSystemBundle(Storage.java:268)
	at org.eclipse.osgi.storage.Storage.createStorage(Storage.java:90)
	at org.eclipse.osgi.internal.framework.EquinoxContainer.<init>(EquinoxContainer.java:68)
	at org.eclipse.osgi.launch.Equinox.<init>(Equinox.java:31)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.startup(EclipseStarter.java:303)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:239)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base/java.lang.reflect.Method.invoke(Method.java:564)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:653)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:590)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1499)