Attempt to fix deadlock bug that occurs when properties are verified quickly. IconThread caused deadlock.

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

prism/src/userinterface/properties/computation/ModelCheckThread.java

@@ -109,7 +109,13 @@ public class ModelCheckThread extends GUIComputationThread
 				error(e.getMessage());
 			}
 			ic.interrupt();
-			while(!ic.canContinue){}
+			try
+			{
+				ic.join();
+			}
+			catch(InterruptedException e)
+			{}
+			//while(!ic.canContinue){}
 			gp.setResult(result);
 			gp.setMethodString("Verification");
 			gp.setConstants(definedMFConstants, definedPFConstants);