public String getPatchName(Patch p) {
public String getPatchName(IPatch ip) { Patch p = (Patch)ip;
    public String getPatchName(Patch p) { // called by bank driver        if (patchNameSize == 0)	    return ("-");        try { 	    return new String(p.sysex, patchNameStart, patchNameSize, "US-ASCII");	} catch (UnsupportedEncodingException ex) {	    return "-";	}    }