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