public void setPatchName(IPatch p,int patchNum, String name)
public void setPatchName(Patch p,int patchNum, String name)
	public void setPatchName(IPatch p,int patchNum, String name)	{		System.out.println("PatchNum: "+patchNum+"; PatchName: "+name);		int nameStart=getPatchNameStart(patchNum);		while (name.length()<dxPatchNameSize)			name=name+" ";		byte [] namebytes = new byte [dxPatchNameSize];		try {			namebytes=name.getBytes("US-ASCII");			for (int i=0;i<dxPatchNameSize;i++)				((Patch)p).sysex[nameStart+i]=namebytes[i];		} catch (UnsupportedEncodingException ex) {			return;		}	}