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