public void setPatchName(Patch p,int patchNum, String name) { Patch pgm = getPatch(p, patchNum);
public void setPatchName(IPatch p,int patchNum, String name) { Patch pgm = (Patch)getPatch(p, patchNum);
  public void setPatchName(Patch p,int patchNum, String name) {    Patch pgm = getPatch(p, patchNum);    if (name.length() < patchNameSize + 4) {      name = name + "                ";    }    byte nameByte[] = name.getBytes();    for (int i = 0; i < patchNameSize; i++) {      pgm.sysex[i + patchNameStart] = nameByte[i];    }    putPatch(p, pgm, patchNum);  }