Bug fix: double click for new sim path sometimes broken.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@561 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/simulator/GUISimulator.java

@@ -337,8 +337,6 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 		Values initialState;
 		try
 		{
-			tableScroll.setViewportView(pathTable);
-			
 			// get properties constants/labels
 			PropertiesFile pf;
 			try
@@ -433,6 +431,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				 initialState = lastInitialState;
 			}			
 			
+			tableScroll.setViewportView(pathTable);
+			
 			displayPathLoops = true;
 			engine.startNewPath(parsedModel, pf, initialState);
 			//engine.setPropertyConstants(lastPropertyConstants);