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