/// <summary>
		/// Sets the <code>NavigationFilter</code>.
		/// </summary>
		public void setNavigationFilter(NavigationFilter @filter)
		{
		}
 /// <summary>
 /// Sets the <code>NavigationFilter</code>.
 /// </summary>
 public void setNavigationFilter(NavigationFilter @filter)
 {
 }