PatchEdit.appConfig.savePrefs();    System.exit(0);
PatchEdit.exitAction.exit();
		    public void windowClosing(WindowEvent e) {			PatchEdit.appConfig.savePrefs();			// We shouldn't need to unload the midi driver if			// the whole JVM is going away.			// unloadMidiDriver();			System.exit(0);		    }