Installing TLA+ via homebrew (brew cask install tla-plus-toolbox
) resulted for me in a binary that couldn't launch from a double click in Finder.
Starting from the command line gave the following error:
$ /Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox
Error occurred during initialization of boot layer
java.lang.module.FindException: Module java.se.ee not found