//# 30 errors, 1,070 messages
//#
/*
    //#AtomServlet.java:1:1: class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
* Licensed to the Apache Software Foundation (ASF) under one or more
*  contributor license agreements.  The ASF licenses this file to You
* 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.  For additional information regarding
* copyright in this work, please see the NOTICE file in the top level
* directory of this distribution.
*/
package org.apache.roller.weblogger.webservices.atomprotocol; 

import java.io.IOException;
import java.io.InputStreamReader;
import java.io.Reader;
import java.io.Writer;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import org.apache.commons.lang.StringUtils;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.jdom.Document;
import org.jdom.Element;
import org.jdom.JDOMException;
import org.jdom.input.SAXBuilder;
import org.jdom.output.Format;
import org.jdom.output.XMLOutputter;
import com.sun.syndication.feed.atom.Entry;
import com.sun.syndication.feed.atom.Feed;
import com.sun.syndication.feed.atom.Link;
import com.sun.syndication.io.FeedException;
import com.sun.syndication.io.WireFeedInput;
import com.sun.syndication.io.WireFeedOutput;
import java.io.BufferedReader;
import java.io.StringWriter;
import org.jdom.Namespace;
import org.apache.roller.weblogger.config.WebloggerConfig;
import org.apache.roller.weblogger.util.Utilities;

/**
 * Atom Servlet implements Atom by calling a Roller independent handler.
 * @web.servlet name="AtomServlet"
 * @web.servlet-mapping url-pattern="/roller-services/app/*"
 * @author David M Johnson
 */
public class AtomServlet extends HttpServlet {
    //#AtomServlet.java:58: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet()
    //#input(void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet()): this
    //#AtomServlet.java:58: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet()
    public static final String FEED_TYPE = "atom_1.0";
    
    private static Log log =
    //#AtomServlet.java:61: method: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init
    //#AtomServlet.java:61: Warning: method not available
    //#    -- call on LogFactory org.apache.commons.logging.LogFactory:getFactory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init
    //#    unanalyzed callee: LogFactory org.apache.commons.logging.LogFactory:getFactory()
    //#AtomServlet.java:61: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getInstance(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getInstance(Class)
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet]
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.createAtomRequestHandler(Ljavax/servlet/http/HttpServletRequest;)Lorg/apache/roller/weblogger/webservices/atomprotocol/AtomHandler;
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doDelete(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doPut(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): log
    //#presumption(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): org.apache.commons.logging.LogFactory:getFactory(...)@61 != null
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.createAtomRequestHandler(Ljavax/servlet/http/HttpServletRequest;)Lorg/apache/roller/weblogger/webservices/atomprotocol/AtomHandler; == &createAtomRequestHandler
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doDelete(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doDelete
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doPost
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.doPut(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doPut
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String; == &getPathInfo
    //#post(org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init): init'ed(log)
    //#AtomServlet.java:61: end of method: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet__static_init
            LogFactory.getFactory().getInstance(AtomServlet.class);
    
    //-----------------------------------------------------------------------------
    /**
     * Create an Atom request handler.
     * TODO: make AtomRequestHandler implementation configurable.
     */
    private AtomHandler createAtomRequestHandler(HttpServletRequest request) 
    throws ServletException {
        log.debug("Creating Atom handler");
    //#AtomServlet.java:71: method: AtomHandler org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.createAtomRequestHandler(HttpServletRequest)
    //#AtomServlet.java:71: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: AtomHandler createAtomRequestHandler(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): log
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[others]
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.authenticateBASIC(Ljavax/servlet/http/HttpServletRequest;)Ljava/lang/String;
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log
    //#input(AtomHandler createAtomRequestHandler(HttpServletRequest)): request
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): new RollerAtomHandler(createAtomRequestHandler#1) num objects
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.__Tag
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.atomURL
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.maxEntries
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.roller
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.user
    //#output(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value
    //#new obj(AtomHandler createAtomRequestHandler(HttpServletRequest)): new RollerAtomHandler(createAtomRequestHandler#1)
    //#pre[1] (AtomHandler createAtomRequestHandler(HttpServletRequest)): log != null
    //#pre[2] (AtomHandler createAtomRequestHandler(HttpServletRequest)): (soft) org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log != null
    //#pre[3] (AtomHandler createAtomRequestHandler(HttpServletRequest)): (soft) request != null
    //#presumption(AtomHandler createAtomRequestHandler(HttpServletRequest)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@138 != null
    //#presumption(AtomHandler createAtomRequestHandler(HttpServletRequest)): org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(...)@72 == 1
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value == &new RollerAtomHandler(createAtomRequestHandler#1)
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): new RollerAtomHandler(createAtomRequestHandler#1) num objects == 1
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): init'ed(return_value.atomURL)
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.maxEntries == 20
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): return_value.roller != null
    //#post(AtomHandler createAtomRequestHandler(HttpServletRequest)): init'ed(return_value.user)
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUrlStrategy
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String:getBytes
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.commons.codec.binary.Base64:decodeBase64
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getUserByUserName
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getPassword
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(AtomHandler createAtomRequestHandler(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getAtomProtocolURL
        boolean enabled = WebloggerConfig.getBooleanProperty(
    //#AtomServlet.java:72: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: AtomHandler createAtomRequestHandler(HttpServletRequest)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)
            "webservices.atomprotocol.enabled");
        if (!enabled) {
            throw new ServletException("ERROR: Atom protocol not enabled");
        }
        return new RollerAtomHandler(request);
    //#AtomServlet.java:77: end of method: AtomHandler org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.createAtomRequestHandler(HttpServletRequest)
    }
    
    //-----------------------------------------------------------------------------
    /**
     * Handles an Atom GET by calling handler and writing results to response.
     */
    protected void doGet(HttpServletRequest req, HttpServletResponse res)
    throws ServletException, IOException { 
        log.debug("Entering");
    //#AtomServlet.java:86: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#AtomServlet.java:86: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ""._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".entries"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".entries."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".entry."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".media-link"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".resource."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".resources."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "BASIC realm="Roller""._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Cannot find weblog: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Media Files: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Not authorized to access website: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Not authorized to edit weblog: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Unparsable range: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "WWW-Authenticate"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): __Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setDraft(Z)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setEdited(Ljava/util/Date;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource.__Dispatch_Table.getContentLength()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource.__Dispatch_Table.getContentType()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource.__Dispatch_Table.getInputStream()Ljava/io/InputStream;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.ATOM_FORMAT
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.ATOM_PROTOCOL
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomService]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.__Dispatch_Table.addWorkspace(Lorg/apache/roller/weblogger/webservices/atomprotocol/Workspace;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomService.__Dispatch_Table.getWorkspaces()Ljava/util/List;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/Categories]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.addCategory(Lcom/sun/syndication/feed/atom/Category;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.getCategories()Ljava/util/List;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.getScheme()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.isFixed()Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.setFixed(Z)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Categories.__Dispatch_Table.setScheme(Ljava/lang/String;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/Collection]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.addAccept(Ljava/lang/String;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.addCategories(Lorg/apache/roller/weblogger/webservices/atomprotocol/Categories;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.getAccepts()Ljava/util/List;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.getCategories()Ljava/util/List;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.getTitleType()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Collection.__Dispatch_Table.setAccepts(Ljava/util/List;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.authenticateBASIC(Ljavax/servlet/http/HttpServletRequest;)Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getAuthenticatedUsername()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getCollection([Ljava/lang/String;)Lcom/sun/syndication/feed/atom/Feed;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getCollectionOfEntries([Ljava/lang/String;)Lcom/sun/syndication/feed/atom/Feed;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getCollectionOfResources([Ljava/lang/String;)Lcom/sun/syndication/feed/atom/Feed;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getEntry([Ljava/lang/String;)Lcom/sun/syndication/feed/atom/Entry;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getIntrospection()Lorg/apache/roller/weblogger/webservices/atomprotocol/AtomService;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getMediaResource([Ljava/lang/String;)Lorg/apache/roller/weblogger/webservices/atomprotocol/AtomMediaResource;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isCollectionURI([Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isEntryURI([Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isIntrospectionURI([Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isMediaEditURI([Ljava/lang/String;)Z
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.lang.Boolean.TRUE
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.org.apache.roller.weblogger.pojos.WeblogPermission.AUTHOR
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/Workspace]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Dispatch_Table.addCollection(Lorg/apache/roller/weblogger/webservices/atomprotocol/Collection;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Dispatch_Table.getCollections()Ljava/util/List;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/Workspace.__Dispatch_Table.getTitleType()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): req
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): res
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.__Tag
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[6] (void doGet(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(org/apache/roller/weblogger/webservices/atomprotocol/AtomService.ATOM_FORMAT)
    //#pre[3] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(org/apache/roller/weblogger/webservices/atomprotocol/AtomService.ATOM_PROTOCOL)
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log != null
    //#pre[5] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) req != null
    //#pre[8] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): ae.__Tag@139 in {org/apache/roller/weblogger/webservices/atomprotocol/AtomException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException}
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@134 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@135 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@111 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@123 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@97 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:split(...)@338 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): pathInfo.length@90 in {0, 3..4_294_967_295}
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.business.Weblogger:getUrlStrategy
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#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:substring
    //#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:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#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.business.URLStrategy:getAtomProtocolURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setFeedType
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setEntries
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput:outputJDom
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:get
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:setText
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:addContent
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.Format:getPrettyFormat
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:setFormat
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:output
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter:toString
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.Writer:write
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:split
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:endsWith
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:hasWritePermissions
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogURL
    //#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.pojos.Weblog:getHandle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntry
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getWebsite
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setHref
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setRel
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:createAtomEntry
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getUpdated
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getPath
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setTerm
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setId
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setTitle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setUpdated
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setOtherLinks
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setType
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setContents
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.module.ModuleImpl
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setModules
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPermaLink
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTitle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setPublished
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getText
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getSummary
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:isNotEmpty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setSummary
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCreator
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEmailAddress
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setEmail
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAuthors
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setScheme
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCategory
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTags
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntryTag:getName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setCategories
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAlternateLinks
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getId
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:hasUserPermissions
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getFileManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getWebsiteByHandle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.atomprotocol.AtomException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:getFile
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:createAtomResourceEntry
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getPath
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogResourceURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getDefaultFileTypeMap
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:instanceof
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:addMimeTypes
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getContentType
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getLastModified
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setSrc
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getPropertiesManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.PropertiesManager:getProperties
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:deleteWhitespace
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getAllPermissions
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogPermission:getWebsite
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEnableBloggerApi
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:equals
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:removeHTML
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogCategories
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setLabel
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:getDirectories
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Document
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Document:setRootElement
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:setAttribute
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getTerm
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getScheme
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getLabel
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getCollectionOfEntries
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getCollectionOfResources
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntries
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setId
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setTitle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setType
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setAlternateLinks
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setUpdated
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setOtherLinks
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:getFiles
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.TreeSet
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.SortedSet:add
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.SortedSet:size
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.SortedSet:toArray
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getLength
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getInputStream
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): pathInfo.length@90: {3..4_294_967_295}, {0}
        AtomHandler handler = createAtomRequestHandler(req);
        String userName = handler.getAuthenticatedUsername();
        if (userName != null) {
            String[] pathInfo = getPathInfo(req);
            try {
                if (handler.isIntrospectionURI(pathInfo)) {
                    // return an Atom Service document
                    AtomService service = handler.getIntrospection();
                    Document doc = AtomService.serviceToDocument(service);
                    res.setContentType("application/atomsvc+xml; charset=utf-8");
                    Writer writer = res.getWriter();
                    XMLOutputter outputter = new XMLOutputter();
    //#AtomServlet.java:98: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter()
                    outputter.setFormat(Format.getPrettyFormat());
    //#AtomServlet.java:99: Warning: method not available
    //#    -- call on Format org.jdom.output.Format:getPrettyFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Format org.jdom.output.Format:getPrettyFormat()
    //#AtomServlet.java:99: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:setFormat(Format)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:setFormat(Format)
                    outputter.output(doc, writer);
    //#AtomServlet.java:100: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:output(Document, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:output(Document, Writer)
                    writer.close();
                    res.setStatus(HttpServletResponse.SC_OK);
                } 
                else if (handler.isCollectionURI(pathInfo)) {
    //#AtomServlet.java:104: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isCollectionURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_5
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isCollectionURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 920
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    // return a collection
                    Feed col = handler.getCollection(pathInfo);
    //#AtomServlet.java:106: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection: pathInfo[1] != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: undefined != null
    //#    callee: Feed org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection(String[])
    //#    callee assertion: pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 289
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#AtomServlet.java:106: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection: (soft) pathInfo[2] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: (soft) undefined != null
    //#    callee: Feed org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection(String[])
    //#    callee assertion: (soft) pathInfo[2] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 289
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#AtomServlet.java:106: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection: (soft) init'ed(pathInfo[3..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: Feed org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[3..4_294_967_295])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 289
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#AtomServlet.java:106: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection: (soft) init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: Feed org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getCollection(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 289
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
                    col.setFeedType(FEED_TYPE);
    //#AtomServlet.java:107: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed:setFeedType(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed:setFeedType(String)
                    WireFeedOutput wireFeedOutput = new WireFeedOutput();
    //#AtomServlet.java:108: Warning: method not available
    //#    -- call on void com.sun.syndication.io.WireFeedOutput()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void com.sun.syndication.io.WireFeedOutput()
                    Document feedDoc = wireFeedOutput.outputJDom(col);
    //#AtomServlet.java:109: Warning: method not available
    //#    -- call on Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
                    res.setContentType("application/atom+xml; charset=utf-8");
                    Writer writer = res.getWriter();
                    XMLOutputter outputter = new XMLOutputter();
    //#AtomServlet.java:112: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter()
                    outputter.setFormat(Format.getPrettyFormat());
    //#AtomServlet.java:113: Warning: method not available
    //#    -- call on Format org.jdom.output.Format:getPrettyFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Format org.jdom.output.Format:getPrettyFormat()
    //#AtomServlet.java:113: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:setFormat(Format)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:setFormat(Format)
                    outputter.output(feedDoc, writer);
    //#AtomServlet.java:114: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:output(Document, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:output(Document, Writer)
                    writer.close();
                    res.setStatus(HttpServletResponse.SC_OK);
                } 
                else if (handler.isEntryURI(pathInfo)) {
    //#AtomServlet.java:118: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_7
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#AtomServlet.java:118: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_7
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    // return an entry
                    Entry entry = handler.getEntry(pathInfo);
    //#AtomServlet.java:120: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry: (soft) init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_8
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 542
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#AtomServlet.java:120: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry: pathInfo[1] != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_8
    //#    assertion: undefined != null
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry(String[])
    //#    callee assertion: pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 542
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#AtomServlet.java:120: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry: (soft) pathInfo[2] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_8
    //#    assertion: (soft) undefined != null
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry(String[])
    //#    callee assertion: (soft) pathInfo[2] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [6]
    //#    callee srcpos: 542
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#AtomServlet.java:120: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry: (soft) pathInfo[3..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_8
    //#    assertion: (soft) undefined != null
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getEntry(String[])
    //#    callee assertion: (soft) pathInfo[3..4_294_967_295] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [7]
    //#    callee srcpos: 542
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    if (entry != null) {
    //#AtomServlet.java:121: Warning: test always goes same way
    //#    test predetermined because entry != null
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    from bb: bb_8
    //#    live edge: bb_8-->bb_9
    //#    tested vn: getEntry(...) == null
    //#    tested vn values: {0}
                        res.setContentType("application/atom+xml; charset=utf-8");
                        Writer writer = res.getWriter();
                        serializeEntry(entry, writer);
                        writer.close();
                    } else {
                        res.setStatus(HttpServletResponse.SC_NOT_FOUND);
    //#AtomServlet.java:127: Warning: dead code
    //#    dead code here because entry != null
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    dead bb: bb_10
                    }
                } else if (handler.isMediaEditURI(pathInfo)) {
    //#AtomServlet.java:129: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isMediaEditURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_12
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isMediaEditURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 912
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    AtomMediaResource entry = handler.getMediaResource(pathInfo);
    //#AtomServlet.java:130: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getMediaResource: init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_13
    //#    assertion: init'ed(undefined)
    //#    callee: AtomMediaResource org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getMediaResource(String[])
    //#    callee assertion: init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 580
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#AtomServlet.java:130: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getMediaResource: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_13
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: AtomMediaResource org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.getMediaResource(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [6]
    //#    callee srcpos: 580
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
                    res.setContentType(entry.getContentType());
                    res.setContentLength(entry.getContentLength());
                    Utilities.copyInputToOutput(entry.getInputStream(), res.getOutputStream());
    //#AtomServlet.java:133: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.util.Utilities:copyInputToOutput(InputStream, OutputStream)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.util.Utilities:copyInputToOutput(InputStream, OutputStream)
                    res.getOutputStream().flush();
                    res.getOutputStream().close();                
                } else {
                    res.setStatus(HttpServletResponse.SC_NOT_FOUND);
                }
            } catch (AtomException ae) {
                res.sendError(ae.getStatus(), ae.getMessage());
    //#AtomServlet.java:140: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
            } catch (Exception e) {
                res.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR, e.getMessage());
                log.debug(e);
    //#AtomServlet.java:143: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
        } else {
            res.setHeader("WWW-Authenticate", "BASIC realm=\"Roller\"");
            res.setStatus(HttpServletResponse.SC_UNAUTHORIZED);
        }
        log.debug("Exiting");
    //#AtomServlet.java:149: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#AtomServlet.java:150: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.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 {
        log.debug("Entering");
    //#AtomServlet.java:159: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doPost(HttpServletRequest, HttpServletResponse)
    //#AtomServlet.java:159: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): " "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ""._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "-"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "."._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ".entry."._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ".media-link"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): ".resource."._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "BASIC realm="Roller""._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "Cannot find weblog: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "Not authorized to access website: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "Not authorized to edit weblog: "._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "WWW-Authenticate"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): "_"._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): log
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModule]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Dispatch_Table.getDraft()Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.getDraft()Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setDraft(Z)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setEdited(Ljava/util/Date;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.authenticateBASIC(Ljavax/servlet/http/HttpServletRequest;)Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getAuthenticatedUsername()Ljava/lang/String;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isCollectionURI([Ljava/lang/String;)Z
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.postEntry([Ljava/lang/String;Lcom/sun/syndication/feed/atom/Entry;)Lcom/sun/syndication/feed/atom/Entry;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.postMedia([Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;Ljava/io/InputStream;)Lcom/sun/syndication/feed/atom/Entry;
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator._tainted
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.org.apache.roller.weblogger.pojos.WeblogPermission.AUTHOR
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.throttle
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): req
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): res
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): this
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): this.__Tag
    //#pre[1] (void doPost(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[5] (void doPost(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[2] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log != null
    //#pre[3] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) init'ed(org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.throttle)
    //#pre[4] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) req != null
    //#pre[7] (void doPost(HttpServletRequest, HttpServletResponse)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): ae.__Tag@227 in {org/apache/roller/weblogger/webservices/atomprotocol/AtomException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException}
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Entry:getContents(...)@203 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Entry:getOtherLinks(...)@178 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Entry:getOtherLinks(...)@207 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Link:getRel(...)@181 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Link:getRel(...)@210 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): java.util.Iterator:next(...)@180 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): java.util.Iterator:next(...)@209 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): java.util.List:get(...)@405 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getContentType(...)@167 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getContentType(...)@199 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@189 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@215 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:split(...)@338 != null
    //#presumption(void doPost(HttpServletRequest, HttpServletResponse)): pathInfo.length@163 in 2..4_294_967_295
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.business.Weblogger:getUrlStrategy
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#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:substring
    //#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:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#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.business.URLStrategy:getAtomProtocolURL
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setFeedType
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setEntries
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput:outputJDom
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:get
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:setText
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:addContent
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.Format:getPrettyFormat
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:setFormat
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:output
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter:toString
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.Writer:write
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:split
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.input.SAXBuilder
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.input.SAXBuilder:build
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:detach
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Namespace:getNamespace
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedInput
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedInput:build
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:getEntries
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:endsWith
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Thread:sleep
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogURL
    //#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.business.Weblogger:getIndexManager
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:isPublished
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.search.IndexManager:addEntryReIndexOperation
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getHandle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getWebsite
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.CacheManager:invalidate
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:flush
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setHref
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setRel
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:createAtomEntry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getUpdated
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:copyToRollerEntry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:saveWeblogEntry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getPath
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setTerm
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setId
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setTitle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setUpdated
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setOtherLinks
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setType
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setContents
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.module.ModuleImpl
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setModules
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPermaLink
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTitle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setPublished
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getText
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setValue
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getSummary
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:isNotEmpty
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setSummary
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCreator
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEmailAddress
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setEmail
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAuthors
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setScheme
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCategory
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTags
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntryTag:getName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setCategories
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAlternateLinks
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getId
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.sql.Timestamp
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getPublished
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getTitle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setTitle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getContents
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:getValue
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setText
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getSummary
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setSummary
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setPubTime
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setUpdateTime
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getModule
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getDraft
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setStatus
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getCategories
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getScheme
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getTerm
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogCategoryByPath
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setCategory
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getBloggerCategory
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setTagsAsString
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:hasUserPermissions
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getFileManager
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getWebsiteByHandle
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.atomprotocol.AtomException
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:getFile
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:createTempFile
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileOutputStream
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:copyInputToOutput
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileOutputStream:close
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:length
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:saveFile
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileInputStream:close
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:createAtomResourceEntry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:delete
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getPath
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogResourceURL
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getDefaultFileTypeMap
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:instanceof
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:addMimeTypes
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getName
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getContentType
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getLastModified
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setSrc
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setWebsite
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setCreator
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.text.SimpleDateFormat:applyPattern
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.text.SimpleDateFormat:format
    //#unanalyzed(void doPost(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:replaceNonAlphanumeric
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Link:getRel(...)@181: Inverse{null}, Addr_Set{null}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): com.sun.syndication.feed.atom.Link:getRel(...)@210: Inverse{null}, Addr_Set{null}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@181: {1}, {0}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@210: {1}, {0}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): java.lang.String:startsWith(...)@167: {0}, {1}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): java.util.Iterator:hasNext(...)@179: {0}, {1}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): java.util.Iterator:hasNext(...)@208: {0}, {1}
    //#test_vector(void doPost(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getContentType(...)@193: Addr_Set{null}, Inverse{null}
        AtomHandler handler = createAtomRequestHandler(req);
        String userName = handler.getAuthenticatedUsername();
        if (userName != null) {
            String[] pathInfo = getPathInfo(req);
            try {
                if (handler.isCollectionURI(pathInfo)) {
    //#AtomServlet.java:165: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isCollectionURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_3
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isCollectionURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 920
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    
                    if (req.getContentType().startsWith("application/atom+xml")) {

                        // parse incoming entry
                        Entry unsavedEntry = parseEntry(new BufferedReader(
                            new InputStreamReader(
                                req.getInputStream(), "UTF-8")));

                        // call handler to post it
                        Entry savedEntry = handler.postEntry(pathInfo, unsavedEntry);
    //#AtomServlet.java:175: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postEntry: init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_5
    //#    assertion: init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postEntry(String[], Entry)
    //#    callee assertion: init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 501
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
                        
                        // return member entry URI as location header
                        Iterator links = savedEntry.getOtherLinks().iterator();
    //#AtomServlet.java:178: Warning: method not available
    //#    -- call on List com.sun.syndication.feed.atom.Entry:getOtherLinks()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List com.sun.syndication.feed.atom.Entry:getOtherLinks()
                        while (links.hasNext()) {
                            Link link = (Link) links.next();
                            if (link.getRel().equals("edit") || link.getRel() == null) {
    //#AtomServlet.java:181: Warning: method not available
    //#    -- call on String com.sun.syndication.feed.atom.Link:getRel()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String com.sun.syndication.feed.atom.Link:getRel()
                                res.addHeader("Location", link.getHref());
    //#AtomServlet.java:182: Warning: method not available
    //#    -- call on String com.sun.syndication.feed.atom.Link:getHref()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String com.sun.syndication.feed.atom.Link:getHref()
                                break;
                            }
                        }
                        // write entry back out to response
                        res.setStatus(HttpServletResponse.SC_CREATED);
                        res.setContentType("application/atom+xml; charset=utf-8");
                        Writer writer = res.getWriter();
                        serializeEntry(savedEntry, writer);
                        writer.close(); 
                    
                    } else if (req.getContentType() != null) {
                        // get incoming title and slug from HTTP header
                        String title = req.getHeader("Title");
                        String slug = req.getHeader("Slug");

                        // hand input stream off to hander to post file
                        Entry resource = handler.postMedia(
    //#AtomServlet.java:199: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postMedia: init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_13
    //#    assertion: init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postMedia(String[], String, String, String, InputStream)
    //#    callee assertion: init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [7]
    //#    callee srcpos: 712
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#AtomServlet.java:199: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postMedia: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_13
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.postMedia(String[], String, String, String, InputStream)
    //#    callee assertion: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [9]
    //#    callee srcpos: 712
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
                            pathInfo, title, slug, req.getContentType(), req.getInputStream());
                        
                        res.setStatus(HttpServletResponse.SC_CREATED);
                        com.sun.syndication.feed.atom.Content content = 
    //#AtomServlet.java:203: Warning: unused assignment
    //#    unused assignment into content
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#AtomServlet.java:203: Warning: method not available
    //#    -- call on List com.sun.syndication.feed.atom.Entry:getContents()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List com.sun.syndication.feed.atom.Entry:getContents()
                            (com.sun.syndication.feed.atom.Content)resource.getContents().get(0);

                        // return member entry URI as location header
                        Iterator links = resource.getOtherLinks().iterator();
    //#AtomServlet.java:207: Warning: method not available
    //#    -- call on List com.sun.syndication.feed.atom.Entry:getOtherLinks()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List com.sun.syndication.feed.atom.Entry:getOtherLinks()
                        while (links.hasNext()) {
                            Link link = (Link) links.next();
                            if (link.getRel().equals("edit") || link.getRel() == null) {
    //#AtomServlet.java:210: Warning: method not available
    //#    -- call on String com.sun.syndication.feed.atom.Link:getRel()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String com.sun.syndication.feed.atom.Link:getRel()
                                res.addHeader("Location", link.getHref());
    //#AtomServlet.java:211: Warning: method not available
    //#    -- call on String com.sun.syndication.feed.atom.Link:getHref()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String com.sun.syndication.feed.atom.Link:getHref()
                                break;
                            }
                        }
                        Writer writer = res.getWriter();
                        serializeEntry(resource, writer);
                        writer.close(); 
                    } else {
                        res.sendError(HttpServletResponse.SC_UNSUPPORTED_MEDIA_TYPE,
                                "No content-type specified in request");
                    }
                    
                } else {
                    res.sendError(HttpServletResponse.SC_NOT_FOUND,
                            "Invalid collection specified in request");
                }
            } catch (AtomException ae) {
                res.sendError(ae.getStatus(), ae.getMessage());
    //#AtomServlet.java:228: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
            } catch (Exception e) {
                res.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR, e.getMessage());
                log.debug(e);
    //#AtomServlet.java:231: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
        } else {
            res.setHeader("WWW-Authenticate", "BASIC realm=\"Roller\"");
            res.setStatus(HttpServletResponse.SC_UNAUTHORIZED);
        }
        log.debug("Exiting");
    //#AtomServlet.java:237: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#AtomServlet.java:238: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.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 {
        log.debug("Entering");
    //#AtomServlet.java:247: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doPut(HttpServletRequest, HttpServletResponse)
    //#AtomServlet.java:247: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): " "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ""._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "."._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ".entry."._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ".media-link"._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): ".resource."._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "BASIC realm="Roller""._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "Not authorized to edit weblog: "._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): "WWW-Authenticate"._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): __Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): log
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AppModule]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModule.__Dispatch_Table.getDraft()Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.getDraft()Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setDraft(Z)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AppModuleImpl.__Dispatch_Table.setEdited(Ljava/util/Date;)V
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[others]
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.authenticateBASIC(Ljavax/servlet/http/HttpServletRequest;)Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getAuthenticatedUsername()Ljava/lang/String;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isEntryURI([Ljava/lang/String;)Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isMediaEditURI([Ljava/lang/String;)Z
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.putEntry([Ljava/lang/String;Lcom/sun/syndication/feed/atom/Entry;)Lcom/sun/syndication/feed/atom/Entry;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.putMedia([Ljava/lang/String;Ljava/lang/String;Ljava/io/InputStream;)Lcom/sun/syndication/feed/atom/Entry;
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator._tainted
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.org.apache.roller.weblogger.pojos.WeblogPermission.AUTHOR
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.throttle
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): req
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): res
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): this
    //#input(void doPut(HttpServletRequest, HttpServletResponse)): this.__Tag
    //#pre[1] (void doPut(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[5] (void doPut(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[2] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log != null
    //#pre[3] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) init'ed(org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.throttle)
    //#pre[4] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) req != null
    //#pre[7] (void doPut(HttpServletRequest, HttpServletResponse)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): ae.__Tag@286 in {org/apache/roller/weblogger/webservices/atomprotocol/AtomException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException}
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): java.util.List:get(...)@405 != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@265 != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getWriter(...)@278 != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:split(...)@338 != null
    //#presumption(void doPut(HttpServletRequest, HttpServletResponse)): pathInfo.length@251 == 3
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.business.Weblogger:getUrlStrategy
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#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:substring
    //#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:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#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.business.URLStrategy:getAtomProtocolURL
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setFeedType
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:setEntries
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedOutput:outputJDom
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:get
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:setText
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:addContent
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.Format:getPrettyFormat
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:setFormat
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.output.XMLOutputter:output
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.StringWriter:toString
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.Writer:write
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:split
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.input.SAXBuilder
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.input.SAXBuilder:build
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:detach
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Namespace:getNamespace
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedInput
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.io.WireFeedInput:build
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Feed:getEntries
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:endsWith
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:hasWritePermissions
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Thread:sleep
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogURL
    //#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.business.Weblogger:getIndexManager
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:isPublished
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.search.IndexManager:addEntryReIndexOperation
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getHandle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntry
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getWebsite
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.CacheManager:invalidate
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:flush
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setHref
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Link:setRel
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Collections:singletonList
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getUpdated
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:saveWeblogEntry
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getPath
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setTerm
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setId
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setTitle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setUpdated
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setOtherLinks
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setType
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setContents
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.module.ModuleImpl
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setModules
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPermaLink
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTitle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setPublished
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getUpdateTime
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getText
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setValue
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getSummary
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:isNotEmpty
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setSummary
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCreator
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getEmailAddress
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Person:setEmail
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAuthors
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:setScheme
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getCategory
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getTags
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntryTag:getName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setCategories
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:setAlternateLinks
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getId
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.System:currentTimeMillis
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.sql.Timestamp
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getPublished
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getTitle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setTitle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getContents
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:getValue
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setText
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getSummary
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setSummary
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setPubTime
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setUpdateTime
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getModule
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getDraft
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setStatus
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Entry:getCategories
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getScheme
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Category:getTerm
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogCategoryByPath
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setCategory
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getBloggerCategory
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:setTagsAsString
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:hasUserPermissions
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getFileManager
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getWebsiteByHandle
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.webservices.atomprotocol.AtomException
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:getFile
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:createTempFile
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileOutputStream
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:copyInputToOutput
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileOutputStream:close
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:length
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:saveFile
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.FileInputStream:close
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.File:delete
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getPath
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogResourceURL
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getDefaultFileTypeMap
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:instanceof
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.MimetypesFileTypeMap:addMimeTypes
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getName
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.activation.FileTypeMap:getContentType
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeResource:getLastModified
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:com.sun.syndication.feed.atom.Content:setSrc
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.UUID:randomUUID
    //#unanalyzed(void doPut(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.UUID:toString
        AtomHandler handler = createAtomRequestHandler(req);
        String userName = handler.getAuthenticatedUsername();
        if (userName != null) {
            String[] pathInfo = getPathInfo(req);
            try {
                if (handler.isEntryURI(pathInfo)) {
    //#AtomServlet.java:253: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_3
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#AtomServlet.java:253: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_3
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    
                    // parse incoming entry
                    Entry unsavedEntry = parseEntry(new BufferedReader(
                        new InputStreamReader(
                            req.getInputStream(), "UTF-8")));
                    
                    // call handler to put entry
                    Entry updatedEntry = handler.putEntry(pathInfo, unsavedEntry);
    //#AtomServlet.java:261: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putEntry: init'ed(pathInfo[2])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_4
    //#    assertion: init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putEntry(String[], Entry)
    //#    callee assertion: init'ed(pathInfo[2])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 613
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
                    
                    // write entry back out to response
                    res.setContentType("application/atom+xml; charset=utf-8");
                    Writer writer = res.getWriter();
                    serializeEntry(updatedEntry, writer);
                    res.setStatus(HttpServletResponse.SC_OK);
                    writer.close();
                    
                } else if (handler.isMediaEditURI(pathInfo)) {
    //#AtomServlet.java:270: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isMediaEditURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_5
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isMediaEditURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 912
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    
                    // hand input stream to handler
                    Entry updatedEntry = handler.putMedia(
    //#AtomServlet.java:273: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putMedia: init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putMedia(String[], String, InputStream)
    //#    callee assertion: init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [6]
    //#    callee srcpos: 842
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#AtomServlet.java:273: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putMedia: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_6
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: Entry org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.putMedia(String[], String, InputStream)
    //#    callee assertion: (soft) init'ed(pathInfo[2..4_294_967_295])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [8]
    //#    callee srcpos: 842
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
                        pathInfo, req.getContentType(), req.getInputStream());
                                        
                    // write entry back out to response
                    res.setContentType("application/atom+xml; charset=utf-8");
                    Writer writer = res.getWriter();
                    serializeEntry(updatedEntry, writer);
                    writer.close();
                    res.setStatus(HttpServletResponse.SC_OK);
                    
                } else {
                    res.setStatus(HttpServletResponse.SC_NOT_FOUND);
                }
            } catch (AtomException ae) {
                res.sendError(ae.getStatus(), ae.getMessage());
    //#AtomServlet.java:287: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
            } catch (Exception e) {
                res.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR, e.getMessage());
                log.debug(e);
    //#AtomServlet.java:290: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
        } else {
            res.setHeader("WWW-Authenticate", "BASIC realm=\"Roller\"");
            res.setStatus(HttpServletResponse.SC_UNAUTHORIZED);
        }
        log.debug("Exiting");
    //#AtomServlet.java:296: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doPut(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#AtomServlet.java:297: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doPut(HttpServletRequest, HttpServletResponse)
    
    //-----------------------------------------------------------------------------
    /**
     * Handle Atom DELETE by calling appropriate handler.
     */
    protected void doDelete(HttpServletRequest req, HttpServletResponse res)
    throws ServletException, IOException {
        log.debug("Entering");
    //#AtomServlet.java:305: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doDelete(HttpServletRequest, HttpServletResponse)
    //#AtomServlet.java:305: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): ""._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "BASIC realm="Roller""._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "Deleted entry:"._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "Deleted resource: "._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): "WWW-Authenticate"._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): __Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): __Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): __Dispatch_Table.getPathInfo(Ljavax/servlet/http/HttpServletRequest;)[Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): log
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException.__Dispatch_Table.getStatus()I
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Descendant_Table[others]
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.authenticateBASIC(Ljavax/servlet/http/HttpServletRequest;)Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.deleteEntry([Ljava/lang/String;)V
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.getAuthenticatedUsername()Ljava/lang/String;
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.__Dispatch_Table.isEntryURI([Ljava/lang/String;)Z
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.java.io.File.separator._tainted
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.org.apache.roller.weblogger.pojos.WeblogPermission.AUTHOR
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): req
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): res
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): this
    //#input(void doDelete(HttpServletRequest, HttpServletResponse)): this.__Tag
    //#pre[1] (void doDelete(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[4] (void doDelete(HttpServletRequest, HttpServletResponse)): res != null
    //#pre[2] (void doDelete(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.log != null
    //#pre[3] (void doDelete(HttpServletRequest, HttpServletResponse)): (soft) req != null
    //#pre[6] (void doDelete(HttpServletRequest, HttpServletResponse)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/atomprotocol/AtomServlet
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): ae.__Tag@318 in {org/apache/roller/weblogger/webservices/atomprotocol/AtomException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotAuthorizedException, org/apache/roller/weblogger/webservices/atomprotocol/AtomNotFoundException}
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:split(...)@338 != null
    //#presumption(void doDelete(HttpServletRequest, HttpServletResponse)): pathInfo.length@309 in 3..4_294_967_295
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.business.Weblogger:getUrlStrategy
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:equals
    //#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:substring
    //#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:org.apache.roller.weblogger.pojos.User:getEnabled
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.Utilities:encodePassword
    //#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.business.URLStrategy:getAtomProtocolURL
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getPathInfo
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.lang.StringUtils:split
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.User:getUserName
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:endsWith
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:hasWritePermissions
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#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.business.Weblogger:getIndexManager
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:isPublished
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.search.IndexManager:addEntryReIndexOperation
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntry
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getWebsite
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.util.cache.CacheManager:invalidate
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:flush
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:hasUserPermissions
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getFileManager
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getWebsiteByHandle
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:removeWeblogEntry
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getAnchor
    //#unanalyzed(void doDelete(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.FileManager:deleteFile
        AtomHandler handler = createAtomRequestHandler(req);
        String userName = handler.getAuthenticatedUsername();
        if (userName != null) {
            String[] pathInfo = getPathInfo(req);
            try {
                if (handler.isEntryURI(pathInfo)) {
    //#AtomServlet.java:311: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_3
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[0, 2..4_294_967_295] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    //#AtomServlet.java:311: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI: (soft) pathInfo[1] != null
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_3
    //#    assertion: (soft) undefined != null
    //#    callee: bool org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.isEntryURI(String[])
    //#    callee assertion: (soft) pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 903
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
                    handler.deleteEntry(pathInfo);
    //#AtomServlet.java:312: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry: (soft) init'ed(pathInfo[0])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_4
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[0])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 653
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#AtomServlet.java:312: ?!precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry: pathInfo[1] != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_4
    //#    assertion: undefined != null
    //#    callee: void org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry(String[])
    //#    callee assertion: pathInfo[1] != null
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 653
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#AtomServlet.java:312: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry: (soft) init'ed(pathInfo[2])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_4
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[2])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [6]
    //#    callee srcpos: 653
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#AtomServlet.java:312: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry: (soft) init'ed(pathInfo[3..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_4
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/atomprotocol/RollerAtomHandler.deleteEntry(String[])
    //#    callee assertion: (soft) init'ed(pathInfo[3..4_294_967_295])
    //#    callee file: RollerAtomHandler.java
    //#    callee precondition index: [7]
    //#    callee srcpos: 653
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
                    res.setStatus(HttpServletResponse.SC_OK);
                } 
                else {
                    res.setStatus(HttpServletResponse.SC_NOT_FOUND);
                }
            } catch (AtomException ae) {
                res.sendError(ae.getStatus(), ae.getMessage());
    //#AtomServlet.java:319: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.webservices.atomprotocol.AtomException:getMessage()
            } catch (Exception e) {
                res.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR, e.getMessage());
                log.debug(e);
    //#AtomServlet.java:322: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
        } else {
            res.setHeader("WWW-Authenticate", "BASIC realm=\"Roller\"");
            res.setStatus(HttpServletResponse.SC_UNAUTHORIZED);
        }
        log.debug("Exiting");
    //#AtomServlet.java:328: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void doDelete(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#AtomServlet.java:329: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.doDelete(HttpServletRequest, HttpServletResponse)
    
    //-----------------------------------------------------------------------------
    /**
     * Convenience method to return the PathInfo from the request.
     */
    protected String[] getPathInfo(HttpServletRequest request) {
        String mPathInfo = request.getPathInfo();
    //#AtomServlet.java:336: method: String[] org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.getPathInfo(HttpServletRequest)
    //#input(String[] getPathInfo(HttpServletRequest)): request
    //#output(String[] getPathInfo(HttpServletRequest)): return_value
    //#pre[1] (String[] getPathInfo(HttpServletRequest)): request != null
    //#post(String[] getPathInfo(HttpServletRequest)): init'ed(return_value)
        mPathInfo = (mPathInfo!=null) ? mPathInfo : "";
        return StringUtils.split(mPathInfo,"/");
    //#AtomServlet.java:338: Warning: method not available
    //#    -- call on String[] org.apache.commons.lang.StringUtils:split(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: String[] getPathInfo(HttpServletRequest)
    //#    unanalyzed callee: String[] org.apache.commons.lang.StringUtils:split(String, String)
    //#AtomServlet.java:338: end of method: String[] org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.getPathInfo(HttpServletRequest)
    }
    
    /**
     * Serialize entry to writer.
     */
    public static void serializeEntry(Entry entry, Writer writer)
    throws IllegalArgumentException, FeedException, IOException {
        // Build a feed containing only the entry
        List entries = new ArrayList();
    //#AtomServlet.java:347: method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.serializeEntry(Entry, Writer)
    //#input(void serializeEntry(Entry, Writer)): entry
    //#input(void serializeEntry(Entry, Writer)): log
    //#input(void serializeEntry(Entry, Writer)): writer
    //#pre[2] (void serializeEntry(Entry, Writer)): log != null
    //#pre[3] (void serializeEntry(Entry, Writer)): (soft) writer != null
    //#presumption(void serializeEntry(Entry, Writer)): com.sun.syndication.io.WireFeedOutput:outputJDom(...)@355 != null
    //#presumption(void serializeEntry(Entry, Writer)): java.util.List:get(...)@358 != null
    //#presumption(void serializeEntry(Entry, Writer)): org.jdom.Document:getRootElement(...)@358 != null
    //#presumption(void serializeEntry(Entry, Writer)): org.jdom.Element:getChildren(...)@358 != null
    //#test_vector(void serializeEntry(Entry, Writer)): org.apache.commons.logging.Log:isDebugEnabled(...)@368: {0}, {1}
        entries.add(entry);
        Feed feed1 = new Feed();
    //#AtomServlet.java:349: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed()
        feed1.setFeedType(AtomServlet.FEED_TYPE);
    //#AtomServlet.java:350: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed:setFeedType(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed:setFeedType(String)
        feed1.setEntries(entries);
    //#AtomServlet.java:351: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed:setEntries(List)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed:setEntries(List)
        
        // Get Rome to output feed as a JDOM document
        WireFeedOutput wireFeedOutput = new WireFeedOutput();
    //#AtomServlet.java:354: Warning: method not available
    //#    -- call on void com.sun.syndication.io.WireFeedOutput()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void com.sun.syndication.io.WireFeedOutput()
        Document feedDoc = wireFeedOutput.outputJDom(feed1);
    //#AtomServlet.java:355: Warning: method not available
    //#    -- call on Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
        
        // Grab entry element from feed and get JDOM to serialize it
        Element entryElement= (Element)feedDoc.getRootElement().getChildren().get(0);
    //#AtomServlet.java:358: Warning: method not available
    //#    -- call on Element org.jdom.Document:getRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: Element org.jdom.Document:getRootElement()
    //#AtomServlet.java:358: Warning: method not available
    //#    -- call on List org.jdom.Element:getChildren()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: List org.jdom.Element:getChildren()
        
        Element rollerElement = new Element("atom-draft", 
    //#AtomServlet.java:360: Warning: method not available
    //#    -- call on void org.jdom.Element(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.jdom.Element(String, String)
            "http://roller.apache.org/namespaces/app");
        rollerElement.setText("14");
    //#AtomServlet.java:362: Warning: method not available
    //#    -- call on Element org.jdom.Element:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: Element org.jdom.Element:setText(String)
        entryElement.addContent(rollerElement);
    //#AtomServlet.java:363: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        
        XMLOutputter outputter = new XMLOutputter();
    //#AtomServlet.java:365: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter()
        outputter.setFormat(Format.getPrettyFormat());
    //#AtomServlet.java:366: Warning: method not available
    //#    -- call on Format org.jdom.output.Format:getPrettyFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: Format org.jdom.output.Format:getPrettyFormat()
    //#AtomServlet.java:366: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:setFormat(Format)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:setFormat(Format)
        
        if (log.isDebugEnabled()) {
    //#AtomServlet.java:368: Warning: method not available
    //#    -- call on bool org.apache.commons.logging.Log:isDebugEnabled()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: bool org.apache.commons.logging.Log:isDebugEnabled()
            StringWriter sw = new StringWriter();
            outputter.output(entryElement, sw); 
    //#AtomServlet.java:370: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:output(Element, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:output(Element, Writer)
            log.debug(sw.toString());
    //#AtomServlet.java:371: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            writer.write(sw.toString()); 
        } else {
            outputter.output(entryElement, writer);
    //#AtomServlet.java:374: Warning: method not available
    //#    -- call on void org.jdom.output.XMLOutputter:output(Element, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: void serializeEntry(Entry, Writer)
    //#    unanalyzed callee: void org.jdom.output.XMLOutputter:output(Element, Writer)
        } 
    }
    //#AtomServlet.java:376: end of method: void org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.serializeEntry(Entry, Writer)
    
    /**
     * Parse entry from reader.
     */
    public static Entry parseEntry(Reader rd) 
        throws JDOMException, IOException, IllegalArgumentException, FeedException {
        // Parse entry into JDOM tree
        SAXBuilder builder = new SAXBuilder();
    //#AtomServlet.java:384: method: Entry org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.parseEntry(Reader)
    //#AtomServlet.java:384: Warning: method not available
    //#    -- call on void org.jdom.input.SAXBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void org.jdom.input.SAXBuilder()
    //#input(Entry parseEntry(Reader)): log
    //#input(Entry parseEntry(Reader)): rd
    //#output(Entry parseEntry(Reader)): return_value
    //#pre[1] (Entry parseEntry(Reader)): (soft) log != null
    //#presumption(Entry parseEntry(Reader)): com.sun.syndication.feed.atom.Feed:getEntries(...)@405 != null
    //#presumption(Entry parseEntry(Reader)): com.sun.syndication.io.WireFeedInput:build(...)@404 != null
    //#presumption(Entry parseEntry(Reader)): com.sun.syndication.io.WireFeedOutput:outputJDom(...)@393 != null
    //#presumption(Entry parseEntry(Reader)): org.jdom.Document:getRootElement(...)@386 != null
    //#presumption(Entry parseEntry(Reader)): org.jdom.Document:getRootElement(...)@394 != null
    //#presumption(Entry parseEntry(Reader)): org.jdom.input.SAXBuilder:build(...)@385 != null
    //#post(Entry parseEntry(Reader)): init'ed(return_value)
    //#test_vector(Entry parseEntry(Reader)): org.jdom.Element:getChild(...)@398: Inverse{null}, Addr_Set{null}
        Document entryDoc = builder.build(rd);
    //#AtomServlet.java:385: Warning: method not available
    //#    -- call on Document org.jdom.input.SAXBuilder:build(Reader)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Document org.jdom.input.SAXBuilder:build(Reader)
        Element fetchedEntryElement = entryDoc.getRootElement();
    //#AtomServlet.java:386: Warning: method not available
    //#    -- call on Element org.jdom.Document:getRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Element org.jdom.Document:getRootElement()
        fetchedEntryElement.detach();
    //#AtomServlet.java:387: Warning: method not available
    //#    -- call on Content org.jdom.Element:detach()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Content org.jdom.Element:detach()
        
        // Put entry into a JDOM document with 'feed' root so that Rome can handle it
        Feed feed = new Feed();
    //#AtomServlet.java:390: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed()
        feed.setFeedType(FEED_TYPE);
    //#AtomServlet.java:391: Warning: method not available
    //#    -- call on void com.sun.syndication.feed.atom.Feed:setFeedType(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void com.sun.syndication.feed.atom.Feed:setFeedType(String)
        WireFeedOutput wireFeedOutput = new WireFeedOutput();
    //#AtomServlet.java:392: Warning: method not available
    //#    -- call on void com.sun.syndication.io.WireFeedOutput()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void com.sun.syndication.io.WireFeedOutput()
        Document feedDoc = wireFeedOutput.outputJDom(feed);
    //#AtomServlet.java:393: Warning: method not available
    //#    -- call on Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Document com.sun.syndication.io.WireFeedOutput:outputJDom(WireFeed)
        feedDoc.getRootElement().addContent(fetchedEntryElement);
    //#AtomServlet.java:394: Warning: method not available
    //#    -- call on Element org.jdom.Document:getRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Element org.jdom.Document:getRootElement()
    //#AtomServlet.java:394: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        
        Namespace ns = Namespace.getNamespace(
    //#AtomServlet.java:396: Warning: method not available
    //#    -- call on Namespace org.jdom.Namespace:getNamespace(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Namespace org.jdom.Namespace:getNamespace(String)
            "http://roller.apache.org/namespaces/app");
        Element rollerElement = fetchedEntryElement.getChild("atom-draft", ns);
    //#AtomServlet.java:398: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (rollerElement == null) {
            log.debug("Client is NOT preserving foreign markup");
    //#AtomServlet.java:400: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        }
                
        WireFeedInput input = new WireFeedInput();
    //#AtomServlet.java:403: Warning: method not available
    //#    -- call on void com.sun.syndication.io.WireFeedInput()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: void com.sun.syndication.io.WireFeedInput()
        Feed parsedFeed = (Feed)input.build(feedDoc);
    //#AtomServlet.java:404: Warning: method not available
    //#    -- call on WireFeed com.sun.syndication.io.WireFeedInput:build(Document)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: WireFeed com.sun.syndication.io.WireFeedInput:build(Document)
        return (Entry)parsedFeed.getEntries().get(0);
    //#AtomServlet.java:405: Warning: method not available
    //#    -- call on List com.sun.syndication.feed.atom.Feed:getEntries()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
    //#    method: Entry parseEntry(Reader)
    //#    unanalyzed callee: List com.sun.syndication.feed.atom.Feed:getEntries()
    //#AtomServlet.java:405: end of method: Entry org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet.parseEntry(Reader)
    }
}
    //#AtomServlet.java:: end of class: org.apache.roller.weblogger.webservices.atomprotocol.AtomServlet
