public String getPatchName(IPatch p,int patchNum) {
public String getPatchName(Patch p,int patchNum) {
   public String getPatchName(IPatch p,int patchNum) {     int nameStart=getPatchStart(patchNum);     nameStart+=108; //offset of name in patch data         try {               StringBuffer s= new StringBuffer(new String(((Patch)p).sysex,nameStart, 16,"US-ASCII"));               return s.toString();             } catch (UnsupportedEncodingException ex) {return "-";}     }