imported patch tarjan-arraydeque.patch

prism/src/explicit/SCCComputerTarjan.java

@@ -27,10 +27,10 @@
 
 package explicit;
 
+import java.util.ArrayDeque;
 import java.util.ArrayList;
 import java.util.BitSet;
 import java.util.Deque;
-import java.util.LinkedList;
 import java.util.function.IntPredicate;
 
 import prism.PrismComponent;
@@ -49,7 +49,7 @@ public class SCCComputerTarjan extends SCCComputer
 	/* Next index to give to a node */
 	private int index = 0;
 	/* Stack of nodes */
-	private Deque<Integer> stack = new LinkedList<Integer>();
+	private Deque<Integer> stack = new ArrayDeque<Integer>();
 	/* List of nodes in the graph. Invariant: {@code nodeList.get(i).id == i} */
 	private ArrayList<Node> nodeList;
 	/* Nodes currently on the stack. */