public String getPatchName(Patch p, int patchNum)
public String getPatchName(IPatch p, int patchNum)
  public String getPatchName(Patch p, int patchNum)  {      byte bankSysexNibbles[] = new byte[64];      byte bankSysex[] = new byte[32];      char patchName[] = new char[10];      int patchOffset = getPatchStart(patchNum);      System.arraycopy(p.sysex, patchOffset, bankSysexNibbles, 0, 64);      for (int i = 0; i < 32; i++)      {        bankSysex[i] = (byte)(bankSysexNibbles[i*2] | bankSysexNibbles[i*2+1] << 4);      }      // TONE NAME (10 bytes)      for (int i = 0; i < 10; i++)      {        patchName[i] = MKS50ToneSingleDriver.nameChars[(byte)(bankSysex[i+11] & 0x3F)];      }      return new String(patchName);  }