//# 4 errors, 526 messages
//#
/*
    //#AdminServlet.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
 * Copyright 2005 David M Johnson (For RSS and Atom In Action)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package org.apache.roller.weblogger.webservices.adminprotocol;

import java.io.IOException;
import java.io.InputStreamReader;
import java.io.Writer;

import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.jdom.Document;
import org.jdom.output.XMLOutputter;
import org.jdom.output.Format;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet;

/**
 * Atom Admin Servlet implements the Atom Admin endpoint.
 * This servlet simply delegates work to a particular handler object.
 * 
 * @author jtb
 * @web.servlet name="AdminServlet"
 * @web.servlet-mapping url-pattern="/roller-services/rap/*"
 */
public class AdminServlet extends HttpServlet {
    //#AdminServlet.java:41: method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet()
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet()): this
    //#AdminServlet.java:41: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet()
    private static Log logger = LogFactory.getFactory().getInstance(AdminServlet.class);
    //#AdminServlet.java:42: method: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init
    //#AdminServlet.java:42: Warning: method not available
    //#    -- call on LogFactory org.apache.commons.logging.LogFactory:getFactory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init
    //#    unanalyzed callee: LogFactory org.apache.commons.logging.LogFactory:getFactory()
    //#AdminServlet.java:42: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getInstance(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getInstance(Class)
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/AdminServlet]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doDelete(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doPut(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): logger
    //#presumption(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): org.apache.commons.logging.LogFactory:getFactory(...)@42 != null
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/AdminServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doDelete(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doDelete
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doPost
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): __Dispatch_Table.doPut(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doPut
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init): init'ed(logger)
    //#AdminServlet.java:42: end of method: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet__static_init
    
    /**
     * Handles an Atom GET by calling handler and writing results to response.
     */
    protected void doGet(HttpServletRequest req, HttpServletResponse res) throws ServletException, IOException {
        try {
            Handler handler = Handler.getHandler(req);
    //#AdminServlet.java:49: method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#AdminServlet.java:49: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler: req != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_2
    //#    assertion: req != null
    //#    callee: Handler org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler(HttpServletRequest)
    //#    callee assertion: req != null
    //#    callee file: Handler.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 103
    //#    VN: req
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".rap"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".roller-services"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: Could not get user: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: Invalid path info: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown type: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown user: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: User is disabled: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: User is not authorized: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "ERROR: User must have the admin role to use the RAP endpoint: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): logger
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Authenticator]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.authenticate()V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.FALSE
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.TRUE
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.authenticate()V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRequest()Ljavax/servlet/http/HttpServletRequest;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setUserName(Ljava/lang/String;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.verifyUser(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isCollection()Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isEntry()Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isIntrospection()Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/HandlerException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/InternalException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/InternalException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.processGet()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.processGet()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.processGet()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.processGet()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): req
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): res
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) logger != null
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): he.__Tag@60 in {org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException, org/apache/roller/weblogger/webservices/adminprotocol/HandlerException, org/apache/roller/weblogger/webservices/adminprotocol/InternalException, org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException, org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException, org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException}
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@57 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): processGet(...)@52 != null
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.HandlerException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.Handler
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:getBytes
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.codec.binary.Base64:decodeBase64
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getUserData
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getPassword
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:hasRole
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUserByUserName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:authenticate
            String userName = handler.getUserName();
    //#AdminServlet.java:50: Warning: unused assignment
    //#    unused assignment into userName
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
            
            EntrySet c = handler.processGet();
    //#AdminServlet.java:52: Warning: call too complex - analysis skipped
    //#    -- call on EntrySet processGet()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: EntrySet processGet()
            
            res.setStatus(HttpServletResponse.SC_OK);            
            res.setContentType("application/xml; charset=utf-8");
            String s = c.toString();
    //#AdminServlet.java:56: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
            Writer writer = res.getWriter();
            writer.write(s);            
            writer.close();            
        } catch (HandlerException he) {
            res.sendError(he.getStatus(), he.getMessage());
    //#AdminServlet.java:61: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
            he.printStackTrace(res.getWriter());
    //#AdminServlet.java:62: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
            logger.error(he);
    //#AdminServlet.java:63: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
        }
    }
    //#AdminServlet.java:65: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doGet(HttpServletRequest, HttpServletResponse)
    
    /**
     * Handles an Atom POST by calling handler to identify URI, reading/parsing
     * data, calling handler and writing results to response.
     */
    protected void doPost(HttpServletRequest req, HttpServletResponse res) throws ServletException, IOException {
        try {
            Handler handler = Handler.getHandler(req);
    //#AdminServlet.java:73: method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doPost(HttpServletRequest, HttpServletResponse)
    //#AdminServlet.java:73: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler: req != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_2
    //#    assertion: req != null
    //#    callee: Handler org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler(HttpServletRequest)
    //#    callee assertion: req != null
    //#    callee file: Handler.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 103
    //#    VN: req
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ".rap"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ".roller-services"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: Could not get user: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: Invalid path info: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown type: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown user: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: User is disabled: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: User is not authorized: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "ERROR: User must have the admin role to use the RAP endpoint: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): logger
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Authenticator]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.authenticate()V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.FALSE
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.TRUE
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.authenticate()V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRequest()Ljavax/servlet/http/HttpServletRequest;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setUserName(Ljava/lang/String;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.verifyUser(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isCollection()Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isEntry()Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isIntrospection()Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/HandlerException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/InternalException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/InternalException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.processPost(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.processPost(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.processPost(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.processPost(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): req
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): res
    //#pre[4] (void doPost(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[1] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) logger != null
    //#pre[2] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): he.__Tag@84 in {org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException, org/apache/roller/weblogger/webservices/adminprotocol/HandlerException, org/apache/roller/weblogger/webservices/adminprotocol/InternalException, org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException, org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException, org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException}
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@81 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): processPost(...)@76 != null
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.HandlerException
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.Handler
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:getBytes
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.codec.binary.Base64:decodeBase64
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getUserData
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getPassword
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:hasRole
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUserByUserName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:authenticate
            String userName = handler.getUserName();
    //#AdminServlet.java:74: Warning: unused assignment
    //#    unused assignment into userName
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
            
            EntrySet c = handler.processPost(new InputStreamReader(req.getInputStream()));
    //#AdminServlet.java:76: Warning: call too complex - analysis skipped
    //#    -- call on EntrySet processPost(Reader)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: EntrySet processPost(Reader)
            
            res.setStatus(HttpServletResponse.SC_CREATED);            
            res.setContentType("application/xml; charset=utf-8");
            String s = c.toString();
    //#AdminServlet.java:80: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
            Writer writer = res.getWriter();
            writer.write(s);            
            writer.close();            
        } catch (HandlerException he) {
            res.sendError(he.getStatus(), he.getMessage());
    //#AdminServlet.java:85: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
            he.printStackTrace(res.getWriter());
    //#AdminServlet.java:86: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
            logger.error(he);
    //#AdminServlet.java:87: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
        }
    }
    //#AdminServlet.java:89: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doPost(HttpServletRequest, HttpServletResponse)
    
    /**
     * Handles an Atom PUT by calling handler to identify URI, reading/parsing
     * data, calling handler and writing results to response.
     */
    protected void doPut(HttpServletRequest req, HttpServletResponse res) throws ServletException, IOException {
        try {
            Handler handler = Handler.getHandler(req);
    //#AdminServlet.java:97: method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doPut(HttpServletRequest, HttpServletResponse)
    //#AdminServlet.java:97: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler: req != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_2
    //#    assertion: req != null
    //#    callee: Handler org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler(HttpServletRequest)
    //#    callee assertion: req != null
    //#    callee file: Handler.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 103
    //#    VN: req
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ".rap"._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ".roller-services"._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: Could not get user: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: Invalid path info: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown type: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown user: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: User is disabled: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: User is not authorized: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "ERROR: User must have the admin role to use the RAP endpoint: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): logger
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Authenticator]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.authenticate()V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.FALSE
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.TRUE
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.authenticate()V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRequest()Ljavax/servlet/http/HttpServletRequest;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setUserName(Ljava/lang/String;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.verifyUser(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isCollection()Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isEntry()Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isIntrospection()Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/HandlerException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/InternalException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/InternalException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.processPut(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.processPut(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.processPut(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.processPut(Ljava/io/Reader;)Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): req
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): res
    //#pre[4] (void doPut(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[1] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) logger != null
    //#pre[2] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): he.__Tag@108 in {org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException, org/apache/roller/weblogger/webservices/adminprotocol/HandlerException, org/apache/roller/weblogger/webservices/adminprotocol/InternalException, org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException, org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException, org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException}
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@105 != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): processPut(...)@100 != null
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.HandlerException
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.Handler
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:getBytes
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.codec.binary.Base64:decodeBase64
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getUserData
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getPassword
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:hasRole
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUserByUserName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:authenticate
            String userName = handler.getUserName();
    //#AdminServlet.java:98: Warning: unused assignment
    //#    unused assignment into userName
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
            
            EntrySet c = handler.processPut(new InputStreamReader(req.getInputStream()));
    //#AdminServlet.java:100: Warning: call too complex - analysis skipped
    //#    -- call on EntrySet processPut(Reader)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: EntrySet processPut(Reader)
            
            res.setStatus(HttpServletResponse.SC_OK);            
            res.setContentType("application/xml; charset=utf-8");
            String s = c.toString();
    //#AdminServlet.java:104: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
            Writer writer = res.getWriter();
            writer.write(s);            
            writer.close();            
        } catch (HandlerException he) {
            res.sendError(he.getStatus(), he.getMessage());
    //#AdminServlet.java:109: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
            he.printStackTrace(res.getWriter());
    //#AdminServlet.java:110: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
            logger.error(he);
    //#AdminServlet.java:111: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
        }
    }
    //#AdminServlet.java:113: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doPut(HttpServletRequest, HttpServletResponse)
    
    /**
     * Handle Atom Admin DELETE by calling appropriate handler.
     */
    protected void doDelete(HttpServletRequest req, HttpServletResponse res) throws ServletException, IOException {
        try {
            Handler handler = Handler.getHandler(req);
    //#AdminServlet.java:120: method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doDelete(HttpServletRequest, HttpServletResponse)
    //#AdminServlet.java:120: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler: req != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_2
    //#    assertion: req != null
    //#    callee: Handler org/apache/roller/weblogger/webservices/adminprotocol/Handler.getHandler(HttpServletRequest)
    //#    callee assertion: req != null
    //#    callee file: Handler.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 103
    //#    VN: req
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): ".rap"._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): ".roller-services"._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: Could not get user: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: Invalid path info: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown type: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: Unknown user: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: User is disabled: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: User is not authorized: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "ERROR: User must have the admin role to use the RAP endpoint: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): logger
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Authenticator]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.authenticate()V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.FALSE
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Authenticator.java.lang.Boolean.TRUE
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.authenticate()V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRequest()Ljavax/servlet/http/HttpServletRequest;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getRoller()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserData(Ljava/lang/String;)Lorg/apache/roller/weblogger/pojos/User;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRequest(Ljavax/servlet/http/HttpServletRequest;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setRoller(Lorg/apache/roller/weblogger/business/Weblogger;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.setUserName(Ljava/lang/String;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/BasicAuthenticator.__Dispatch_Table.verifyUser(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isCollection()Z
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isEntry()Z
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.__Dispatch_Table.isIntrospection()Z
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/Handler.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/HandlerException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/InternalException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/HandlerException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/InternalException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/IntrospectionHandler.__Dispatch_Table.processDelete()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler$MemberURI.__Dispatch_Table.getEntryId()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerMemberHandler.__Dispatch_Table.processDelete()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerUserHandler.__Dispatch_Table.processDelete()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.getUserName()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/RollerWeblogHandler.__Dispatch_Table.processDelete()Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): req
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): res
    //#pre[4] (void doDelete(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[1] (void doDelete(HttpServletRequest, HttpServletResponse)): (soft) logger != null
    //#pre[2] (void doDelete(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/adminprotocol/Handler$URI.PATHINFO_PATTERN != null
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): he.__Tag@131 in {org/apache/roller/weblogger/webservices/adminprotocol/BadRequestException, org/apache/roller/weblogger/webservices/adminprotocol/HandlerException, org/apache/roller/weblogger/webservices/adminprotocol/InternalException, org/apache/roller/weblogger/webservices/adminprotocol/NotAllowedException, org/apache/roller/weblogger/webservices/adminprotocol/NotFoundException, org/apache/roller/weblogger/webservices/adminprotocol/UnauthorizedException}
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@128 != null
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): processDelete(...)@123 != null
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.HandlerException
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.Handler
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:getBytes
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.codec.binary.Base64:decodeBase64
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getUserData
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getPassword
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:hasRole
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUserByUserName
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:authenticate
            String userName = handler.getUserName();
    //#AdminServlet.java:121: Warning: unused assignment
    //#    unused assignment into userName
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
            
            EntrySet es = handler.processDelete();
    //#AdminServlet.java:123: Warning: call too complex - analysis skipped
    //#    -- call on EntrySet processDelete()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: EntrySet processDelete()
            
            res.setStatus(HttpServletResponse.SC_OK);                        
            res.setContentType("application/xml; charset=utf-8");
            String s = es.toString();
    //#AdminServlet.java:127: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:toString()
            Writer writer = res.getWriter();
            writer.write(s);            
            writer.close();                        
        } catch (HandlerException he) {
            res.sendError(he.getStatus(), he.getMessage());
    //#AdminServlet.java:132: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:getMessage()
            he.printStackTrace(res.getWriter());
    //#AdminServlet.java:133: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.webservices.adminprotocol.HandlerException:printStackTrace(PrintWriter)
            logger.error(he);
    //#AdminServlet.java:134: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object)
        }
    }
    //#AdminServlet.java:136: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet.doDelete(HttpServletRequest, HttpServletResponse)
}
    //#AdminServlet.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.AdminServlet
