Fixed NullPointer in GUISimulator.SimulationView

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

prism/src/userinterface/simulator/GUISimulator.java

@@ -2718,8 +2718,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 						for (Object rewobj : rewards)
 						{
 							RewardStructure rew = (RewardStructure)rewobj;
-							
-							if (rew.isStateEmpty() == !hasStates && rew.isTransitionEmpty() == !hasTrans && (rew.getName() == null  && rewardName.equals("") || rew.getName().equals(rewardName)))
+							if (rew.isStateEmpty() == !hasStates && rew.isTransitionEmpty() == !hasTrans && ((rew.getName() == null  && rewardName.equals("")) || (rew.getName() != null && rew.getName().equals(rewardName))))
 							{
 								allrew.remove(rew);
 								foundReward = true;