&& driver.supportsPatch(patchString, p)) {
&& driver.supportsPatch(patchString, p.getByteArray())) {
        public void actionPerformed (ActionEvent evt) {            driverComboBox.removeAllItems();            Device device = (Device) deviceComboBox.getSelectedItem();            int nDriver = 0;            for (int i = 0; i < device.driverCount(); i++) {	        IDriver driver = device.getDriver(i);                if (driver instanceof IPatchDriver	                && driver.supportsPatch(patchString, p)) {                    driverComboBox.addItem (driver);                    nDriver++;	        }            }            // the original driver is the default            // When a different device is selected, driverNum can be out of range.            driverComboBox.setSelectedIndex(Math.min(driverNum, nDriver - 1));            driverComboBox.setEnabled(driverComboBox.getItemCount() > 1);        }