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