StringBuffer s= new StringBuffer(new String(p.sysex,nameStart,dxPatchNameSize,"US-ASCII"));
StringBuffer s= new StringBuffer(new String(((Patch)p).sysex,nameStart,dxPatchNameSize,"US-ASCII"));
	public String getPatchName(Patch p,int patchNum)	{		int nameStart=getPatchNameStart(patchNum);		try {			StringBuffer s= new StringBuffer(new String(p.sysex,nameStart,dxPatchNameSize,"US-ASCII"));			return s.toString();		} catch (UnsupportedEncodingException ex) {			return "-";		}	}