loadDevices();
String[] devs;  if (prefsDev.nodeExists("Generic#0")) addDevice("synthdrivers.Generic.GenericDevice", prefsDev.node("Generic#0")); else  addDevice("synthdrivers.Generic.GenericDevice");  devs = prefsDev.childrenNames();  for (int i = 0; i < devs.length; i++) { if (devs[i].equals("Generic#0")) continue;    String s = devs[i].substring(0, devs[i].indexOf('#'));  String className = PatchEdit.devConfig.classNameForShortName(s);   addDevice(className, prefsDev.node(devs[i])); }
    boolean loadPrefs() {	try {	    // Load the appconfig	    loadDevices();	    return true;	} catch (Exception e) {	    ErrorMsg.reportStatus("loadPrefs: " + e);	    e.printStackTrace();	    return false;	} finally {	    if (deviceCount() == 0) {		addDevice("synthdrivers.Generic.GenericDevice");	    }	}    }