Small change to matrix-csv results export - no colons in headers.

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

prism/src/prism/ResultsCollection.java

@@ -595,7 +595,9 @@ public class ResultsCollection
 				if (rangingConstants.size() == 1)
 					res += constant.getName() + ":";
 				else
-					res += constant.getName() + "\\" + kids[0].constant.getName() + ":";
+					res += constant.getName() + "\\" + kids[0].constant.getName();
+				if (!sep.equals(", "))
+					res += ":";
 				if (sep.equals(", "))
 					res += "\"";
 				res += "\n";