anchor.diff:  
       if( ok != null || "save".equals(request.getParameter("action")) )
       {
  +        mgr.logout( session );
           String name = wiki.safeGetParameter( request, "username" );
   
  -        UserProfile profile = new UserProfile();
  -        profile.setName( TranslatorReader.cleanLink(name) );
  +        UserProfile profile = mgr.getUserProfile( TranslatorReader.cleanLink(name) );
   
  +        log.debug("Writing profile name: "+profile);
           Cookie prefs = new Cookie( WikiEngine.PREFS_COOKIE_NAME, 
                                      profile.getStringRepresentation() );
           prefs.setMaxAge( 1001*24*60*60 ); // 1001 days is default.
  
positive.code:     }
      else if( clear != null )
      {
          Cookie prefs = new Cookie( WikiEngine.PREFS_COOKIE_NAME, "" );
          prefs.setMaxAge( 0 );
          response.addCookie( prefs );
  
negative.code: <%
      String pagereq = "UserPreferences";
      String    skin = wiki.getTemplateDir();
      UserManager mgr = wiki.getUserManager();
      
      NDC.push( wiki.getApplicationName()+":"+pagereq );
      
      WikiPage wikipage = new WikiPage( pagereq );
  