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