From b5ad63323c0a88c55f3582d6d5c5264bc9b37f3c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 24 Jun 2015 13:02:23 +0000
Subject: [PATCH] Code tidy: cleaner way to create empty iterators (thanks
 Steffen).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10082 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCFromMDPMemorylessAdversary.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/explicit/DTMCFromMDPMemorylessAdversary.java b/prism/src/explicit/DTMCFromMDPMemorylessAdversary.java
index 24497c99..d1bd2b2e 100644
--- a/prism/src/explicit/DTMCFromMDPMemorylessAdversary.java
+++ b/prism/src/explicit/DTMCFromMDPMemorylessAdversary.java
@@ -26,8 +26,8 @@
 
 package explicit;
 
-import java.util.ArrayList;
 import java.util.BitSet;
+import java.util.Collections;
 import java.util.Iterator;
 import java.util.List;
 import java.util.Map.Entry;
@@ -192,7 +192,7 @@ public class DTMCFromMDPMemorylessAdversary extends DTMCExplicit
 			return mdp.getTransitionsIterator(s, adv[s]);
 		} else {
 			// Empty iterator
-			return new ArrayList<Entry<Integer,Double>>().iterator();
+			return Collections.<Entry<Integer,Double>>emptyIterator(); 
 		}
 	}
 
@@ -203,7 +203,7 @@ public class DTMCFromMDPMemorylessAdversary extends DTMCExplicit
 			return new DTMCExplicit.AddDefaultActionToTransitionsIterator(mdp.getTransitionsIterator(s, adv[s]), mdp.getAction(s, adv[s]));
 		} else {
 			// Empty iterator
-			return new ArrayList<Entry<Integer,Pair<Double, Object>>>().iterator();
+			return Collections.<Entry<Integer,Pair<Double, Object>>>emptyIterator(); 
 		}
 	}