public String getPatchName(Patch p) {
public String getPatchName(IPatch ip) { Patch p = (Patch)ip;
  public String getPatchName(Patch p) {          try {            byte []b = new byte[8];            b[0]=((byte)(p.sysex[5]+p.sysex[6]*16));            b[1]=((byte)(p.sysex[7]+p.sysex[8]*16));            b[2]=((byte)(p.sysex[9]+p.sysex[10]*16));            b[3]=((byte)(p.sysex[11]+p.sysex[12]*16));            b[4]=((byte)(p.sysex[13]+p.sysex[14]*16));            b[5]=((byte)(p.sysex[15]+p.sysex[16]*16));            StringBuffer s= new StringBuffer(new String(b,0,6,"US-ASCII"));           return s.toString();         } catch (Exception ex) {return "-";}   }