public void setPatchName(Patch bank, int patchNum, String name) { Patch p = getPatch(bank, patchNum);
public void setPatchName(IPatch bank, int patchNum, String name) { IPatch p = (IPatch)getPatch(bank, patchNum);
  public void setPatchName(Patch bank, int patchNum, String name) {    Patch p = getPatch(bank, patchNum);    Driver singleDriver = p.getDriver();    singleDriver.setPatchName(p, name);    singleDriver.calculateChecksum(p);    putPatch(bank, p, patchNum);  }