Disable check for positive rewards (HACK)

Dockerfile

@@ -1,4 +1,4 @@
-FROM openjdk:16-buster
+FROM openjdk:21-bookworm
 
 # install build tools
 RUN apt-get update \

prism/src/simulator/ModulesFileModelGenerator.java

@@ -468,7 +468,7 @@ public class ModulesFileModelGenerator implements ModelGenerator, RewardGenerato
 						throw new PrismLangException("Reward structure is not finite at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
 					}
 					if (rew < 0) {
-						throw new PrismLangException("Reward structure is negative + (" + rew + ") at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
+						// throw new PrismLangException("Reward structure is negative + (" + rew + ") at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
 					}
 					d += rew;
 				}
@@ -497,7 +497,7 @@ public class ModulesFileModelGenerator implements ModelGenerator, RewardGenerato
 							throw new PrismLangException("Reward structure is not finite at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
 						}
 						if (rew < 0) {
-							throw new PrismLangException("Reward structure is negative + (" + rew + ") at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
+							// throw new PrismLangException("Reward structure is negative + (" + rew + ") at state " + state, originalModulesFile.getRewardStruct(r).getReward(i));
 						}
 						d += rew;
 					}