diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 497edd2e..fa59531e 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -96,20 +96,20 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 	// Links to other parts of the GUI
 	private GUIMultiProperties guiProp;
 	private GUIMultiModel guiMultiModel;
-	
+
 	/** Underlying simulator */
 	private SimulatorEngine engine;
-	
+
 	// GUI components
 	private UpdateTableModel updateTableModel;
 	private GUISimulatorPathTableModel pathTableModel;
-	
+
 	// Menus/actions/etc.
 	private JMenu simulatorMenu;
 	private JPopupMenu pathPopupMenu;
 	private FileFilter textFilter;
 	private Action randomExploration, backtrack, backtrackToHere, removeToHere, newPath, newPathFromState, newPathPlot, newPathPlotFromState, resetPath,
-	exportPath, plotPath, configureView;
+			exportPath, plotPath, configureView;
 
 	//Current State
 	private boolean pathActive;
@@ -119,7 +119,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 
 	private Values lastConstants, lastPropertyConstants, lastInitialState;
 	private boolean computing;
-	
+
 	// Config/options
 	private boolean displayStyleFast;
 	private boolean displayPathLoops;