public String getPatchName(Patch p, int patchNum) {
public String getPatchName(IPatch p, int patchNum) {
    public String getPatchName(Patch p, int patchNum) {	int nameOfst = SINGLE_SIZE * patchNum + NAME_OFFSET;	try {	    return new String(p.sysex, nameOfst, patchNameSize, "US-ASCII");	} catch (UnsupportedEncodingException e) {	    return "---";	}    }