157158159160161162163
super.exitApplication(); ScreenManager.saveWindowLayoutPreferences(mainScreen.getRootWindow()); } public void launchModel(){ launchModel(new ModelExecutor(this)); }
156157158159160161162
151152153154155156157
161162163164165166167
super.doExitApplication(); ScreenManager.saveWindowLayoutPreferences(mainScreen.getRootWindow()); } public void launchModel() { launchModel(new ModelExecutor(this)); }
158159160161162163164
179180181182183184185
168169170171172173174
169170171172173174175
super.doExitApplication(); ScreenManager.saveWindowLayoutPreferences(mainScreen.getRootWindow()); } public void launchModel(){ launchModel(new ModelExecutor(this)); }