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+=57; //offset of name in patch data         try {               StringBuffer s= new StringBuffer(new String(p.sysex,nameStart,               10,"US-ASCII"));               return s.toString();             } catch (UnsupportedEncodingException ex) {return "-";}          }