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)	{		int patchNameStart=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++) {				p.sysex[patchNameStart+(2*i)  ]=(byte)(DX7FamilyByteEncoding.Value2AsciiHexHigh(namebytes[i]));				p.sysex[patchNameStart+(2*i)+1]=(byte)(DX7FamilyByteEncoding.Value2AsciiHexLow( namebytes[i]));			}    		} catch (UnsupportedEncodingException ex) {			return;		}	}