//# 3 errors, 537 messages
//#
/*
    //#PageServlet.java:1:1: class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
 * 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.Date;
import java.util.HashMap;
import java.util.Map;
import java.util.regex.Pattern;
import javax.servlet.ServletConfig;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import javax.servlet.jsp.JspFactory;
import javax.servlet.jsp.PageContext;
import org.apache.commons.lang.StringUtils;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.HitCountQueue;
import org.apache.roller.weblogger.business.referrers.IncomingReferrer;
import org.apache.roller.weblogger.business.referrers.ReferrerQueueManager;
import org.apache.roller.weblogger.config.WebloggerConfig;
import org.apache.roller.weblogger.config.WebloggerRuntimeConfig;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.business.WeblogManager;
import org.apache.roller.weblogger.pojos.StaticThemeTemplate;
import org.apache.roller.weblogger.pojos.ThemeTemplate;
import org.apache.roller.weblogger.pojos.WeblogEntry;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.ui.core.RollerContext;
import org.apache.roller.weblogger.ui.rendering.util.InvalidRequestException;
import org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest;
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.util.cache.SiteWideCache;
import org.apache.roller.weblogger.ui.rendering.util.WeblogEntryCommentForm;
import org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache;
import org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil;
import org.apache.roller.weblogger.util.BlacklistChecker;


/**
 * Provides access to weblog pages.
 */
public class PageServlet extends HttpServlet {
    //#PageServlet.java:65: method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()
    //#input(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.excludeOwnerPages
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.processReferrers
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.siteWideCache
    //#output(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.weblogPageCache
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.excludeOwnerPages == 0
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.processReferrers == 1
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.siteWideCache == null
    //#post(void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()): this.weblogPageCache == null

    private static Log log = LogFactory.getLog(PageServlet.class);
    //#PageServlet.java:67: method: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init
    //#PageServlet.java:67: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PageServlet]
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.processHit(Lorg/apache/roller/weblogger/pojos/Weblog;Ljava/lang/String;Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.processReferrer(Ljavax/servlet/http/HttpServletRequest;)Z
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): log
    //#output(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): robotPattern
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PageServlet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doGet
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.doPost(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V == &doPost
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.init(Ljavax/servlet/ServletConfig;)V == &init
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.processHit(Lorg/apache/roller/weblogger/pojos/Weblog;Ljava/lang/String;Ljava/lang/String;)V == &processHit
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): __Dispatch_Table.processReferrer(Ljavax/servlet/http/HttpServletRequest;)Z == &processReferrer
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): init'ed(log)
    //#post(org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init): robotPattern == null
    // for referrer processing
    private boolean processReferrers = true;
    private static Pattern robotPattern = null;
    //#PageServlet.java:70: end of method: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.org.apache.roller.weblogger.ui.rendering.servlets.PageServlet__static_init
    // for caching
    private boolean excludeOwnerPages = false;
    private WeblogPageCache weblogPageCache = null;
    private SiteWideCache siteWideCache = null;
    //#PageServlet.java:74: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.org.apache.roller.weblogger.ui.rendering.servlets.PageServlet()

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

        super.init(servletConfig);
    //#PageServlet.java:81: method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.init(ServletConfig)
    //#input(void init(ServletConfig)): "'.  Robots will not be filtered. "._tainted
    //#input(void init(ServletConfig)): "Error parsing referrer.robotCheck.userAgentPattern value '"._tainted
    //#input(void init(ServletConfig)): "Referrer processing enabled = "._tainted
    //#input(void init(ServletConfig)): log
    //#input(void init(ServletConfig)): servletConfig
    //#input(void init(ServletConfig)): this
    //#output(void init(ServletConfig)): robotPattern
    //#output(void init(ServletConfig)): this.excludeOwnerPages
    //#output(void init(ServletConfig)): this.processReferrers
    //#output(void init(ServletConfig)): this.siteWideCache
    //#output(void init(ServletConfig)): this.weblogPageCache
    //#pre[1] (void init(ServletConfig)): log != null
    //#post(void init(ServletConfig)): possibly_updated(robotPattern)
    //#post(void init(ServletConfig)): init'ed(this.excludeOwnerPages)
    //#post(void init(ServletConfig)): init'ed(this.processReferrers)
    //#post(void init(ServletConfig)): init'ed(this.siteWideCache)
    //#post(void init(ServletConfig)): init'ed(this.weblogPageCache)
    //#test_vector(void init(ServletConfig)): java.lang.String:length(...)@100: {0}, {1..4_294_967_295}
    //#test_vector(void init(ServletConfig)): org.apache.roller.weblogger.config.WebloggerConfig:getProperty(...)@99: Addr_Set{null}, Inverse{null}

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

        this.excludeOwnerPages = WebloggerConfig.getBooleanProperty("cache.excludeOwnerEditPages");
    //#PageServlet.java:85: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)

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

        // get a reference to the site wide cache
        this.siteWideCache = SiteWideCache.getInstance();
    //#PageServlet.java:91: 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.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: SiteWideCache org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getInstance()

        // see if built-in referrer processing is enabled
        this.processReferrers = WebloggerConfig.getBooleanProperty("referrers.processing.enabled");
    //#PageServlet.java:94: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty(String)

        log.info("Referrer processing enabled = " + this.processReferrers);
    //#PageServlet.java:96: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)

        // check for possible robot pattern
        String robotPatternStr = WebloggerConfig.getProperty("referrer.robotCheck.userAgentPattern");
    //#PageServlet.java:99: 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.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
        if (robotPatternStr != null && robotPatternStr.length() > 0) {
            // Parse the pattern, and store the compiled form.
            try {
                robotPattern = Pattern.compile(robotPatternStr);
            } catch (Exception e) {
                // Most likely a PatternSyntaxException; log and continue as if it is not set.
                log.error("Error parsing referrer.robotCheck.userAgentPattern value '" + robotPatternStr + "'.  Robots will not be filtered. ", e);
    //#PageServlet.java:106: 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.PageServlet
    //#    method: void init(ServletConfig)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }
    }
    //#PageServlet.java:109: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.init(ServletConfig)

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

        log.debug("Entering");
    //#PageServlet.java:116: method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.doGet(HttpServletRequest, HttpServletResponse)
    //#PageServlet.java:116: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): " matched by "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "!"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ""._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ")\b"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ".*\.rol.*"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): ":"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "; charset=utf-8"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "?"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "Couldn't find renderer for page "._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 getting default page for weblog = "._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)): "Ignoring referer = "._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)): "SKIPPED "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "\b("._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "http:.."._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "matched:"._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "processing referrer for "._tainted
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): "referrer = "._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/core/RollerContext.servletContext
    //#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/Blacklist.mLogger
    //#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.__Dispatch_Table.getContentType()Ljava/lang/String;
    //#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)): robotPattern
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.excludeOwnerPages
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.processReferrers
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.siteWideCache
    //#input(void doGet(HttpServletRequest, HttpServletResponse)): this.weblogPageCache
    //#pre[1] (void doGet(HttpServletRequest, HttpServletResponse)): log != null
    //#pre[12] (void doGet(HttpServletRequest, HttpServletResponse)): init'ed(this.processReferrers)
    //#pre[2] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/core/RollerContext.servletContext != null
    //#pre[3] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/RendererManager.rendererFactories != null
    //#pre[4] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/ui/rendering/model/ModelLoader.log != null
    //#pre[5] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/util/Blacklist.mLogger != null
    //#pre[6] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) org/apache/roller/weblogger/util/cache/CachedContent.log != null
    //#pre[7] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) request != null
    //#pre[8] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) response != null
    //#pre[9] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(robotPattern)
    //#pre[11] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) init'ed(this.excludeOwnerPages)
    //#pre[13] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.siteWideCache != null
    //#pre[14] (void doGet(HttpServletRequest, HttpServletResponse)): (soft) this.weblogPageCache != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): cachedContent.content@190 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): cachedContent.content@192 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@190 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@192 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): getContent(...).length@446 <= 4_294_967_295
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getRequestURL(...)@200 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getRequestURL(...)@355 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@205 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:getOutputStream(...)@464 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.jsp.JspFactory:getDefaultFactory(...)@376 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.Weblogger:getWeblogManager(...)@329 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@329 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@388 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@410 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getLastModified(...)@161 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@222 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@249 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@267 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@276 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.WeblogEntry:getLocale(...)@312 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags(...)@325 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog(...)@141 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog(...)@301 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:get(...).__Tag@190 == org/apache/roller/weblogger/util/cache/CachedContent
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getLastModified(...)@159 != null
    //#presumption(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:get(...).__Tag@192 == 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.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:java.lang.String:length
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getRequestURI
    //#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.ui.rendering.util.WeblogPageRequest
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getHeader
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getRequestURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getQueryString
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:matches
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getBlacklist
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:compile
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.List:add
    //#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.util.List: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:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.regex.Pattern:pattern
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer:setReferrerUrl
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer:setRequestUrl
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogHandle
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogAnchor
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogDateString
    //#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:getReferrerQueueManager
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.referrers.ReferrerQueueManager:processReferrer
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.HitCountQueue:getInstance
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:org.apache.roller.weblogger.business.HitCountQueue:processHit
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.StringTokenizer:countTokens
    //#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: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.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader:setupContext
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.util.Set:iterator
    //#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:java.io.PrintWriter:close
    //#unanalyzed(void doGet(HttpServletRequest, HttpServletResponse)): Effects-of-calling:java.io.ByteArrayOutputStream:close
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): this.excludeOwnerPages: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): this.processReferrers: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@233: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:equals(...)@247: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.lang.String:startsWith(...)@312: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.util.Date:before(...)@316: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): java.util.List:size(...)@325: {-2_147_483_648..0}, {1..4_294_967_295}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.ServletContext:getMimeType(...)@365: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getAttribute(...)@186: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getAttribute(...)@391: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getAttribute(...)@467: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletRequest:getParameter(...)@219: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@125: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@239: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@257: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@284: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): javax.servlet.http.HttpServletResponse:isCommitted(...)@339: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.commons.lang.StringUtils:isNotEmpty(...)@362: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@147: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@401: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.ThemeTemplate:isHidden(...)@295: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:getLastModified(...)@160: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang(...)@301: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs(...)@348: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.pojos.WeblogEntry:isPublished(...)@314: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:respondIfNotModified(...)@168: {0}, {1}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@298: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@312: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale(...)@348: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags(...)@247: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags(...)@325: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor(...)@265: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor(...)@305: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory(...)@322: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategoryName(...)@319: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry(...)@309: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPage(...)@234: Inverse{null}, Addr_Set{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName(...)@295: Addr_Set{null}, Inverse{null}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn(...)@167: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn(...)@186: {1}, {0}
    //#test_vector(void doGet(HttpServletRequest, HttpServletResponse)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn(...)@467: {1}, {0}

        // do referrer processing, if it's enabled
        // NOTE: this *must* be done first because it triggers a hibernate flush
        // which will close the active session and cause lazy init exceptions otherwise
        if (this.processReferrers) {
            boolean spam = this.processReferrer(request);
            if (spam) {
                log.debug("spammer, giving 'em a 403");
    //#PageServlet.java:124: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
                if (!response.isCommitted()) {
                    response.reset();
                }
                response.sendError(HttpServletResponse.SC_FORBIDDEN);
                return;
            }
        }


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

        WeblogPageRequest pageRequest = null;
    //#PageServlet.java:137: Warning: unused assignment
    //#    unused assignment into pageRequest
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            pageRequest = new WeblogPageRequest(request);
    //#PageServlet.java:139: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest(HttpServletRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest(HttpServletRequest)

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

            // is this the site-wide weblog?
            isSiteWide = WebloggerRuntimeConfig.isSiteWideWeblog(pageRequest.getWeblogHandle());
    //#PageServlet.java:147: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#PageServlet.java:147: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
        } catch (Exception e) {
            // some kind of error parsing the request or looking up weblog
            log.debug("error creating page request", e);
    //#PageServlet.java:150: 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.PageServlet
    //#    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();
    //#PageServlet.java:159: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:getLastModified()
        } else if (weblog.getLastModified() != null) {
    //#PageServlet.java:160: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
            lastModified = weblog.getLastModified().getTime();
    //#PageServlet.java:161: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
        }

        // 304 Not Modified handling.
        // We skip this for logged in users to avoid the scenerio where a user
        // views their weblog, logs in, then gets a 304 without the 'edit' links
        if (!pageRequest.isLoggedIn()) {
    //#PageServlet.java:167: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()
            if (ModDateHeaderUtil.respondIfNotModified(request, response, lastModified)) {
    //#PageServlet.java:168: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:respondIfNotModified(HttpServletRequest, HttpServletResponse, long)
                return;
            } else {
                // set last-modified date
                ModDateHeaderUtil.setLastModifiedHeader(response, lastModified);
    //#PageServlet.java:172: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.ModDateHeaderUtil:setLastModifiedHeader(HttpServletResponse, long)
            }
        }


        // generate cache key
        String cacheKey = null;
    //#PageServlet.java:178: Warning: unused assignment
    //#    unused assignment into cacheKey
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        if (isSiteWide) {
            cacheKey = siteWideCache.generateKey(pageRequest);
    //#PageServlet.java:180: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:generateKey(WeblogPageRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:generateKey(WeblogPageRequest)
        } else {
            cacheKey = weblogPageCache.generateKey(pageRequest);
    //#PageServlet.java:182: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:generateKey(WeblogPageRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:generateKey(WeblogPageRequest)
        }

        // cached content checking
        if ((!this.excludeOwnerPages || !pageRequest.isLoggedIn()) && request.getAttribute("skipCache") == null) {
    //#PageServlet.java:186: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()

            CachedContent cachedContent = null;
    //#PageServlet.java:188: Warning: unused assignment
    //#    unused assignment into cachedContent
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
            if (isSiteWide) {
                cachedContent = (CachedContent) siteWideCache.get(cacheKey);
    //#PageServlet.java:190: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Object org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:get(String)
            } else {
                cachedContent = (CachedContent) weblogPageCache.get(cacheKey, lastModified);
    //#PageServlet.java:192: Warning: method not available
    //#    -- call on Object org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:get(String, long)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Object org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:get(String, long)
            }

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

                // allow for hit counting
                if (!isSiteWide) {
                    this.processHit(weblog, request.getRequestURL().toString(), request.getHeader("referer"));
                }

                response.setContentLength(cachedContent.getContent().length);
                response.setContentType(cachedContent.getContentType());
                response.getOutputStream().write(cachedContent.getContent());
                return;
            } else {
                log.debug("MISS " + cacheKey);
    //#PageServlet.java:208: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            }
        }

        log.debug("Looking for template to use for rendering");
    //#PageServlet.java:212: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)

        // figure out what template to use
        ThemeTemplate page = null;

        // If this is a popup request, then deal with it specially
        // TODO: do we really need to keep supporting this?
        if (request.getParameter("popup") != null) {
            try {
                // Does user have a popupcomments page?
                page = weblog.getTheme().getTemplateByName("_popupcomments");
    //#PageServlet.java:222: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#PageServlet.java:222: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
            } catch (Exception e) {
                // ignored ... considered page not found
            }

            // User doesn't have one so return the default
            if (page == null) {
                page = new StaticThemeTemplate("templates/weblog/popupcomments.vm", "velocity");
    //#PageServlet.java:229: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.pojos.StaticThemeTemplate(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.pojos.StaticThemeTemplate(String, String)
            }

            // If request specified the page, then go with that
        } else if ("page".equals(pageRequest.getContext())) {
    //#PageServlet.java:233: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getContext()
            page = pageRequest.getWeblogPage();
    //#PageServlet.java:234: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPage()

            // if we don't have this page then 404, we don't let
            // this one fall through to the default template
            if (page == null) {
                if (!response.isCommitted()) {
                    response.reset();
                }
                response.sendError(HttpServletResponse.SC_NOT_FOUND);
                return;
            }

            // If request specified tags section index, then look for custom template
        } else if ("tags".equals(pageRequest.getContext()) && pageRequest.getTags() == null) {
    //#PageServlet.java:247: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getContext()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getContext()
    //#PageServlet.java:247: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
            try {
                page = weblog.getTheme().getTemplateByAction(ThemeTemplate.ACTION_TAGSINDEX);
    //#PageServlet.java:249: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#PageServlet.java:249: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByAction(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByAction(String)
            } catch (Exception e) {
                log.error("Error getting weblog page for action 'tagsIndex'", e);
    //#PageServlet.java:251: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }

            // if we don't have a custom tags page then 404, we don't let
            // this one fall through to the default template
            if (page == null) {
                if (!response.isCommitted()) {
                    response.reset();
                }
                response.sendError(HttpServletResponse.SC_NOT_FOUND);
                return;
            }

            // If this is a permalink then look for a permalink template
        } else if (pageRequest.getWeblogAnchor() != null) {
    //#PageServlet.java:265: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
            try {
                page = weblog.getTheme().getTemplateByAction(ThemeTemplate.ACTION_PERMALINK);
    //#PageServlet.java:267: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#PageServlet.java:267: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByAction(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByAction(String)
            } catch (Exception e) {
                log.error("Error getting weblog page for action 'permalink'", e);
    //#PageServlet.java:269: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }

        // if we haven't found a page yet then try our default page
        if (page == null) {
            try {
                page = weblog.getTheme().getDefaultTemplate();
    //#PageServlet.java:276: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#PageServlet.java:276: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
            } catch (Exception e) {
                log.error("Error getting default page for weblog = " + weblog.getHandle(), e);
    //#PageServlet.java:278: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#PageServlet.java:278: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
            }
        }

        // Still no page?  Then that is a 404
        if (page == null) {
            if (!response.isCommitted()) {
                response.reset();
            }
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }

        log.debug("page found, dealing with it");
    //#PageServlet.java:291: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    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 (pageRequest.getWeblogPageName() != null && page.isHidden()) {
    //#PageServlet.java:295: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogPageName()
    //#PageServlet.java:295: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.ThemeTemplate:isHidden()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.ThemeTemplate:isHidden()
            invalid = true;
        }
        if (pageRequest.getLocale() != null) {
    //#PageServlet.java:298: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()

            // locale view only allowed if weblog has enabled it
            if (!pageRequest.getWeblog().isEnableMultiLang()) {
    //#PageServlet.java:301: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
    //#PageServlet.java:301: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.Weblog:isEnableMultiLang()
                invalid = true;
            }
        }
        if (pageRequest.getWeblogAnchor() != null) {
    //#PageServlet.java:305: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()

            // permalink specified.
            // entry must exist, be published before current time, and locale must match
            WeblogEntry entry = pageRequest.getWeblogEntry();
    //#PageServlet.java:309: Warning: method not available
    //#    -- call on WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogEntry org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogEntry()
            if (entry == null) {
                invalid = true;
            } else if (pageRequest.getLocale() != null && !entry.getLocale().startsWith(pageRequest.getLocale())) {
    //#PageServlet.java:312: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageServlet.java:312: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogEntry:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogEntry:getLocale()
                invalid = true;
            } else if (!entry.isPublished()) {
    //#PageServlet.java:314: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.WeblogEntry:isPublished()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.WeblogEntry:isPublished()
                invalid = true;
            } else if (new Date().before(entry.getPubTime())) {
    //#PageServlet.java:316: Warning: method not available
    //#    -- call on Timestamp org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Timestamp org.apache.roller.weblogger.pojos.WeblogEntry:getPubTime()
                invalid = true;
            }
        } else if (pageRequest.getWeblogCategoryName() != null) {
    //#PageServlet.java:319: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategoryName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategoryName()

            // category specified.  category must exist.
            if (pageRequest.getWeblogCategory() == null) {
    //#PageServlet.java:322: Warning: method not available
    //#    -- call on WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogCategory org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogCategory()
                invalid = true;
            }
        } else if (pageRequest.getTags() != null && pageRequest.getTags().size() > 0) {
    //#PageServlet.java:325: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()

            try {
                // tags specified.  make sure they exist.
                WeblogManager wmgr = WebloggerFactory.getWeblogger().getWeblogManager();
    //#PageServlet.java:329: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PageServlet.java:329: Warning: method not available
    //#    -- call on WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: WeblogManager org.apache.roller.weblogger.business.Weblogger:getWeblogManager()
                invalid = !wmgr.getTagComboExists(pageRequest.getTags(), (isSiteWide) ? null : weblog);
    //#PageServlet.java:330: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: List org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getTags()
    //#PageServlet.java:330: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.business.WeblogManager:getTagComboExists(List, Weblog)
            } catch (WebloggerException ex) {
                invalid = true;
            }
        }


        if (invalid) {
            log.debug("page failed validation, bailing out");
    //#PageServlet.java:338: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            if (!response.isCommitted()) {
                response.reset();
            }
            response.sendError(HttpServletResponse.SC_NOT_FOUND);
            return;
        }


        // do we need to force a specific locale for the request?
        if (pageRequest.getLocale() == null && !weblog.isShowAllLangs()) {
    //#PageServlet.java:348: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getLocale()
    //#PageServlet.java:348: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.Weblog:isShowAllLangs()
            pageRequest.setLocale(weblog.getLocale());
    //#PageServlet.java:349: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getLocale()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getLocale()
    //#PageServlet.java:349: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:setLocale(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:setLocale(String)
        }


        // allow for hit counting
        if (!isSiteWide) {
            this.processHit(weblog, request.getRequestURL().toString(), request.getHeader("referer"));
        }


        // looks like we need to render content
        // set the content type
        String contentType = "text/html; charset=utf-8";
    //#PageServlet.java:361: Warning: unused assignment
    //#    unused assignment into contentType
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
        if (StringUtils.isNotEmpty(page.getOutputContentType())) {
    //#PageServlet.java:362: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getOutputContentType()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getOutputContentType()
    //#PageServlet.java:362: Warning: method not available
    //#    -- call on bool org.apache.commons.lang.StringUtils:isNotEmpty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.commons.lang.StringUtils:isNotEmpty(String)
            contentType = page.getOutputContentType() + "; charset=utf-8";
    //#PageServlet.java:363: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getOutputContentType()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getOutputContentType()
        } else {
            String mimeType = RollerContext.getServletContext().getMimeType(page.getLink());
    //#PageServlet.java:365: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getLink()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getLink()
            if (mimeType != null) {
                // we found a match ... set the content type
                contentType = mimeType + "; charset=utf-8";
            } else {
                contentType = "text/html; charset=utf-8";
            }
        }

        HashMap model = new HashMap();
        try {
            PageContext pageContext = JspFactory.getDefaultFactory().getPageContext(this, request, response, "", false, 8192, true);

            // special hack for menu tag
            request.setAttribute("pageRequest", pageRequest);

            // populate the rendering model
            Map initData = new HashMap();
            initData.put("requestParameters", request.getParameterMap());
            initData.put("parsedRequest", pageRequest);
            initData.put("pageContext", pageContext);

            // define url strategy
            initData.put("urlStrategy", WebloggerFactory.getWeblogger().getUrlStrategy());
    //#PageServlet.java:388: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PageServlet.java:388: Warning: method not available
    //#    -- call on URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()

            // if this was a comment posting, check for comment form
            WeblogEntryCommentForm commentForm = (WeblogEntryCommentForm) request.getAttribute("commentForm");
            if (commentForm != null) {
                initData.put("commentForm", commentForm);
            }

            // Load models for pages
            String pageModels = WebloggerConfig.getProperty("rendering.pageModels");
    //#PageServlet.java:397: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
            ModelLoader.loadModels(pageModels, model, initData, true);
    //#PageServlet.java:398: ?!precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels: (soft) fail == 0
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_113
    //#    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())) {
    //#PageServlet.java:401: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#PageServlet.java:401: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
                String siteModels = WebloggerConfig.getProperty("rendering.siteModels");
    //#PageServlet.java:402: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerConfig:getProperty(String)
                ModelLoader.loadModels(siteModels, model, initData, true);
    //#PageServlet.java:403: ?!precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/model/ModelLoader.loadModels: (soft) fail == 0
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_114
    //#    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);

            // ick, gotta load pre-3.0 model stuff as well :(
            ModelLoader.loadOldModels(model, request, response, pageContext, pageRequest, WebloggerFactory.getWeblogger().getUrlStrategy());
    //#PageServlet.java:410: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PageServlet.java:410: Warning: method not available
    //#    -- call on URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: URLStrategy org.apache.roller.weblogger.business.Weblogger:getUrlStrategy()
        } catch (WebloggerException ex) {
            log.error("Error loading model objects for page", ex);
    //#PageServlet.java:412: 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.PageServlet
    //#    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;
    //#PageServlet.java:423: Warning: unused assignment
    //#    unused assignment into renderer
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    Attribs:  Uncertain
        try {
            log.debug("Looking up renderer");
    //#PageServlet.java:425: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            renderer = RendererManager.getRenderer(page);
        } catch (Exception e) {
            // nobody wants to render my content :(
            log.error("Couldn't find renderer for page " + page.getId(), e);
    //#PageServlet.java:429: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getId()
    //#PageServlet.java:429: 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.PageServlet
    //#    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;
        }

        // render content.  use size of about 24K for a standard page
        CachedContent rendererOutput = new CachedContent(24567, contentType);
        try {
            log.debug("Doing rendering");
    //#PageServlet.java:441: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            renderer.render(model, rendererOutput.getCachedWriter());
    //#PageServlet.java:442: Warning: method not available
    //#    -- call on void render(Map, Writer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    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 " + page.getId(), e);
    //#PageServlet.java:449: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getId()
    //#PageServlet.java:449: 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.PageServlet
    //#    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");
    //#PageServlet.java:461: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        response.setContentType(contentType);
        response.setContentLength(rendererOutput.getContent().length);
    //#PageServlet.java:463: ?null dereference
    //#    getContent(...) != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    basic block: bb_129
    //#    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?
        if ((!this.excludeOwnerPages || !pageRequest.isLoggedIn()) && request.getAttribute("skipCache") == null) {
    //#PageServlet.java:467: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:isLoggedIn()
            log.debug("PUT " + cacheKey);
    //#PageServlet.java:468: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)

            // put it in the right cache
            if (isSiteWide) {
                siteWideCache.put(cacheKey, rendererOutput);
    //#PageServlet.java:472: 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.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache:put(String, Object)
            } else {
                weblogPageCache.put(cacheKey, rendererOutput);
    //#PageServlet.java:474: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:put(String, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.cache.WeblogPageCache:put(String, Object)
            }
        } else {
            log.debug("SKIPPED " + cacheKey);
    //#PageServlet.java:477: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doGet(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        }

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

    /**
     * Handle POST requests.
     *
     * We have this here because the comment servlet actually forwards some of
     * its requests on to us to render some pages with cusom messaging.  We
     * may want to revisit this approach in the future and see if we can do
     * this in a different way, but for now this is the easy way.
     */
    public void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {

        // make sure caching is disabled
        request.setAttribute("skipCache", "true");
    //#PageServlet.java:494: method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.doPost(HttpServletRequest, HttpServletResponse)
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/servlets/PageServlet]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Descendant_Table[others]
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): __Dispatch_Table.doGet(Ljavax/servlet/http/HttpServletRequest;Ljavax/servlet/http/HttpServletResponse;)V
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): request
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): response
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): this
    //#input(void doPost(HttpServletRequest, HttpServletResponse)): this.__Tag
    //#pre[1] (void doPost(HttpServletRequest, HttpServletResponse)): request != null
    //#pre[4] (void doPost(HttpServletRequest, HttpServletResponse)): this.__Tag == org/apache/roller/weblogger/ui/rendering/servlets/PageServlet

        // handle just like a GET request
        this.doGet(request, response);
    //#PageServlet.java:497: Warning: call too complex - analysis skipped
    //#    -- call on void doGet(HttpServletRequest, HttpServletResponse)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void doPost(HttpServletRequest, HttpServletResponse)
    //#    unanalyzed callee: void doGet(HttpServletRequest, HttpServletResponse)
    }
    //#PageServlet.java:498: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.doPost(HttpServletRequest, HttpServletResponse)

    /**
     * Notify the hit tracker that it has an incoming page hit.
     */
    private void processHit(Weblog weblog, String url, String referrer) {

        HitCountQueue counter = HitCountQueue.getInstance();
    //#PageServlet.java:505: method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.processHit(Weblog, String, String)
    //#PageServlet.java:505: Warning: method not available
    //#    -- call on HitCountQueue org.apache.roller.weblogger.business.HitCountQueue:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void processHit(Weblog, String, String)
    //#    unanalyzed callee: HitCountQueue org.apache.roller.weblogger.business.HitCountQueue:getInstance()
    //#input(void processHit(Weblog, String, String)): referrer
    //#input(void processHit(Weblog, String, String)): url
    //#input(void processHit(Weblog, String, String)): weblog
    //#presumption(void processHit(Weblog, String, String)): org.apache.roller.weblogger.business.HitCountQueue:getInstance(...)@505 != null
        counter.processHit(weblog, url, referrer);
    //#PageServlet.java:506: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.HitCountQueue:processHit(Weblog, String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: void processHit(Weblog, String, String)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.HitCountQueue:processHit(Weblog, String, String)
    }
    //#PageServlet.java:507: end of method: void org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.processHit(Weblog, String, String)

    /**
     * Process the incoming request to extract referrer info and pass it on
     * to the referrer processing queue for tracking.
     *
     * @returns true if referrer was spam, false otherwise
     */
    private boolean processReferrer(HttpServletRequest request) {

        log.debug("processing referrer for " + request.getRequestURI());
    //#PageServlet.java:517: method: bool org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.processReferrer(HttpServletRequest)
    //#PageServlet.java:517: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(bool processReferrer(HttpServletRequest)): " matched by "._tainted
    //#input(bool processReferrer(HttpServletRequest)): ""._tainted
    //#input(bool processReferrer(HttpServletRequest)): ")\b"._tainted
    //#input(bool processReferrer(HttpServletRequest)): "."._tainted
    //#input(bool processReferrer(HttpServletRequest)): ".*\.rol.*"._tainted
    //#input(bool processReferrer(HttpServletRequest)): ":"._tainted
    //#input(bool processReferrer(HttpServletRequest)): "?"._tainted
    //#input(bool processReferrer(HttpServletRequest)): "Ignoring referer = "._tainted
    //#input(bool processReferrer(HttpServletRequest)): "\b("._tainted
    //#input(bool processReferrer(HttpServletRequest)): "http:.."._tainted
    //#input(bool processReferrer(HttpServletRequest)): "matched:"._tainted
    //#input(bool processReferrer(HttpServletRequest)): "processing referrer for "._tainted
    //#input(bool processReferrer(HttpServletRequest)): "referrer = "._tainted
    //#input(bool processReferrer(HttpServletRequest)): log
    //#input(bool processReferrer(HttpServletRequest)): org/apache/roller/weblogger/util/Blacklist.mLogger
    //#input(bool processReferrer(HttpServletRequest)): request
    //#input(bool processReferrer(HttpServletRequest)): robotPattern
    //#output(bool processReferrer(HttpServletRequest)): return_value
    //#pre[1] (bool processReferrer(HttpServletRequest)): log != null
    //#pre[3] (bool processReferrer(HttpServletRequest)): request != null
    //#pre[2] (bool processReferrer(HttpServletRequest)): (soft) org/apache/roller/weblogger/util/Blacklist.mLogger != null
    //#pre[4] (bool processReferrer(HttpServletRequest)): (soft) init'ed(robotPattern)
    //#presumption(bool processReferrer(HttpServletRequest)): java.util.regex.Pattern:matcher(...)@538 != null
    //#presumption(bool processReferrer(HttpServletRequest)): javax.servlet.http.HttpServletRequest:getRequestURL(...)@545 != null
    //#presumption(bool processReferrer(HttpServletRequest)): org.apache.roller.weblogger.business.Weblogger:getReferrerQueueManager(...)@605 != null
    //#presumption(bool processReferrer(HttpServletRequest)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@605 != null
    //#presumption(bool processReferrer(HttpServletRequest)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog(...)@586 != null
    //#post(bool processReferrer(HttpServletRequest)): init'ed(return_value)
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getBlacklist
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getProperty
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.regex.Pattern:compile
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.List:add
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer:hasMoreTokens
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.StringTokenizer:nextToken
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.util.regex.Pattern:pattern
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(bool processReferrer(HttpServletRequest)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getBooleanProperty
    //#test_vector(bool processReferrer(HttpServletRequest)): robotPattern: Addr_Set{null}, Inverse{null}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:indexOf(...)@556: {-1}, {-2_147_483_648..-2, 0..4_294_967_295}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:indexOf(...)@578: {-2_147_483_648..-2, 0..4_294_967_295}, {-1}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:length(...)@538: {0}, {1..4_294_967_295}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:matches(...)@584: {0}, {1}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:startsWith(...)@567: {0}, {1}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.lang.String:startsWith(...)@573: {1}, {0}
    //#test_vector(bool processReferrer(HttpServletRequest)): java.util.regex.Matcher:matches(...)@538: {0}, {1}
    //#test_vector(bool processReferrer(HttpServletRequest)): javax.servlet.http.HttpServletRequest:getHeader(...)@537: Addr_Set{null}, Inverse{null}
    //#test_vector(bool processReferrer(HttpServletRequest)): javax.servlet.http.HttpServletRequest:getHeader(...)@544: Addr_Set{null}, Inverse{null}
    //#test_vector(bool processReferrer(HttpServletRequest)): javax.servlet.http.HttpServletRequest:getQueryString(...)@546: Addr_Set{null}, Inverse{null}
    //#test_vector(bool processReferrer(HttpServletRequest)): org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(...)@531: {0}, {1}
    //#test_vector(bool processReferrer(HttpServletRequest)): org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle(...)@562: Addr_Set{null}, Inverse{null}

        // bleh!  because ref processing does a flush it will close
        // our hibernate session and cause lazy init exceptions on
        // objects we have fetched, so we need to use a separate
        // page request object for this
        WeblogPageRequest pageRequest;
        try {
            pageRequest = new WeblogPageRequest(request);
    //#PageServlet.java:525: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest(HttpServletRequest)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest(HttpServletRequest)
        } catch (InvalidRequestException ex) {
            return false;
        }

        // if this came from site-wide frontpage then skip it
        if (WebloggerRuntimeConfig.isSiteWideWeblog(pageRequest.getWeblogHandle())) {
    //#PageServlet.java:531: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#PageServlet.java:531: 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.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:isSiteWideWeblog(String)
            return false;
        }

        // if this came from a robot then don't process it
        if (robotPattern != null) {
            String userAgent = request.getHeader("User-Agent");
            if (userAgent != null && userAgent.length() > 0 && robotPattern.matcher(userAgent).matches()) {
                log.debug("skipping referrer from robot");
    //#PageServlet.java:539: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
                return false;
            }
        }

        String referrerUrl = request.getHeader("Referer");
        StringBuffer reqsb = request.getRequestURL();
        if (request.getQueryString() != null) {
            reqsb.append("?");
            reqsb.append(request.getQueryString());
        }
        String requestUrl = reqsb.toString();

        log.debug("referrer = " + referrerUrl);
    //#PageServlet.java:552: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)

        // if this came from persons own blog then don't process it
        String selfSiteFragment = "/" + pageRequest.getWeblogHandle();
    //#PageServlet.java:555: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
        if (referrerUrl != null && referrerUrl.indexOf(selfSiteFragment) != -1) {
            log.debug("skipping referrer from own blog");
    //#PageServlet.java:557: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
            return false;
        }

        // validate the referrer
        if (pageRequest != null && pageRequest.getWeblogHandle() != null) {
    //#PageServlet.java:562: Warning: test always goes same way
    //#    test predetermined because pageRequest != null
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    from bb: bb_16
    //#    live edge: bb_16-->bb_17
    //#    tested vn: 0
    //#    tested vn values: {0}
    //#PageServlet.java:562: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()

            // Base page URLs, with and without www.
            String basePageUrlWWW = WebloggerRuntimeConfig.getAbsoluteContextURL() + "/" + pageRequest.getWeblogHandle();
    //#PageServlet.java:565: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#PageServlet.java:565: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
            String basePageUrl = basePageUrlWWW;
            if (basePageUrlWWW.startsWith("http://www.")) {
                // chop off the http://www.
                basePageUrl = "http://" + basePageUrlWWW.substring(11);
            }

            // ignore referrers coming from users own blog
            if (referrerUrl == null || (!referrerUrl.startsWith(basePageUrl) && !referrerUrl.startsWith(basePageUrlWWW))) {

                // validate the referrer
                if (referrerUrl != null) {
                    // treat editor referral as direct
                    int lastSlash = requestUrl.indexOf("/", 8);
                    if (lastSlash == -1) {
                        lastSlash = requestUrl.length();
                    }
                    String requestSite = requestUrl.substring(0, lastSlash);

                    if (referrerUrl.matches(requestSite + ".*\\.rol.*")) {
                        referrerUrl = null;
                    } else if (BlacklistChecker.checkReferrer(pageRequest.getWeblog(), referrerUrl)) {
    //#PageServlet.java:586: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblog()
                        return true;
                    }
                }
            } else {
                log.debug("Ignoring referer = " + referrerUrl);
    //#PageServlet.java:591: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
                return false;
            }
        }

        // referrer is valid, lets record it
        try {
            IncomingReferrer referrer = new IncomingReferrer();
    //#PageServlet.java:598: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer()
            referrer.setReferrerUrl(referrerUrl);
    //#PageServlet.java:599: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setReferrerUrl(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setReferrerUrl(String)
            referrer.setRequestUrl(requestUrl);
    //#PageServlet.java:600: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setRequestUrl(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setRequestUrl(String)
            referrer.setWeblogHandle(pageRequest.getWeblogHandle());
    //#PageServlet.java:601: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogHandle()
    //#PageServlet.java:601: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogHandle(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogHandle(String)
            referrer.setWeblogAnchor(pageRequest.getWeblogAnchor());
    //#PageServlet.java:602: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogAnchor()
    //#PageServlet.java:602: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogAnchor(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogAnchor(String)
            referrer.setWeblogDateString(pageRequest.getWeblogDate());
    //#PageServlet.java:603: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: String org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest:getWeblogDate()
    //#PageServlet.java:603: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogDateString(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.IncomingReferrer:setWeblogDateString(String)

            ReferrerQueueManager refQueue = WebloggerFactory.getWeblogger().getReferrerQueueManager();
    //#PageServlet.java:605: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#PageServlet.java:605: Warning: method not available
    //#    -- call on ReferrerQueueManager org.apache.roller.weblogger.business.Weblogger:getReferrerQueueManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: ReferrerQueueManager org.apache.roller.weblogger.business.Weblogger:getReferrerQueueManager()
            refQueue.processReferrer(referrer);
    //#PageServlet.java:606: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.referrers.ReferrerQueueManager:processReferrer(IncomingReferrer)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.referrers.ReferrerQueueManager:processReferrer(IncomingReferrer)
        } catch (Exception e) {
            log.error("Error processing referrer", e);
    //#PageServlet.java:608: 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.PageServlet
    //#    method: bool processReferrer(HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }

        return false;
    //#PageServlet.java:611: end of method: bool org.apache.roller.weblogger.ui.rendering.servlets.PageServlet.processReferrer(HttpServletRequest)
    }
}    //#PageServlet.java:: end of class: org.apache.roller.weblogger.ui.rendering.servlets.PageServlet
