public String getPatchName(Patch p) { return "perf" + (p.sysex[PATCH_NUM_OFFSET] + 1);
public String getPatchName(IPatch ip) { return "perf" + (((Patch)ip).sysex[PATCH_NUM_OFFSET] + 1);
  public String getPatchName(Patch p) {    return "perf" + (p.sysex[PATCH_NUM_OFFSET] + 1);  }