I pasted the output in pastebin: https://pastebin.com/R3X0DrJi
One thing that I noticed is this line:
I read somewhere that JDK 9 will be supported by the version 1.5.4 of the toolbox, but is it worth trying to force it to JDK 8, or is there something else going on with the security exception in the trace?
yes the directory is create automatically. Your Toolbox appears to be
seriously broken. What do you get when you launch the Toolbox from the
/Applications/TLA+\ Toolbox.app/Contents/MacOS/toolbox -debug -consoleLog