diff --git a/prism/src/cex/CexPathAsBDDs.java b/prism/src/cex/CexPathAsBDDs.java
index 803e77bec1e704764d6322869aecd417ca2d1c18..c0d37e85eeaa19a254c6919c0f4772ae844e2e4b 100644
--- a/prism/src/cex/CexPathAsBDDs.java
+++ b/prism/src/cex/CexPathAsBDDs.java
@@ -138,7 +138,25 @@ public class CexPathAsBDDs implements PathFullInfo
 	{
 		return 0.0;
 	}
-	
+
+	@Override
+	public double getTransitionResource(int step)
+	{
+		return 0.0;
+	}
+
+	@Override
+	public double getCumulativeResource(int step)
+	{
+		return 0.0;
+	}
+
+	@Override
+	public double getStateResource(int step)
+	{
+		return 0.0;
+	}
+
 	@Override
 	public boolean isLooping()
 	{
diff --git a/prism/src/cex/CexPathStates.java b/prism/src/cex/CexPathStates.java
index a632c4203ed1fda4cc78d0726c723901420ae1b4..4eb60cff4a7317067b6ebf1994ab7e3a3d18f14e 100644
--- a/prism/src/cex/CexPathStates.java
+++ b/prism/src/cex/CexPathStates.java
@@ -102,7 +102,23 @@ public class CexPathStates implements PathFullInfo
 	{
 		return 0.0;
 	}
+	@Override
+	public double getTransitionResource(int step)
+	{
+		return 0.0;
+	}
 
+	@Override
+	public double getCumulativeResource(int step)
+	{
+		return 0.0;
+	}
+
+	@Override
+	public double getStateResource(int step)
+	{
+		return 0.0;
+	}
 	@Override
 	public double getTime(int step)
 	{
diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 45104245ff39edbf7963e3648a8628dc24fe6841..88d001959ede499a16ddd7fc6852a5b957fd1b71 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -1499,6 +1499,17 @@ public class SimulatorEngine extends PrismComponent
 		exportPath(file, false, false);
 	}
 
+	/**
+	 * Export the current path to a file in a simple space separated format.
+	 * (Not applicable for on-the-fly paths)
+	 * @param file File to which the path should be exported to (mainLog if null).
+	 * @param showRewards Export reward information with the path
+	 */
+	public void exportPath(File file, boolean showRewards) throws PrismException
+	{
+		exportPath(file, false, showRewards, false, " ", null);
+	}
+
 	/**
 	 * Export the current path to a file in a simple space separated format.
 	 * (Not applicable for on-the-fly paths)
@@ -2000,6 +2011,7 @@ public class SimulatorEngine extends PrismComponent
 		}
 	}
 
+
 	/**
 	 * Halt the sampling algorithm in its tracks (not implemented).
 	 */