fixed stopping criterion for fast adaptive uniformisation when being in array mode

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

prism/src/explicit/FastAdaptiveUniformisation.java

@@ -882,7 +882,7 @@ public class FastAdaptiveUniformisation extends PrismComponent
 
 		/* iterate using matrix */
 		boolean canArray = true;
-		while (birthProbSum < (1 - 1E-9) && canArray) {
+		while (birthProbSum < (1 - epsilon) && canArray) {
 			//			timer2 = System.currentTimeMillis();
 			double prob = birthProc.calculateNextProb(maxRate);
 			birthProbSum += prob;