anchor.diff:  
       AuthenticationManager authMgr = wiki.getAuthenticationManager();
       AuthorizationManager mgr = wiki.getAuthorizationManager();
  -    Principal currentUser  = wikiContext.getWikiSession().getUserPrincipal();
  +    Principal currentUser  = wikiContext.getCurrentUser();
   
       if( !mgr.checkPermission( wikiContext,
                                 new PagePermission( pagereq, "view" ) ) )
  
positive.code: 
      NDC.push( wiki.getApplicationName()+":"+pagereq );
      
      log.info("Request for page '"+pagereq+"' from "+request.getRemoteAddr()+" by "+wikiContext.getCurrentUser().getName() );
  
      String redirect = wiki.getRedirectURL( wikiContext );
  
  
negative.code:     {
          wiki = WikiEngine.getInstance( getServletConfig() );
      }
      Logger log = Logger.getLogger("JSPWiki"); 
      WikiEngine wiki;
  
  %><%
  