Bug fix in Coalition copy constructor.

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

prism/src/parser/ast/Coalition.java

@@ -63,8 +63,9 @@ public class Coalition
 	public Coalition(Coalition c)
 	{
 		// Copy all info (though, strictly speaking, "players" is irrelevant if allPlayers==true
+		// (note that we access c.players directly since getPlayers() can return null)
 		allPlayers = c.isAllPlayers();
-		players = new ArrayList<String>(c.getPlayers());
+		players = new ArrayList<String>(c.players);
 	}
 
 	// Set methods