return new String(p.sysex, nameOfst, patchNameSize, "US-ASCII");
return new String(((Patch)p).sysex, nameOfst, patchNameSize, "US-ASCII");
    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 "---";	}    }