Button label in simulator.

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

prism/src/userinterface/simulator/GUISimulator.form

@@ -656,7 +656,7 @@
                                                     </Property>
                                                     <Property name="toolTipText" type="java.lang.String" value="Make a number of random automatic updates"/>
                                                     <Property name="horizontalAlignment" type="int" value="10"/>
-                                                    <Property name="label" type="java.lang.String" value="Random Exploration"/>
+                                                    <Property name="label" type="java.lang.String" value="Simulate"/>
                                                     <Property name="maximumSize" type="java.awt.Dimension" editor="org.netbeans.beaninfo.editors.DimensionEditor">
                                                       <Dimension value="[220, 23]"/>
                                                     </Property>

prism/src/userinterface/simulator/GUISimulator.java

@@ -1277,7 +1277,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
         randomExplorationButton.setIcon(new javax.swing.ImageIcon(""));
         randomExplorationButton.setToolTipText("Make a number of random automatic updates");
         randomExplorationButton.setHorizontalAlignment(javax.swing.SwingConstants.LEADING);
-        randomExplorationButton.setLabel("Random Exploration");
+        randomExplorationButton.setLabel("Simulate");
         randomExplorationButton.setMaximumSize(new java.awt.Dimension(220, 23));
         randomExplorationButton.setMinimumSize(new java.awt.Dimension(50, 23));
         randomExplorationButton.setPreferredSize(new java.awt.Dimension(160, 23));
@@ -2713,7 +2713,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 						boolean hasStates = parsedModel.getRewardStruct(r).getNumStateItems() != 0;
 						boolean hasTrans = parsedModel.getRewardStruct(r).getNumTransItems() != 0;
 						
-						boolean foundReward = false;
+						boolean foundRewardr = false;
 						
 						for (Object rewobj : rewards)
 						{