driverSpec.setName(deviceName + " " + driver.getPatchType());
driverSpec.setAuthors(driver.getAuthors());
String[] origBankNumbers = driver.getBankNumbers();
if (origBankNumbers != null) {
StringArray bankNumbers = driverSpec.addNewBankNumbers();
for (String bankNumber : origBankNumbers) {
bankNumbers.addString(bankNumber);
}
}
String[] origPatchNumbers = driver.getPatchNumbers();
if (origPatchNumbers != null) {
StringArray patchNumbers = driverSpec.addNewPatchNumbers();
for (String patchNumber : origPatchNumbers) {
patchNumbers.addString(patchNumber);
}
}
driverSpec.setPatchNameSize(driver.getPatchNameSize());
driverSpec.setPatchSize(driver.getPatchSize());