public String getPatchName(IPatch ip)
public String getPatchName(Patch ip)
	public String getPatchName(IPatch ip) 	{        try        {            StringBuffer s= new StringBuffer (new String (((Patch)ip).sysex,patchNameStart,            patchNameSize,"US-ASCII"));            return s.toString ();        } catch (UnsupportedEncodingException ex)        {return "-";}	}