diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index 8f720e9f..794e2039 100644
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@@ -50,16 +50,16 @@ import simulator.SimulatorEngine;
 public class ConstructModel extends PrismComponent
 {
 	// The simulator engine
-	private SimulatorEngine engine;
+	protected SimulatorEngine engine;
 
 	// Options:
 	// Find deadlocks during model construction?
-	private boolean findDeadlocks = true;
+	protected boolean findDeadlocks = true;
 	// Automatically fix deadlocks?
-	private boolean fixDeadlocks = true;
+	protected boolean fixDeadlocks = true;
 
 	// Details of built model
-	private List<State> statesList;
+	protected List<State> statesList;
 
 	public ConstructModel(PrismComponent parent, SimulatorEngine engine) throws PrismException
 	{