Bug fix: model reload in GUI does not refresh model build.

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

prism/src/userinterface/model/GUIMultiModelHandler.java

@@ -572,6 +572,8 @@ public class GUIMultiModelHandler extends JPanel
         modified =false;
         parsedModel = null;
         modifiedSinceParse = false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = PRISM_MODE;
         checkSwitchAutoParse();
         if(!parsing)
@@ -598,6 +600,8 @@ public class GUIMultiModelHandler extends JPanel
         modified =false;
         parsedModel = null;
         modifiedSinceParse = false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = PEPA_MODE;
         checkSwitchAutoParse();
         if(!parsing)
@@ -624,6 +628,8 @@ public class GUIMultiModelHandler extends JPanel
         modified = false;
         parsedModel = null;
         modifiedSinceParse =false;
+        setBuiltModel(null,null);
+        modifiedSinceBuild = false;
         currentMode = GRAPHIC_MODE;
         checkSwitchAutoParse();
         if(!parsing)