Bug fix in CSV results export: escape double quotes properly.

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

prism/src/prism/ResultsExporter.java

@@ -205,7 +205,7 @@ public class ResultsExporter
 				exportString += property.toString() + ":\n";
 				break;
 			case CSV:
-				exportString += "\"" + property.toString().replaceAll("\"", "\\\"") + "\"\n";
+				exportString += "\"" + property.toString().replaceAll("\"", "\\\\\"") + "\"\n";
 				break;
 			case COMMENT:
 				// None - it's printed at the the end in this case