diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index c2958a926a6952312a2d3ec0bc2ca4107da21950..8b89b02517a6bcd90867f5835d3c2b4536f0656e 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3261,8 +3261,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 				setEngine(Prism.EXPLICIT);
 				doBuildModel();
 
-				if (strategy instanceof RRStrategy rr) {
-					rr.setModel((RBMSimple) currentModelExpl);
+				if (strategy instanceof RRStrategy) {
+					((RRStrategy) strategy).setModel((RBMSimple) currentModelExpl);
 				}
 
 				setEngine(Prism.HYBRID);
diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 88d001959ede499a16ddd7fc6852a5b957fd1b71..578de17fe97080a3a01ab042fa707474d088c75c 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -410,8 +410,8 @@ public class SimulatorEngine extends PrismComponent
 		case RBM:
 		case RBG:
 			Pair<Integer, Integer> trans;
-			if (strategy instanceof ResourceStrategy rStrat)
-				trans = rStrat.getAutomaticTransition();
+			if (strategy instanceof ResourceStrategy)
+				trans = ((ResourceStrategy) strategy).getAutomaticTransition();
 			else
 				trans = ((RStrategy) strategy).getNextTransition();
 			executeTransition(trans.getKey(), trans.getValue(), -1);
@@ -920,9 +920,9 @@ public class SimulatorEngine extends PrismComponent
 			double resourceLoss = rStrat.getPrevTransitionResource();
 			path.addStep(index, action, actionString, p, currentState, currentObs, resourceLoss, resourceGain, modelGen);
 		}
-		else if (strategy instanceof RRStrategy rrStrat) {
-			double el = rrStrat.getEnergyLoss();
-			double eg = rrStrat.getEnergyGain();
+		else if (strategy instanceof RRStrategy) {
+			double el = ((RRStrategy) strategy).getEnergyLoss();
+			double eg = ((RRStrategy) strategy).getEnergyGain();
 			path.addStep(index, action, actionString, p, currentState, currentObs, el, eg, modelGen);
 		}
 		else {