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=16;	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;}    }