public void setPatchName(Patch p, int patchNum, String name) {
public void setPatchName(IPatch p, int patchNum, String name) {
    public void setPatchName(Patch p, int patchNum, String name) {	patchNameSize = 10;	patchNameStart = getPatchStart(patchNum);	if (name.length() < patchNameSize)	    name = name + "            ";	byte[] namebytes = new byte[64];	try {	    namebytes = name.getBytes("US-ASCII");	    for (int i = 0; i < patchNameSize; i++)		p.sysex[patchNameStart + i] = namebytes[i];        } catch (UnsupportedEncodingException ex) {	    return;	}    }