}
    void OKPressed() {        this.setVisible(false);        String s=(String)AvailableDeviceList.getSelectedValue();		Device device = this.devConf.classForDevice(s);		if (s!=null) {			PatchEdit.appConfig.addDevice(device);		}	}