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);        try        {            StringBuffer s= new StringBuffer(new String(((Patch)p).sysex,nameStart,            16,"US-ASCII"));            return s.toString();        } catch (UnsupportedEncodingException ex) {return "-";}    }