diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 106ae3d6..b7e7f05f 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -27,13 +27,17 @@
 package explicit;
 
 import java.io.File;
-import java.util.*;
+import java.util.BitSet;
+import java.util.List;
+import java.util.Map;
 
-import prism.*;
-import explicit.StateValues;
-import explicit.rewards.*;
-import parser.ast.*;
+import parser.ast.Expression;
+import parser.ast.ExpressionTemporal;
+import parser.ast.ExpressionUnaryOp;
 import parser.type.TypeDouble;
+import prism.PrismException;
+import prism.PrismUtils;
+import explicit.rewards.MCRewards;
 
 /**
  * Explicit-state model checker for discrete-time Markov chains (DTMCs).