public String getPatchName(Patch p, int patchNum) { Patch pgm = getPatch(p, patchNum);
public String getPatchName(IPatch p, int patchNum) { Patch pgm = (Patch)getPatch(p, patchNum);
  public String getPatchName(Patch p, int patchNum) {    Patch pgm = getPatch(p, patchNum);    try {      char c[] = new char[patchNameSize];      for (int i = 0; i < patchNameSize; i++)        c[i] = (char)pgm.sysex[i + patchNameStart];      return new String(c);    } catch (Exception ex) {      return "-";    }  }