179180181182183184185
super.doExitApplication(); ScreenManager.saveWindowLayoutPreferences(mainScreen.getRootWindow()); } public void launchModel() { launchModel(new ModelExecutor(this)); }
175176177178179180181
178179180181182183184