From 7583585f99c14cef7f04cf838ab16ac65aa7fa81 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 26 Jul 2016 14:38:00 +0000
Subject: [PATCH] Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11574 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/Updater.java | 24 +++++++++++++++++++-----
 1 file changed, 19 insertions(+), 5 deletions(-)

diff --git a/prism/src/simulator/Updater.java b/prism/src/simulator/Updater.java
index f839330c..af2f2c7b 100644
--- a/prism/src/simulator/Updater.java
+++ b/prism/src/simulator/Updater.java
@@ -2,7 +2,7 @@
 //	
 //	Copyright (c) 2002-
 //	Authors:
-//	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford)
+//	* Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham/Oxford)
 //	
 //------------------------------------------------------------------------------
 //	
@@ -26,11 +26,25 @@
 
 package simulator;
 
-import java.util.*;
+import java.util.ArrayList;
+import java.util.BitSet;
+import java.util.HashSet;
+import java.util.List;
+import java.util.Vector;
 
-import parser.*;
-import parser.ast.*;
-import prism.*;
+import parser.State;
+import parser.VarList;
+import parser.ast.Command;
+import parser.ast.Module;
+import parser.ast.ModulesFile;
+import parser.ast.RewardStruct;
+import parser.ast.Update;
+import parser.ast.Updates;
+import prism.ModelType;
+import prism.PrismComponent;
+import prism.PrismException;
+import prism.PrismLangException;
+import prism.PrismSettings;
 
 public class Updater extends PrismComponent
 {