//# 4 errors, 269 messages
//#
/*
    //#FeedServlet.java:1:1: class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
 * 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.ui.rendering.servlets;

import java.io.IOException;
import java.util.HashMap;
import java.util.Map;
import javax.servlet.ServletConfig;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.business.WeblogManager;
import org.apache.roller.weblogger.config.WebloggerConfig;
import org.apache.roller.weblogger.config.WebloggerRuntimeConfig;
import org.apache.roller.weblogger.pojos.StaticTemplate;
import org.apache.roller.weblogger.pojos.Template;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest;
import org.apache.roller.weblogger.util.cache.CachedContent;
import org.apache.roller.weblogger.ui.rendering.Renderer;
import org.apache.roller.weblogger.ui.rendering.RendererManager;
import org.apache.roller.weblogger.ui.rendering.model.ModelLoader;
import org.apache.roller.weblogger.ui.rendering.model.SearchResultsFeedModel;
import org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache;
import org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache;
import org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil;


/**
 * Responsible for rendering weblog feeds.
 *
 * @web.servlet name="FeedServlet" load-on-startup="5"
 * @web.servlet-mapping url-pattern="/roller-ui/rendering/feed/*"
 */
public class FeedServlet extends HttpServlet {
    //#FeedServlet.java:56: method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()
    //#input(void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()): this.siteWideCache
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()): this.weblogFeedCache
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()): this.siteWideCache == null
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()): this.weblogFeedCache == null

    private static Log log = LogFactory.getLog(FeedServlet.class);
    //#FeedServlet.java:58: method: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init
    //#FeedServlet.java:58: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/FeedServlet]
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): log
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/FeedServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init): init'ed(log)
    //#FeedServlet.java:58: end of method: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet__static_init

    private WeblogFeedCache weblogFeedCache = null;
    private SiteWideCache siteWideCache = null;
    //#FeedServlet.java:61: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet()


    /**
     * Init method for this servlet
     */
    public void init(ServletConfig servletConfig) throws ServletException {

        super.init(servletConfig);
    //#FeedServlet.java:69: method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.init(ServletConfig)
    //#input(void init(ServletConfig)): log
    //#input(void init(ServletConfig)): servletConfig
    //#input(void init(ServletConfig)): this
    //#output(void init(ServletConfig)): this.siteWideCache
    //#output(void init(ServletConfig)): this.weblogFeedCache
    //#pre[1] (void init(ServletConfig)): log != null
    //#post(void init(ServletConfig)): init'ed(this.siteWideCache)
    //#post(void init(ServletConfig)): init'ed(this.weblogFeedCache)

        log.info("Initializing FeedServlet");
    //#FeedServlet.java:71: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)

        // get a reference to the weblog feed cache
        this.weblogFeedCache = WeblogFeedCache.getInstance();
    //#FeedServlet.java:74: Warning: method not available
    //#    -- call on WeblogFeedCache org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: WeblogFeedCache org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:getInstance()

        // get a reference to the site wide cache
        this.siteWideCache = SiteWideCache.getInstance();
    //#FeedServlet.java:77: Warning: method not available
    //#    -- call on SiteWideCache org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: SiteWideCache org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getInstance()
    }
    //#FeedServlet.java:78: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.init(ServletConfig)


    /**
     * Handle GET requests for weblog feeds.
     */
    public void doGet(HttpServletRequest request, HttpServletResponse response)
            throws ServletException, IOException {

        log.debug("Entering");
    //#FeedServlet.java:87: method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#FeedServlet.java:87: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    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)): ".vm"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error accessing model: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error during rendering for page "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error finding model: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error initializing model: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Error insantiating model: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "FLUSHED "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "HIT "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "MISS "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "No renderer found for template "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "PUT "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "templates.feeds.site-"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "templates.feeds.weblog-"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "templates.feeds.weblog-search-atom.vm"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "unable to lookup weblog: "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/Renderer.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/Renderer]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/Renderer.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/Renderer.__Dispatch_Table.render(Ljava/util/Map;Ljava/io/Writer;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/RendererFactory.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/RendererFactory]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/RendererFactory.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/RendererFactory.__Dispatch_Table.getRenderer(Lorg/apache/roller/weblogger/pojos/Template;)Lorg/apache/roller/weblogger/ui/rendering/Renderer;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/RendererManager.rendererFactories
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/CalendarModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/CalendarModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/ConfigModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/ConfigModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/FeedModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/FeedModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/MenuModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/MenuModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/MessageModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/MessageModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/CalendarModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/ConfigModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/FeedModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/MenuModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/MessageModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/Model]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PageModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PlanetModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/PreviewURLModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/SearchResultsFeedModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/SiteModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/URLModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/model/UtilitiesModel]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/Model.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/ModelLoader.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PageModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PageModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PlanetModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PlanetModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PreviewPageModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PreviewURLModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/PreviewURLModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SearchResultsFeedModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SearchResultsFeedModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SearchResultsModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SiteModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/SiteModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/URLModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/URLModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/UtilitiesModel.__Dispatch_Table.getModelName()Ljava/lang/String;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/ui/rendering/model/UtilitiesModel.__Dispatch_Table.init(Ljava/util/Map;)V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Descendant_Table[org/apache/roller/weblogger/util/cache/CachedContent]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Descendant_Table[others]
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Dispatch_Table.close()V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Dispatch_Table.flush()V
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Dispatch_Table.getCachedWriter()Ljava/io/PrintWriter;
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.__Dispatch_Table.getContent()[B
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): org/apache/roller/weblogger/util/cache/CachedContent.log
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): request
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): response
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.siteWideCache
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.weblogFeedCache
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/RendererManager.rendererFactories != null
    //#pre[3] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/model/ModelLoader.log != null
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/util/cache/CachedContent.log != null
    //#pre[5] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) request != null
    //#pre[6] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) response != null
    //#pre[8] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.siteWideCache != null
    //#pre[9] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.weblogFeedCache != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): cachedContent.content@157 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): cachedContent.content@159 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@157 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@159 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@291 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@166 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@307 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.Weblogger:getWeblogManager(...)@195 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@195 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@230 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getLastModified(...)@119 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags(...)@191 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog(...)@179 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog(...)@97 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:get(...).__Tag@157 == org/apache/roller/weblogger/util/cache/CachedContent
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getLastModified(...)@117 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:get(...).__Tag@159 == org/apache/roller/weblogger/util/cache/CachedContent
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): renderer.__Tag == org/apache/roller/weblogger/ui/rendering/Renderer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:countTokens
    //#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.Class:forName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Class:newInstance
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:init
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:getModelName
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#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.commons.logging.Log:warn
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.WebloggerException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getPageModels
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Set:iterator
    //#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:getRenderer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Template:getId
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.ByteArrayOutputStream
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.OutputStreamWriter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.PrintWriter
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.PrintWriter:flush
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.ByteArrayOutputStream:toByteArray
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.PrintWriter:close
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.ByteArrayOutputStream:close
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@140: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@142: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@246: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:indexOf(...)@133: {-1}, {-2_147_483_648..-2, 0..4_294_967_295}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:startsWith(...)@133: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.util.List:size(...)@191: {-2_147_483_648..0}, {1..4_294_967_295}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getHeader(...)@131: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getHeader(...)@132: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@203: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(...)@133: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@104: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@219: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@238: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getLastModified(...)@118: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang(...)@179: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs(...)@210: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:respondIfNotModified(...)@123: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale(...)@176: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale(...)@210: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags(...)@191: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTerm(...)@246: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategory(...)@187: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategoryName(...)@184: Addr_Set{null}, Inverse{null}

        Weblog weblog = null;
    //#FeedServlet.java:89: Warning: unused assignment
    //#    unused assignment into weblog
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        boolean isSiteWide = false;
    //#FeedServlet.java:90: Warning: unused assignment
    //#    unused assignment into isSiteWide
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain

        WeblogFeedRequest feedRequest = null;
    //#FeedServlet.java:92: Warning: unused assignment
    //#    unused assignment into feedRequest
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            // parse the incoming request and extract the relevant data
            feedRequest = new WeblogFeedRequest(request);
    //#FeedServlet.java:95: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest(HttpServletRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest(HttpServletRequest)

            weblog = feedRequest.getWeblog();
    //#FeedServlet.java:97: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog()
            if(weblog == null) {
                throw new WebloggerException("unable to lookup weblog: "+
                        feedRequest.getWeblogHandle());
            }

            // is this the site-wide weblog?
            isSiteWide = WebloggerRuntimeConfig.isSiteWideWeblog(feedRequest.getWeblogHandle());
    //#FeedServlet.java:104: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogHandle()
    //#FeedServlet.java:104: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)

        } catch(Exception e) {
            // invalid feed request format or weblog doesn't exist
            log.debug("error creating weblog feed request", e);
    //#FeedServlet.java:108: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object, Throwable)
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }


        // determine the lastModified date for this content
        long lastModified = System.currentTimeMillis();
        if(isSiteWide) {
            lastModified = siteWideCache.getLastModified().getTime();
    //#FeedServlet.java:117: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getLastModified()
        } else if (weblog.getLastModified() != null) {
    //#FeedServlet.java:118: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
            lastModified = weblog.getLastModified().getTime();
    //#FeedServlet.java:119: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
        }

        // Respond with 304 Not Modified if it is not modified.
        if (ModDateHeaderUtil.respondIfNotModified(request,response,lastModified)) {
    //#FeedServlet.java:123: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:respondIfNotModified(HttpServletRequest, HttpServletResponse, long)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:respondIfNotModified(HttpServletRequest, HttpServletResponse, long)
            return;
        }

        // set last-modified date
        ModDateHeaderUtil.setLastModifiedHeader(response, lastModified);
    //#FeedServlet.java:128: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:setLastModifiedHeader(HttpServletResponse, long)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:setLastModifiedHeader(HttpServletResponse, long)

        // set content type
        String accepts = request.getHeader("Accept");
        String userAgent = request.getHeader("User-Agent");
        if (WebloggerRuntimeConfig.getBooleanProperty("site.newsfeeds.styledFeeds") &&
    //#FeedServlet.java:133: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
            accepts != null && accepts.indexOf("*/*") != -1 &&
            userAgent != null && userAgent.startsWith("Mozilla")) {
            // client is a browser and feed style is enabled so we want 
            // browsers to load the page rather than popping up the download 
            // dialog, so we provide a content-type that browsers will display
            response.setContentType("text/xml");
        } else if("rss".equals(feedRequest.getFormat())) {
    //#FeedServlet.java:140: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
            response.setContentType("application/rss+xml; charset=utf-8");
        } else if("atom".equals(feedRequest.getFormat())) {
    //#FeedServlet.java:142: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
            response.setContentType("application/atom+xml; charset=utf-8");
        }

        // generate cache key
        String cacheKey = null;
    //#FeedServlet.java:147: Warning: unused assignment
    //#    unused assignment into cacheKey
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        if(isSiteWide) {
            cacheKey = siteWideCache.generateKey(feedRequest);
    //#FeedServlet.java:149: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:generateKey(WeblogFeedRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:generateKey(WeblogFeedRequest)
        } else {
            cacheKey = weblogFeedCache.generateKey(feedRequest);
    //#FeedServlet.java:151: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:generateKey(WeblogFeedRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:generateKey(WeblogFeedRequest)
        }

        // cached content checking
        CachedContent cachedContent = null;
    //#FeedServlet.java:155: Warning: unused assignment
    //#    unused assignment into cachedContent
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        if(isSiteWide) {
            cachedContent = (CachedContent) siteWideCache.get(cacheKey);
    //#FeedServlet.java:157: Warning: method not available
    //#    -- call on Object org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:get(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Object org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:get(String)
        } else {
            cachedContent = (CachedContent) weblogFeedCache.get(cacheKey, lastModified);
    //#FeedServlet.java:159: Warning: method not available
    //#    -- call on Object org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:get(String, long)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Object org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:get(String, long)
        }

        if(cachedContent != null) {
            log.debug("HIT "+cacheKey);
    //#FeedServlet.java:163: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)

            response.setContentLength(cachedContent.getContent().length);
            response.getOutputStream().write(cachedContent.getContent());
            return;

        } else {
            log.debug("MISS "+cacheKey);
    //#FeedServlet.java:170: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        }
        
        
        // validation.  make sure that request input makes sense.
        boolean invalid = false;
        if(feedRequest.getLocale() != null) {
    //#FeedServlet.java:176: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale()
            
            // locale view only allowed if weblog has enabled it
            if(!feedRequest.getWeblog().isEnableMultiLang()) {
    //#FeedServlet.java:179: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblog()
    //#FeedServlet.java:179: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang()
                invalid = true;
            }
            
        }
        if(feedRequest.getWeblogCategoryName() != null) {
    //#FeedServlet.java:184: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategoryName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategoryName()
            
            // category specified.  category must exist.
            if(feedRequest.getWeblogCategory() == null) {
    //#FeedServlet.java:187: Warning: method not available
    //#    -- call on WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getWeblogCategory()
                invalid = true;
            }
            
        } else if(feedRequest.getTags() != null && feedRequest.getTags().size() > 0) {
    //#FeedServlet.java:191: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags()
            
            try {
                // tags specified.  make sure they exist.
                WeblogManager wmgr = WebloggerFactory.getWeblogger().getWeblogManager();
    //#FeedServlet.java:195: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#FeedServlet.java:195: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
                invalid = !wmgr.getTagComboExists(feedRequest.getTags(), (isSiteWide) ? null : weblog);
    //#FeedServlet.java:196: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTags()
    //#FeedServlet.java:196: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.business.WeblogManager:getTagComboExists(List, Weblog)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.business.WeblogManager:getTagComboExists(List, Weblog)
            } catch (WebloggerException ex) {
                invalid = true;
            }
        }
        
        if(invalid) {
            if(!response.isCommitted()) response.reset();
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }
        
        
        // do we need to force a specific locale for the request?
        if(feedRequest.getLocale() == null && !weblog.isShowAllLangs()) {
    //#FeedServlet.java:210: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getLocale()
    //#FeedServlet.java:210: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs()
            feedRequest.setLocale(weblog.getLocale());
    //#FeedServlet.java:211: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getLocale()
    //#FeedServlet.java:211: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:setLocale(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:setLocale(String)
        }
        
        // looks like we need to render content
        HashMap model = new HashMap();
        String pageId = null;
    //#FeedServlet.java:216: Warning: unused assignment
    //#    unused assignment into pageId
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            // determine what template to render with
            if (WebloggerRuntimeConfig.isSiteWideWeblog(weblog.getHandle())) {
    //#FeedServlet.java:219: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#FeedServlet.java:219: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
                pageId = "templates/feeds/site-"+feedRequest.getType()+"-"+feedRequest.getFormat()+".vm";
    //#FeedServlet.java:220: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#FeedServlet.java:220: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
            } else {
                pageId = "templates/feeds/weblog-"+feedRequest.getType()+"-"+feedRequest.getFormat()+".vm";
    //#FeedServlet.java:222: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#FeedServlet.java:222: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getFormat()
            }

            // populate the rendering model
            Map initData = new HashMap();
            initData.put("parsedRequest", feedRequest);

            // define url strategy
            initData.put("urlStrategy", WebloggerFactory.getWeblogger().getUrlStrategy());
    //#FeedServlet.java:230: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#FeedServlet.java:230: Warning: method not available
    //#    -- call on URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
            
            // Load models for feeds
            String feedModels = WebloggerConfig.getProperty("rendering.feedModels");
    //#FeedServlet.java:233: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
            ModelLoader.loadModels(feedModels, model, initData, true);
    //#FeedServlet.java:234: ?!precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels: (soft) fail == 0
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_58
    //#    assertion: (soft) false
    //#    callee: void org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels(String, Map, Map, bool)
    //#    callee assertion: (soft) fail == 0
    //#    callee file: ModelLoader.java
    //#    callee precondition index: [1]
    //#    callee srcpos: 90
    //#    VN: 1
    //#    Expected: {0}
    //#    Bad: {1}
    //#    Attribs:  Int  Exp in +/-1000  Exp singleton  Bad singleton  Bad overlaps +/-1000  Soft  Bad > Exp

            // Load special models for site-wide blog

            if(WebloggerRuntimeConfig.isSiteWideWeblog(weblog.getHandle())) {
    //#FeedServlet.java:238: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#FeedServlet.java:238: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
                String siteModels = WebloggerConfig.getProperty("rendering.siteModels");
    //#FeedServlet.java:239: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
                ModelLoader.loadModels(siteModels, model, initData, true);
    //#FeedServlet.java:240: ?!precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels: (soft) fail == 0
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_59
    //#    assertion: (soft) false
    //#    callee: void org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels(String, Map, Map, bool)
    //#    callee assertion: (soft) fail == 0
    //#    callee file: ModelLoader.java
    //#    callee precondition index: [1]
    //#    callee srcpos: 90
    //#    VN: 1
    //#    Expected: {0}
    //#    Bad: {1}
    //#    Attribs:  Int  Exp in +/-1000  Exp singleton  Bad singleton  Bad overlaps +/-1000  Soft  Bad > Exp
            }

            // Load weblog custom models
            ModelLoader.loadCustomModels(weblog, model, initData);
            
            if("entries".equals(feedRequest.getType()) && feedRequest.getTerm() != null) {
    //#FeedServlet.java:246: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getType()
    //#FeedServlet.java:246: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTerm()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogFeedRequest:getTerm()
                pageId = "templates/feeds/weblog-search-atom.vm";                
                ModelLoader.loadModels(SearchResultsFeedModel.class.getName(), model, initData, true);
    //#FeedServlet.java:248: ?!precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels: (soft) fail == 0
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_62
    //#    assertion: (soft) false
    //#    callee: void org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels(String, Map, Map, bool)
    //#    callee assertion: (soft) fail == 0
    //#    callee file: ModelLoader.java
    //#    callee precondition index: [1]
    //#    callee srcpos: 90
    //#    VN: 1
    //#    Expected: {0}
    //#    Bad: {1}
    //#    Attribs:  Int  Exp in +/-1000  Exp singleton  Bad singleton  Bad overlaps +/-1000  Soft  Bad > Exp
            }                        

        } catch (WebloggerException ex) {
            log.error("ERROR loading model for page", ex);
    //#FeedServlet.java:252: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)

            if(!response.isCommitted()) response.reset();
            response.sendError(HttpServletResponse.SC_INTERNAL_SERVER_ERROR);
            return;
        }


        // lookup Renderer we are going to use
        Renderer renderer = null;
    //#FeedServlet.java:261: Warning: unused assignment
    //#    unused assignment into renderer
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            log.debug("Looking up renderer");
    //#FeedServlet.java:263: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            Template template = new StaticTemplate(pageId, "velocity");
    //#FeedServlet.java:264: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.StaticTemplate(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.StaticTemplate(String, String)
            renderer = RendererManager.getRenderer(template);
        } catch(Exception e) {
            // nobody wants to render my content :(

            // TODO: this log message has been disabled because it fills up
            // the logs with useless errors due to the fact that the way these
            // template ids are formed comes directly from the request and it
            // often gets bunk data causing invalid template ids.
            // at some point we should have better validation on the input so
            // that we can quickly dispatch invalid feed requests and only
            // get this far if we expect the template to be found
            //log.error("Couldn't find renderer for page "+pageId, e);

            if(!response.isCommitted()) response.reset();
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }

        // render content.  use default size of about 24K for a standard page
        CachedContent rendererOutput = new CachedContent(24567);
        try {
            log.debug("Doing rendering");
    //#FeedServlet.java:286: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            renderer.render(model, rendererOutput.getCachedWriter());
    //#FeedServlet.java:287: Warning: method not available
    //#    -- call on void render(Map, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void render(Map, Writer)

            // flush rendered output and close
            rendererOutput.flush();
            rendererOutput.close();
        } catch(Exception e) {
            // bummer, error during rendering
            log.error("Error during rendering for page "+pageId, e);
    //#FeedServlet.java:294: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)

            if(!response.isCommitted()) response.reset();
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }


        // post rendering process

        // flush rendered content to response
        log.debug("Flushing response output");
    //#FeedServlet.java:305: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        response.setContentLength(rendererOutput.getContent().length);
    //#FeedServlet.java:306: ?null dereference
    //#    getContent(...) != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_77
    //#    assertion: getContent(...) != null
    //#    VN: this.content
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
        response.getOutputStream().write(rendererOutput.getContent());

        // cache rendered content.  only cache if user is not logged in?
        log.debug("PUT "+cacheKey);
    //#FeedServlet.java:310: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        if(isSiteWide) {
            siteWideCache.put(cacheKey, rendererOutput);
    //#FeedServlet.java:312: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:put(String, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:put(String, Object)
        } else {
            weblogFeedCache.put(cacheKey, rendererOutput);
    //#FeedServlet.java:314: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:put(String, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.cache.WeblogFeedCache:put(String, Object)
        }

        log.debug("Exiting");
    //#FeedServlet.java:317: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    }
    //#FeedServlet.java:318: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet.doGet(HttpServletRequest, HttpServletResponse)

}
    //#FeedServlet.java:: end of class: org.apache.roller.weblogger.ui.rendering.servlets.FeedServlet
