public String getPatchName(Patch p) { return (p.sysex.length/1024) + " Kilobytes";
public String getPatchName(IPatch ip) { return (((Patch)ip).sysex.length/1024) + " Kilobytes";
  public String getPatchName(Patch p) {    return (p.sysex.length/1024) + " Kilobytes";  }