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());