public String getPatchName(Patch p, int patchNum)
public String getPatchName(IPatch p, int patchNum)
	public String getPatchName(Patch p, int patchNum)	{		int oPatchStart = getPatchStart(patchNum);		return EnsoniqVFXSingleDriver.getPatchName(p.sysex, oPatchStart);	}