Tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4589 bbc10eb1-c90d-0410-af57-cb519fbb1720

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.