Bugfix: splash screen remains if there is an error on load (non-existent model).

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

prism/src/userinterface/GUIPrism.java

@@ -82,8 +82,8 @@ public class GUIPrism extends JFrame
             gui = new GUIPrism();
             gui.importOptions();
             gui.show();
-            gui.passCLArgs(args);
             EventQueue.invokeLater(new GUIPrism.SplashScreenCloser());
+            gui.passCLArgs(args);
         }
         catch(GUIException e)
         {