Add a remove() impl to AddDefaultActionToTransitionsIterator - Java 7 does not have a default implementation of this.

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

prism/src/explicit/DTMCExplicit.java

@@ -226,5 +226,11 @@ public abstract class DTMCExplicit extends ModelExplicit implements DTMC
 		{
 			return transIter.hasNext();
 		}
+		
+		@Override
+		public void remove()
+		{
+			// Do nothing: read-only
+		}
 	}
 }