Undid the variables in quotes (in simulator columns) for more consistency with the model syntax, added a default label for defined constants in the information panel (being "None" if empty).

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

prism/src/userinterface/simulator/GUISimulator.java

@@ -396,7 +396,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			totalRewardLabel.setText(getTotalRewardLabelString());
 			stateRewardsLabel.setText(getTotalStateRewardLabelString());
 			transitionRewardsLabel.setText(getTotalTransitionRewardLabelString());
-			definedConstantsLabel.setText(uCon.getDefinedConstantsString());
+			definedConstantsLabel.setText((uCon.getDefinedConstantsString().length() == 0) ? "None" : uCon.getDefinedConstantsString());
 			
 			doEnables();
 			pathTableModel.restartPathTable();
@@ -2177,7 +2177,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 		
 		public String toString()
 		{
-			return "\"" + name + "\"";
+			return name;
 		}
 		
 		public boolean equals(Object o)