anchor.diff:  
   * link:http://projects.spring.io/spring-framework/[Spring Project]
   
  -* link:https://vaadin.com/wiki/-/wiki/Main/Vaadin+Spring[Vaadin Spring Tutorial]
  +* link:https://vaadin.github.io/spring-tutorial/[Vaadin Spring Tutorial]
   
   endif::web[]
   
  
positive.code: [[advanced.spring.accesscontrol.accessdenied]]
  === Access Denied View
  
  By default, the view provider acts as if a denied view didn't exist. You can set
  up an "Access Denied" view that is shown if the access is denied with
  [methodname]#setAccessDeniedView()# in [classname]#SpringViewProvider#.
  
  
  [source, java]
  ----
  @Autowired
  SpringViewProvider viewProvider;
  
  @Override
  protected void init(VaadinRequest request) {
      Navigator navigator = new Navigator(this, this);
      navigator.addProvider(viewProvider);
  
      // Set up access denied view
      viewProvider.setAccessDeniedViewClass(
          MyAccessDeniedView.class);
  ----
  
  
  
  [[advanced.spring.deployment]]
  == Deploying Spring UIs and Servlets
  
  Vaadin Spring hooks into Vaadin framework by using a special
  [classname]#VaadinSpringServlet#. As described earlier, you do not need to map
  an URL path to a UI, as it is handled by Vaadin Spring. However, in the
  following, we go through some cases where you need to customize the servlet or
  use Spring with non-Spring servlets and UIs in a web application.
  
negative.code: the view class, as was done in the example previously, so that the name can be
  referred to safely.
  
  +
  You can also navigate to a view with a URI fragment such as
  [literal]#++#!myview/someparameter++# or programmatically with:
  
  
  