public String getPatchName(IPatch ip) {
public String getPatchName(Patch ip) {
   public String getPatchName(IPatch ip) {         if (patchNameSize==0) return ("-");         try {           StringBuffer s= new StringBuffer(new String(((Patch)ip).sysex,patchNameStart,             patchNameSize*2-1,"US-ASCII"));           for (int i=1;i<s.length();i++) s.deleteCharAt(i);         return s.toString();         } catch (UnsupportedEncodingException ex) {return "-";}   }