EnsoniqVFXSingleDriver.setPatchName(p.sysex, name, oPatchStart);
EnsoniqVFXSingleDriver.setPatchName(((Patch)p).sysex, name, oPatchStart);
	public void setPatchName(Patch p, int patchNum, String name)	{		int oPatchStart = getPatchStart(patchNum);		EnsoniqVFXSingleDriver.setPatchName(p.sysex, name, oPatchStart);	}