Cannot open toolbox after update

[Laura Santamaria <nimbi...@xxxxxxxxx>]

Hi folks,

I updated the toolbox using the built-in updater today, and I now cannot open the toolbox at all. When I try, I get a popup that says:
    An error has occurred.
    See the log file
    null

I cannot find any logs (I do not have a $HOME/.tlaplus directory at all) as noted on https://tla.msr-inria.inria.fr/tlatoolbox/doc/trouble/trouble.html, and I cannot find a .tlaplus directory anywhere on my machine. I'd love to provide a log if I could, but I don't know where else to look.

I look to be getting the same issue as noted here: https://groups.google.com/d/msg/tlaplus/kmyOFXfpDic/O50H_ud8AQAJ

I can't tell what version of the toolbox I'm running because I didn't note down the update version before running the update. I dumped the information from the Info.plist file below in case that's useful.

System info:


MacOSX 10.13.3 (High Sierra)


Eclipse is not installed as an application (i.e., it does not appear in my Launchpad, and it is not listed as an installed application in the Applications directory).


Java:
$ /usr/libexec/java_home -V
Matching Java Virtual Machines (1):
    1.8.0_121, x86_64:	"Java SE 8"	/Library/Java/JavaVirtualMachines/jdk1.8.0_121.jdk/Contents/Home

/Library/Java/JavaVirtualMachines/jdk1.8.0_121.jdk/Contents/Home



$ cat Info.plist 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<plist version="1.0">

<dict>
	<key>CFBundleExecutable</key>
		<string>toolbox</string>
	<key>CFBundleGetInfoString</key>
		<string>Eclipse 4.7 for Mac OS X, Copyright IBM Corp. and others 2002, 2016. All rights reserved.</string>
	<key>CFBundleIconFile</key>
		<string>Eclipse.icns</string>
	<key>CFBundleIdentifier</key>
		<string>org.lamport.tla.toolbox.product.product</string>
	<key>CFBundleInfoDictionaryVersion</key>
		<string>6.0</string>
	<key>CFBundleName</key>
		<string>Toolbox</string>
	<key>CFBundlePackageType</key>
		<string>APPL</string>
	<key>CFBundleShortVersionString</key>
		<string>1.5.6</string>
	<key>CFBundleSignature</key>
		<string>????</string>
	<key>CFBundleVersion</key>
		<string>1.5.6.201801291236</string>

	 ...

  </dict>

</plist>




If I run it by drilling down into the MacOS directory in the Application Directory > TLA+ Toolbox, I can kinda see a trace, but I can't get more information than this as the terminal window closes if I click OK on the dialog box (the GUI):

java.lang.IllegalStateException: Could not create a builder for the system bundle.
	at org.eclipse.osgi.storage.Storage.checkSystemBundle(Storage.java:290)
	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 sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	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)
Caused by: org.osgi.framework.BundleException: A bundle is already installed with the name "org.eclipse.osgi" and version "3.12.0.v20170512-1932"
	at org.eclipse.osgi.container.ModuleContainer.update(ModuleContainer.java:341)
	at org.eclipse.osgi.storage.Storage.checkSystemBundle(Storage.java:281)
	... 12 more


I will probably just remove and reinstall, but I thought I'd check here first in case folks want to drill down on the problem if they're seeing it elsewhere.

Thanks!

Cheers,
Laura