From 38e08446876c66f866811b68059521b1c8d1b547 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 22:05:43 +0000
Subject: [PATCH] Tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4589 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../computation/ModelCheckThread.java         | 23 +++++++++++--------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/prism/src/userinterface/properties/computation/ModelCheckThread.java b/prism/src/userinterface/properties/computation/ModelCheckThread.java
index 5084eb26..e3274dfb 100644
--- a/prism/src/userinterface/properties/computation/ModelCheckThread.java
+++ b/prism/src/userinterface/properties/computation/ModelCheckThread.java
@@ -27,15 +27,20 @@
 
 package userinterface.properties.computation;
 
-import java.util.*;
-import javax.swing.*;
-
-import parser.*;
-import parser.ast.*;
-import prism.*;
-import userinterface.*;
-import userinterface.util.*;
-import userinterface.properties.*;
+import java.util.ArrayList;
+
+import javax.swing.ImageIcon;
+import javax.swing.SwingUtilities;
+
+import parser.ast.PropertiesFile;
+import prism.PrismException;
+import prism.Result;
+import userinterface.GUIComputationThread;
+import userinterface.GUIPrism;
+import userinterface.properties.GUIMultiProperties;
+import userinterface.properties.GUIPropertiesEvent;
+import userinterface.properties.GUIProperty;
+import userinterface.util.GUIComputationEvent;
 
 /**
  * Thread that executes model checking of a property via PRISM.