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