Yay, I broke the build with b91336c.

[Tests][Toolbox]

org.lamport.tla.toolbox.product.uitest/EndtoEnd/TLA.End.To.End.Example.test

@@ -5,8 +5,8 @@ Element-Type: testcase
 Element-Version: 3.0
 External-Reference: 
 Id: _0133MAldEem_kewt0eDFQIQ
-Runtime-Version: 2.4.0.201902010011
-Save-Time: 10/14/19, 1:21 PM
+Runtime-Version: 2.4.3.201909171500
+Save-Time: 1/10/20, 9:22 AM
 Testcase-Type: ecl
 
 ------=_.content-0a7243a0-75d3-3d5f-9791-539de0e5b7ac
@@ -18,7 +18,7 @@ try -command {
 	get-view "Welcome View" | get-button "Missionaries and Cannibals(TLA+)" | click
 	get-window -class WizardDialog | get-button $TLA-BUTTON-FINISH | click
 	get-view $TLA-VIEW-SPEC-EXPLORER | get-tree 
-		| select "MissionariesAndCannibals \\[ MissionariesAndCannibals.tla \\]/models/Model_1" | double-click
+		| select "MissionariesAndCannibals/models/Model_1" | double-click
 
 	// Run model checking.
 	get-editor $TLA-MODEL-ONE | get-button $TLA-BUTTON-RUN-TLC | click

org.lamport.tla.toolbox.product.uitest/TLA.Test.Parameters.ctx

@@ -5,14 +5,14 @@ Element-Name: TLA.Test.Parameters
 Element-Type: context
 Element-Version: 2.0
 Id: _zmZVMP5NEeilFekyyVb9lA
-Runtime-Version: 2.4.0.201902010011
-Save-Time: 10/14/19, 11:45 AM
+Runtime-Version: 2.4.3.201909171500
+Save-Time: 1/10/20, 9:30 AM
 
 ------=_.parameters.context-2e023de5-3294-36a9-ac1d-6701f05a40ee
 Content-Type: text/properties
 Entry-Name: .parameters.context
 
-#Mon Oct 14 11:45:07 PDT 2019
+#Fri Jan 10 09:30:39 PST 2020
 TLA-Long-Model-Name=thisisaverylongnameforamodel
 TLA-MO-ED-TLC-SECTION-CM=Checking Mode
 TLA-MO-ED-TLC-SECTION-PARAM=Parameters
@@ -42,7 +42,7 @@ TLA-BUTTON-CANCEL-TLC=Stops the current TLC model checker run.
 TLA-MO-ED-ADDITIONAL-SECTION-MV=Model Values
 TLA-MO-ED-TLCERRORS-SECTION-ETE=Error-Trace Exploration
 TLA-MO-ED-OVERVIEW-SECTION-SPEC=What is the behavior spec?
-TLA-MODEL-ONE-TREE=new [ new.tla ]/models/Model_1
+TLA-MODEL-ONE-TREE=new/models/Model_1
 TLA-ADDITIONAL-MODULE-NAME-FILE=other.tla
 TLA-MO-ED-RESULTS-SECTION-PO=Progress Output
 TLA-MO-ED-RESULTS-SECTION-STATS=Statistics
@@ -51,9 +51,9 @@ TLA-MO-ED-RESULTS-SECTION-ECE=Evaluate Constant Expression
 TLA-MENU-PATH-WINDOW-SPEC-EXPLORER=Window/Spec Explorer
 TLA-MODEL-EDITOR-TAB-RESULTS=Model Checking Results
 TLA-MODEL-EDITOR-TAB-ADDITIONAL=Spec Options
-TLA-MODEL-TEN=new [ new.tla ]/models/Model_10
+TLA-MODEL-TEN=new/models/Model_10
 TLA-File-Long=zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz.tla
-TLA-MODEL-NEW=new [ new.tla ]/modules/new
+TLA-MODEL-NEW=new/modules/new
 TLA-MO-ED-OVERVIEW-SECTION-RUN=How to run?
 TLA-BUTTON-REMOVE=Remove
 Model-TEST-Name=foo
@@ -65,7 +65,7 @@ TLA-VIEW-TLC-ERRORS=TLC Errors
 TLA-MO-ED-OVERVIEW-SECTION-CHECK=What to check?
 TLA-MO-ED-TLC-SECTION-FEATURES=Features
 TLA-File=new.tla
-TLA-TREE-NAME=new [ new.tla ]
+TLA-TREE-NAME=new
 TLA-MODEL-EDITOR-TAB-TLC-OPTIONS=TLC Options
 TLA-BAD-DIR=C\:\\foo
 TLA-BUTTON-DEADLOCK=Deadlock
@@ -76,7 +76,7 @@ TLA-NEW-FILE-RENAME=new_Copy
 TLA-DIALOG-TITLE-NEW-MODEL=New model...
 TLA-MO-ED-OVERVIEW-LINK-ECE=Evaluate Constant Expressions
 TLA-BUTTON-FINISH=Finish
-TLA-MODEL-TREE-NAME=new [ new.tla ]/models
+TLA-MODEL-TREE-NAME=new/models
 TLA-BUTTON-RUN-TLC=Runs TLC on the model.
 TLA-MO-ED-OVERVIEW-LINK-SPEC=Additional Spec Options