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";}