public void setPatchName(IPatch p,int patchNum, String name)
public void setPatchName(Patch p,int patchNum, String name)
  public void setPatchName(IPatch p,int patchNum, String name)  {    patchNameSize=10;    patchNameStart=getPatchStart(patchNum);        if (name.length()<patchNameSize) name=name+"            ";    byte [] namebytes = new byte [64];    try {      namebytes=name.getBytes("US-ASCII");      for (int i=0;i<patchNameSize;i++)	((Patch)p).sysex[patchNameStart+i]=namebytes[i];          } catch (UnsupportedEncodingException ex) {return;}  }