Device dev = PatchEdit.appConfig.getDevice(deviceNum);
    private void chooseDriver(int deviceNum) {        this.deviceNum = deviceNum;        StringBuffer patchString = this.getPatchHeader();        Device dev = PatchEdit.appConfig.getDevice(deviceNum);        for (int idrv = 0; idrv < dev.driverCount(); idrv++) {	    // iterating over all Drivers of the given device	    if ((dev.getDriver(idrv)).supportsPatch(patchString, this)) {		this.driverNum = idrv;		getDriver().trimSysex(this);		return;	    }        }        driverNum = 0;        // Unkown patch, try to guess at least the manufacturer        comment = new StringBuffer("Probably a "				   + LookupManufacturer.get(sysex[1], sysex[2], sysex[3])				   + " Patch, Size: " + sysex.length);    }