2223242526272829303132
} public void doExit() { XApplicationContext appContext = project.getApplicationContext(); appContext.shutdown(); } public void exitModeChanged() { // This mode will have no effect unless there is some background thread