anchor.diff:  <% admin.init(request, response, session, application, out ); %>
   
   <%! // List of allowed usernames:
  -    static Map authorizedUsernames = new HashMap();
  +    static Map<String, String> authorizedUsernames = new HashMap<String, String>();
       static {
           for (JID jid : XMPPServer.getInstance().getAdmins()) {
               // Only allow local users to log into the admin console
  
positive.code:             }
          }
      }
      static final String go(String url) {
          if (url == null) {
              return "index.jsp";
          }
  
negative.code:     String url = ParamUtils.getParameter(request,"url");
  
      // The user auth token:
      AuthToken authToken;
  
      // Check the request/response for a login token
      
  