public String getPatchName(Patch p,int patchNum) {
public String getPatchName(IPatch p,int patchNum) {
  public String getPatchName(Patch p,int patchNum) {     int nameStart=getPatchStart(patchNum);     nameStart+=0; //offset of name in patch data          try {            byte []b = new byte[6];            b[0]=((byte)(p.sysex[nameStart]+p.sysex[nameStart+1]*16));            b[1]=((byte)(p.sysex[nameStart+2]+p.sysex[nameStart+3]*16));            b[2]=((byte)(p.sysex[nameStart+4]+p.sysex[nameStart+5]*16));            b[3]=((byte)(p.sysex[nameStart+6]+p.sysex[nameStart+7]*16));            b[4]=((byte)(p.sysex[nameStart+8]+p.sysex[nameStart+9]*16));            b[5]=((byte)(p.sysex[nameStart+10]+p.sysex[nameStart+11]*16));            StringBuffer s= new StringBuffer(new String(b,0,6,"US-ASCII"));           return s.toString();         } catch (Exception ex) {return "-";}       }