From 3844f8b4a279246c350a21b5cdacd3030aa4a44d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 1 Jul 2013 22:10:38 +0000
Subject: [PATCH] Small code tidy (alignment with prism-games).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6987 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/STPGModelChecker.java | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/prism/src/explicit/STPGModelChecker.java b/prism/src/explicit/STPGModelChecker.java
index 7e8d799c..8afe885b 100644
--- a/prism/src/explicit/STPGModelChecker.java
+++ b/prism/src/explicit/STPGModelChecker.java
@@ -27,12 +27,17 @@
 
 package explicit;
 
-import java.util.*;
+import java.util.BitSet;
+import java.util.List;
+import java.util.Map;
 
 import parser.ast.Expression;
 import parser.ast.ExpressionTemporal;
 import parser.ast.ExpressionUnaryOp;
-import prism.*;
+import prism.PrismException;
+import prism.PrismFileLog;
+import prism.PrismLog;
+import prism.PrismUtils;
 import explicit.rewards.STPGRewards;
 
 /**
@@ -48,7 +53,7 @@ public class STPGModelChecker extends ProbModelChecker
 	protected StateValues checkProbPathFormula(Model model, Expression expr, boolean min1, boolean min2) throws PrismException
 	{
 		// Test whether this is a simple path formula (i.e. PCTL)
-		// and then pass control to appropriate method. 
+		// and then pass control to appropriate method.
 		if (expr.isSimplePathFormula()) {
 			return checkProbPathFormulaSimple(model, expr, min1, min2);
 		} else {