PatchEdit.appConfig.savePrefs();    System.exit(0);
PatchEdit.exitAction.exit();
	JSLJDesktop() {	    super();	    selected = new JFrame("JSynthLib");	    int inset = 100;	    Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();	    selected.setBounds(inset, inset,			       screenSize.width  - inset * 2,			       screenSize.height - inset * 2);	    //Quit this app when the big window closes.	    selected.addWindowListener(new WindowAdapter() {		    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);		    }		});	}