Fix: properties files passed to GUI forgotten about in case of model parse error.

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

prism/src/userinterface/properties/GUIMultiProperties.java

@@ -1158,6 +1158,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 				if (simulateAfterReceiveParseNotification)
 					simulateAfterParse();
 			} else if (me.getID() == GUIModelEvent.MODEL_PARSE_FAILED) {
+				argsPropertiesFile = null;
 				verifyAfterReceiveParseNotification = false;
 				experimentAfterReceiveParseNotification = false;
 				simulateAfterReceiveParseNotification = false;