//# 3 errors, 457 messages
//#
/*
    //#ContextLoader.java:1:1: class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
 * 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.velocity.deprecated;

import java.net.MalformedURLException;
import java.net.URL;
import java.text.SimpleDateFormat;
import java.util.ArrayList;
import java.util.Date;
import java.util.Locale;
import java.util.Map;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import javax.servlet.http.HttpSession;
import javax.servlet.jsp.PageContext;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.config.WebloggerRuntimeConfig;
import org.apache.roller.weblogger.business.Weblogger;
import org.apache.roller.weblogger.business.WebloggerFactory;
import org.apache.roller.weblogger.pojos.WeblogBookmarkFolder;
import org.apache.roller.weblogger.pojos.RuntimeConfigProperty;
import org.apache.roller.weblogger.pojos.ThemeTemplate;
import org.apache.roller.weblogger.pojos.WeblogCategory;
import org.apache.roller.weblogger.pojos.WeblogEntry;
import org.apache.roller.weblogger.pojos.Weblog;
import org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper;
import org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper;
import org.apache.roller.weblogger.pojos.wrapper.WeblogWrapper;
import org.apache.roller.weblogger.ui.core.RollerSession;
import org.apache.roller.weblogger.ui.rendering.util.WeblogEntryCommentForm;
import org.apache.roller.weblogger.ui.rendering.util.WeblogPageRequest;
import org.apache.roller.util.DateUtil;
import org.apache.roller.util.RegexUtil;
import org.apache.roller.weblogger.business.URLStrategy;


/**
 * Load Velocity Context with Weblogger objects, values, and custom plugins.
 * 
 * NOTE: This class has been deprecated and should no longer be used.  It is
 *       left here so that old weblogs which rely on it will continue to
 *       function properly.  This should only be used by weblog pages.
 */
public class ContextLoader {
    //#ContextLoader.java:62: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader()
    //#ContextLoader.java:62: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader()

    public static final String WEBLOG_KEY             = "weblog";
    public static final String ANCHOR_KEY             = "entry";
    public static final String ANCHOR_KEY_OLD         = "anchor";
    public static final String USERNAME_KEY           = "username";

    public static final String PAGELINK_KEY           = "pagelink";
    public static final String EXCERPTS_KEY           = "excerpts";
    public static final String WEBLOGENTRY_COUNT      = "count";
    public static final String WEBLOGCATEGORYNAME_KEY = "cat";
    public static final String WEBLOGENTRIES_KEY      = "entries";
    public static final String WEBLOGDAY_KEY          = "day";
    
    public static final String WEBLOGENTRYID_KEY      = "entryid";
    
    public static final String WEBLOGCATEGORYID_KEY   = "categoryId";
    public static final String PINGTARGETID_KEY       = "pingtargetId";
    public static final String REFERERID_KEY          = "refId";
    public static final String WEBLOGCOMMENTID_KEY    = "commentId";
    public static final String WEBSITEID_KEY          = "websiteId";
    public static final String BOOKMARKID_KEY         = "bookmarkId";
    public static final String FOLDERID_KEY           = "folderId";
    public static final String PARENTID_KEY           = "parentId";
    public static final String NEWSFEEDID_KEY         = "feedId";
    public static final String PAGEID_KEY             = "pageId";
    public static final String LOGIN_COOKIE           = "sessionId";    
    public static final String OWNING_WEBSITE         = "OWNING_WEBSITE";    

    private static Log mLogger = LogFactory.getLog(ContextLoader.class);
    //#ContextLoader.java:91: method: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init
    //#ContextLoader.java:91: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/velocity/deprecated/ContextLoader]
    //#output(org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init): mLogger
    //#post(org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/rendering/velocity/deprecated/ContextLoader] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init): init'ed(mLogger)
    //#ContextLoader.java:91: end of method: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader__static_init
    
    
    /**
     * Setup the a Velocity context by loading it with objects, values, and
     * RollerPagePlugins needed for Weblogger page execution.
     */
    public static void setupContext(
            Map                 ctx,
            HttpServletRequest  request,
            HttpServletResponse response,
            PageContext pageContext,
            WeblogPageRequest pageRequest,
            URLStrategy urlStrategy) throws WebloggerException {
        
        mLogger.debug("setupContext( ctx = "+ctx+")");
    //#ContextLoader.java:106: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#ContextLoader.java:106: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#ContextLoader.java:106: Warning: suspicious precondition
    //#    the precondition for pageRequest.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    suspicious precondition index: [22]
    //#    Attribs:  Soft
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): ")"._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "ERROR 'aggregator.cache.timeout'not a valid integer: "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "Error getting weblog category "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "Error getting weblog entry "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "Error getting weblog page "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "Error looking up weblog "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "context viewLocale = "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): "setupContext( ctx = "._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): ctx
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): ctx._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.lang.Boolean.TRUE
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): mLogger
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogCommentRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Descendant_Table[others]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.getPreviewComment()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryCommentWrapper;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.isPreview()Z
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setContent(Ljava/lang/String;)V
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogFeedRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Descendant_Table[others]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getLocale()Ljava/lang/String;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getLocaleInstance()Ljava/util/Locale;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/WeblogCategory;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getWeblogDate()Ljava/lang/String;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/WeblogEntry;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.__Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/ThemeTemplate;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.log
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Descendant_Table[others]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getLocale()Ljava/lang/String;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getLocaleInstance()Ljava/util/Locale;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getWeblogCategory()Lorg/apache/roller/weblogger/pojos/WeblogCategory;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getWeblogDate()Ljava/lang/String;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getWeblogEntry()Lorg/apache/roller/weblogger/pojos/WeblogEntry;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest.__Dispatch_Table.getWeblogPage()Lorg/apache/roller/weblogger/pojos/ThemeTemplate;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogCommentRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogFeedRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewResourceRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogSearchRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogTrackbackRequest]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Descendant_Table[others]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.java.lang.Boolean.TRUE
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.log
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogResourceRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogSearchRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogTrackbackRequest.__Dispatch_Table.getWeblog()Lorg/apache/roller/weblogger/pojos/Weblog;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.log
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel]
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.__Dispatch_Table.getPages()Ljava/lang/Object;
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.__Dispatch_Table.init(Lorg/apache/roller/weblogger/business/URLStrategy;Ljavax/servlet/http/HttpServletRequest;Lorg/apache/roller/weblogger/pojos/Weblog;Lorg/apache/roller/weblogger/pojos/WeblogEntry;Lorg/apache/roller/weblogger/pojos/WeblogCategory;Ljava/util/Date;ZZLjava/lang/String;)V
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.java.util.Collections.EMPTY_LIST
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.mLogger
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageContext
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.__Tag
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.locale
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.locale._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.localeInstance
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.previewEntry._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblog
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogAnchor
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogAnchor._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogCategory
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogCategoryName
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogCategoryName._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogDate
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogHandle
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogHandle._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogPage
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogPageName
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogPageName._tainted
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): request
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): response
    //#input(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): urlStrategy
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new LRUCache2(NewsfeedCache#2) num objects
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#1) num objects
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#2) num objects
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1) num objects
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).__Tag
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).aggregator_cache_enabled
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).aggregator_cache_timeout
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).aggregator_enabled
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).mCache
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.localeInstance
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblog
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogCategory
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogEntry
    //#output(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogPage
    //#new obj(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new LRUCache2(NewsfeedCache#2)
    //#new obj(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#1)
    //#new obj(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#2)
    //#new obj(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1)
    //#pre[5] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): ctx != null
    //#pre[7] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): mLogger != null
    //#pre[8] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance)
    //#pre[9] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.localeInstance)
    //#pre[10] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblog)
    //#pre[11] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblogCategory)
    //#pre[14] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblogPage)
    //#pre[21] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest != null
    //#pre[23] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.locale)
    //#pre[32] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblogDate)
    //#pre[37] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): request != null
    //#pre[15] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest.log != null
    //#pre[17] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) org/apache/roller/weblogger/ui/rendering/util/WeblogRequest.log != null
    //#pre[18] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.log != null
    //#pre[19] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) org/apache/roller/weblogger/ui/rendering/velocity/deprecated/OldWeblogPageModel.mLogger != null
    //#pre[22] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) pageRequest.__Tag in {org/apache/roller/weblogger/ui/rendering/util/WeblogPageRequest, org/apache/roller/weblogger/ui/rendering/util/WeblogPreviewRequest}
    //#pre[28] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) init'ed(pageRequest.weblogAnchor)
    //#pre[30] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) init'ed(pageRequest.weblogCategoryName)
    //#pre[33] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) init'ed(pageRequest.weblogHandle)
    //#pre[35] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) init'ed(pageRequest.weblogPageName)
    //#pre[39] (void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): (soft) urlStrategy != null
    //#presumption(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.text.SimpleDateFormat:parse(...)@135 != null
    //#presumption(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.text.SimpleDateFormat:parse(...)@145 != null
    //#presumption(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org.apache.roller.util.DateUtil:get6charDateFormat(...)@145 != null
    //#presumption(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org.apache.roller.util.DateUtil:get8charDateFormat(...)@135 != null
    //#presumption(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@125 != null
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance == One-of{old org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance, &new NewsfeedCache(getInstance#1)}
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance != null
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.localeInstance)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblog)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblogCategory)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): possibly_updated(pageRequest.weblogEntry)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(pageRequest.weblogPage)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new LRUCache2(NewsfeedCache#2) num objects <= 1
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#1) num objects == 0
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new Locale(getLocaleInstance#2) num objects == 0
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1) num objects <= 1
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).__Tag == org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).aggregator_cache_enabled == 1
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): init'ed(new NewsfeedCache(getInstance#1).aggregator_cache_timeout)
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).aggregator_enabled == 1
    //#post(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): new NewsfeedCache(getInstance#1).mCache == &new LRUCache2(NewsfeedCache#2)
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getPropertiesManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.PropertiesManager:getProperties
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getHandle
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getName
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEmailAddress
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.util.RegexUtil:encode
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.util.RegexUtil:obfuscateEmail
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.WeblogWrapper:wrap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getTheme
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.Boolean
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.URLStrategy:getWeblogURL
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getRelativeContextURL
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.net.URL
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.net.URL:getHost
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.WebloggerException
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getParameter
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.Integer
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getName
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogCategory:getPath
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.Weblog:getLastModified
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Date
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.text.SimpleDateFormat:setTimeZone
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getVersion
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getBuildTime
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getBuildUser
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.util.LRUCache2
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getParameterMap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getSession
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpSession:getAttribute
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpSession:removeAttribute
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:javax.servlet.http.HttpServletRequest:getAttribute
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.WeblogEntryCommentWrapper:wrap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.ArrayList:add
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogEntry:getStatus
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper:wrap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getUserManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.UserManager:getWebsiteByHandle
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:getWeblogAnchor
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getWeblogManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogEntryByAnchor
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.WeblogManager:getWeblogCategoryByPath
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByLink
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getBookmarkManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getRefererManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.WeblogTheme:getTemplates
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeTemplate:getName
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.HashMap:put
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.HashMap:values
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.Weblogger:getPluginManager
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.business.plugins.PluginManager:getWeblogEntryPlugins
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): Effects-of-calling:java.util.Locale
    //#test_vector(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): pageRequest.weblogDate: Addr_Set{null}, Inverse{null}
    //#test_vector(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.lang.String:length(...)@132: {0..7, 9..4_294_967_295}, {8}
    //#test_vector(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.lang.String:length(...)@142: {0..5, 7..4_294_967_295}, {6}
    //#test_vector(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.util.Date:after(...)@136: {0}, {1}
    //#test_vector(void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)): java.util.Date:after(...)@146: {0}, {1}
        
        Weblog weblog = null;
    //#ContextLoader.java:108: Warning: unused assignment
    //#    unused assignment into weblog
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    Attribs:  Uncertain
        WeblogEntry entry = null;
    //#ContextLoader.java:109: Warning: unused assignment
    //#    unused assignment into entry
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    Attribs:  Uncertain
        WeblogCategory category = null;
    //#ContextLoader.java:110: Warning: unused assignment
    //#    unused assignment into category
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    Attribs:  Uncertain
        ThemeTemplate page = null;
    //#ContextLoader.java:111: Warning: unused assignment
    //#    unused assignment into page
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    Attribs:  Uncertain
        WeblogBookmarkFolder folder = null;  // don't even know how this is involved :/
        Date date = null;
        boolean isDay = false;
        boolean isMonth = false;
        String locale = null;
    //#ContextLoader.java:116: Warning: unused assignment
    //#    unused assignment into locale
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    Attribs:  Uncertain
        
        // get data from page request
        locale = pageRequest.getLocale();
        weblog = pageRequest.getWeblog();
        entry = pageRequest.getWeblogEntry();
        category = pageRequest.getWeblogCategory();
        page = pageRequest.getWeblogPage();
        if(page == null) {
            page = weblog.getTheme().getDefaultTemplate();
    //#ContextLoader.java:125: ?null dereference
    //#    weblog != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    basic block: bb_2
    //#    assertion: weblog != null
    //#    VN: getWeblog(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ContextLoader.java:125: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#ContextLoader.java:125: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getDefaultTemplate()
        }
        
        // setup date, isDay, and isMonth
        if(pageRequest.getWeblogDate() != null) {
            
            Date now = new Date();
            if(pageRequest.getWeblogDate().length() == 8) {
                isDay = true;
                try {
                    date = DateUtil.get8charDateFormat().parse(pageRequest.getWeblogDate());
    //#ContextLoader.java:135: Warning: method not available
    //#    -- call on SimpleDateFormat org.apache.roller.util.DateUtil:get8charDateFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: SimpleDateFormat org.apache.roller.util.DateUtil:get8charDateFormat()
                    if(date.after(now)) {
                        date = now;
                    }
                } catch(Exception e) {
                    // bleh
                }
            } else if(pageRequest.getWeblogDate().length() == 6) {
                isMonth = true;
                try {
                    date = DateUtil.get6charDateFormat().parse(pageRequest.getWeblogDate());
    //#ContextLoader.java:145: Warning: method not available
    //#    -- call on SimpleDateFormat org.apache.roller.util.DateUtil:get6charDateFormat()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: SimpleDateFormat org.apache.roller.util.DateUtil:get6charDateFormat()
                    if(date.after(now)) {
                        date = now;
                    }
                } catch(Exception e) {
                    // bleh
                }
            } else {
                isMonth = true;
            }
        }
        
        try {
            // Add old page model object to context
            OldWeblogPageModel pageModel = new OldWeblogPageModel();
            pageModel.init(urlStrategy,
                    request,
                    weblog,
                    entry,
                    category,
                    date,
                    isDay,
                    isMonth,
                    locale);
            ctx.put("pageModel", pageModel);
            
            // along with old pages list :/
            ctx.put("pages", pageModel.getPages());
            
        } catch (Exception e) {
            throw new WebloggerException("ERROR creating Page Model",e);
        }
        
        // Add page helper to context
        OldPageHelper pageHelper = new OldPageHelper(request, 
    //#ContextLoader.java:179: ?null dereference
    //#    page != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    basic block: bb_23
    //#    assertion: page != null
    //#    VN: page
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ContextLoader.java:179: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate:getName()
                response, 
                ctx, 
                weblog, 
                (date == null) ? new Date() : date, 
                folder, 
                page.getName(), 
                pageContext,
                pageRequest);
        ctx.put("pageHelper", pageHelper);
        
        // Load standard Weblogger objects and values into the context
        loadWeblogValues(ctx, weblog, pageRequest.getLocaleInstance(), request, urlStrategy);
        loadPathValues(ctx, request, weblog, locale, urlStrategy);
        loadRssValues(ctx, request, weblog, category);
    //#ContextLoader.java:193: ?precondition failure
    //#    org/apache/roller/weblogger/ui/rendering/velocity/deprecated/ContextLoader.loadRssValues: website != null
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    //#    basic block: bb_23
    //#    assertion: getWeblog(...) != null
    //#    callee: void org/apache/roller/weblogger/ui/rendering/velocity/deprecated/ContextLoader.loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    callee assertion: website != null
    //#    callee file: ContextLoader.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 325
    //#    VN: getWeblog(...)
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
        loadUtilityObjects(ctx, request, weblog, page);
        loadRequestParamKeys(ctx);
        loadStatusMessage(ctx, request);
        
        // If single entry is specified, load comments too
        if (entry != null) {
            loadCommentValues(ctx, request, entry, urlStrategy);
        }
    }
    //#ContextLoader.java:202: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.setupContext(Map, HttpServletRequest, HttpServletResponse, PageContext, WeblogPageRequest, URLStrategy)
    
    
    /**
     * Load website object and related objects.
     */
    private static void loadWeblogValues(
            Map ctx,
            Weblog weblog,
            Locale locale,
            HttpServletRequest request,
            URLStrategy urlStrategy) throws WebloggerException {
        
        // weblog cannot be null
        if(weblog == null)
    //#ContextLoader.java:216: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): "context viewLocale = "._tainted
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): ctx
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): locale
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): mLogger
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): urlStrategy
    //#input(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): weblog
    //#pre[1] (void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): (soft) ctx != null
    //#pre[3] (void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): (soft) mLogger != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): java.util.Map:get(...)@236 != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): java.util.Map:get(...)@240 != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): org.apache.roller.weblogger.business.PropertiesManager:getProperties(...)@220 != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): org.apache.roller.weblogger.business.Weblogger:getPropertiesManager(...)@220 != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@219 != null
    //#presumption(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): org.apache.roller.weblogger.pojos.Weblog:getTheme(...)@248 != null
    //#test_vector(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): weblog: Inverse{null}, Addr_Set{null}
    //#test_vector(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): java.lang.String:equals(...)@237: {0}, {1}
    //#test_vector(void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)): org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(...)@248: Addr_Set{null}, Inverse{null}
            return;
        
        Weblogger mRoller = WebloggerFactory.getWeblogger();
    //#ContextLoader.java:219: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
        Map props = mRoller.getPropertiesManager().getProperties();
    //#ContextLoader.java:220: Warning: method not available
    //#    -- call on PropertiesManager org.apache.roller.weblogger.business.Weblogger:getPropertiesManager()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: PropertiesManager org.apache.roller.weblogger.business.Weblogger:getPropertiesManager()
    //#ContextLoader.java:220: Warning: method not available
    //#    -- call on Map org.apache.roller.weblogger.business.PropertiesManager:getProperties()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: Map org.apache.roller.weblogger.business.PropertiesManager:getProperties()
        
        ctx.put("userName",         weblog.getHandle());
    //#ContextLoader.java:222: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
        ctx.put("fullName",         weblog.getName() );
    //#ContextLoader.java:223: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getName()
        ctx.put("emailAddress",     weblog.getEmailAddress() );
    //#ContextLoader.java:224: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
        ctx.put("encodedEmail",     RegexUtil.encode(weblog.getEmailAddress()));
    //#ContextLoader.java:225: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
    //#ContextLoader.java:225: Warning: method not available
    //#    -- call on String org.apache.roller.util.RegexUtil:encode(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.util.RegexUtil:encode(String)
        ctx.put("obfuscatedEmail",  RegexUtil.obfuscateEmail(weblog.getEmailAddress()));
    //#ContextLoader.java:226: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getEmailAddress()
    //#ContextLoader.java:226: Warning: method not available
    //#    -- call on String org.apache.roller.util.RegexUtil:obfuscateEmail(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.util.RegexUtil:obfuscateEmail(String)
        
        // setup Locale for future rendering
        ctx.put("locale", weblog.getLocaleInstance());
    //#ContextLoader.java:229: Warning: method not available
    //#    -- call on Locale org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: Locale org.apache.roller.weblogger.pojos.Weblog:getLocaleInstance()
        
        // setup Timezone for future rendering
        ctx.put("timezone", weblog.getTimeZoneInstance());
    //#ContextLoader.java:232: Warning: method not available
    //#    -- call on TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
        ctx.put("timeZone", weblog.getTimeZoneInstance());
    //#ContextLoader.java:233: Warning: method not available
    //#    -- call on TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
        ctx.put("website",WeblogWrapper.wrap(weblog, urlStrategy) );
    //#ContextLoader.java:234: Warning: method not available
    //#    -- call on WeblogWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogWrapper:wrap(Weblog, URLStrategy)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: WeblogWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogWrapper:wrap(Weblog, URLStrategy)
        
        String siteName = ((RuntimeConfigProperty)props.get("site.name")).getValue();
    //#ContextLoader.java:236: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
        if ("Roller-based Site".equals(siteName)) siteName = "Main";
        ctx.put("siteName", siteName);
        
        String siteShortName = ((RuntimeConfigProperty)props.get("site.shortName")).getValue();
    //#ContextLoader.java:240: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getValue()
        ctx.put("siteShortName", siteShortName);
        
        // add language of the session (using locale specified by request)
        ctx.put("viewLocale", locale);
        mLogger.debug("context viewLocale = "+ctx.get( "viewLocale"));
    //#ContextLoader.java:245: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
        
        // alternative display pages - customization
        ThemeTemplate entryPage = weblog.getTheme().getTemplateByName("_entry");
    //#ContextLoader.java:248: Warning: method not available
    //#    -- call on WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: WeblogTheme org.apache.roller.weblogger.pojos.Weblog:getTheme()
    //#ContextLoader.java:248: Warning: method not available
    //#    -- call on ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: ThemeTemplate org.apache.roller.weblogger.pojos.WeblogTheme:getTemplateByName(String)
        if (entryPage != null) {
            ctx.put("entryPage",ThemeTemplateWrapper.wrap(entryPage));
    //#ContextLoader.java:250: Warning: method not available
    //#    -- call on ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
        }
        // TODO: ATLAS: no templates use this, should be safe to remove
        // Template descPage = weblog.getPageByName("_desc");
        //if (descPage != null) {
        //ctx.put("descPage", TemplateWrapper.wrap(descPage));
        //}
        
        boolean commentsEnabled =
    //#ContextLoader.java:258: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
                WebloggerRuntimeConfig.getBooleanProperty("users.comments.enabled");
        boolean trackbacksEnabled =
    //#ContextLoader.java:260: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
                WebloggerRuntimeConfig.getBooleanProperty("users.trackbacks.enabled");
        boolean linkbacksEnabled =
    //#ContextLoader.java:262: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
                WebloggerRuntimeConfig.getBooleanProperty("site.linkbacks.enabled");
        
        ctx.put("commentsEnabled",   new Boolean(commentsEnabled) );
        ctx.put("trackbacksEnabled", new Boolean(trackbacksEnabled) );
        ctx.put("linkbacksEnabled",  new Boolean(linkbacksEnabled) );
    }
    //#ContextLoader.java:268: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadWeblogValues(Map, Weblog, Locale, HttpServletRequest, URLStrategy)
    
    
    /**
     * Load comments for one weblog entry and related objects.
     */
    private static void loadCommentValues(
            Map ctx,
            HttpServletRequest request,
            WeblogEntry entry,
            URLStrategy urlStrategy) throws WebloggerException {
        
        mLogger.debug("Loading comment values");
    //#ContextLoader.java:280: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    //#ContextLoader.java:280: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): ctx
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): entry
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): java.lang.Boolean.TRUE
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): mLogger
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Descendant_Table[org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm]
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Descendant_Table[others]
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.getPreviewComment()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogEntryCommentWrapper;
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.isPreview()Z
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setContent(Ljava/lang/String;)V
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): request
    //#input(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): urlStrategy
    //#pre[1] (void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): ctx != null
    //#pre[2] (void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): entry != null
    //#pre[3] (void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): mLogger != null
    //#pre[4] (void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): request != null
    //#presumption(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): commentForm.__Tag@289 == org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm
    //#presumption(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): init'ed(java.lang.Boolean.TRUE)
    //#presumption(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): javax.servlet.http.HttpServletRequest:getAttribute(...).__Tag@289 == org/apache/roller/weblogger/ui/rendering/util/WeblogEntryCommentForm
    //#presumption(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): org.apache.roller.weblogger.pojos.WeblogEntry:getStatus(...)@309 != null
    //#unanalyzed(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): Effects-of-calling:org.apache.roller.weblogger.pojos.wrapper.WeblogEntryCommentWrapper:wrap
    //#test_vector(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): java.lang.String:equals(...)@309: {0}, {1}
    //#test_vector(void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)): javax.servlet.http.HttpServletRequest:getAttribute(...)@289: Inverse{null}, Addr_Set{null}
        
        boolean escapeHtml =
    //#ContextLoader.java:282: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getBooleanProperty(String)
                !WebloggerRuntimeConfig.getBooleanProperty("users.comments.htmlenabled");
        ctx.put("isCommentPage",     Boolean.TRUE);
        ctx.put("escapeHtml",        new Boolean(escapeHtml) );
        ctx.put("autoformat",        new Boolean(false) );
        
        // Make sure comment form object is available in context
        WeblogEntryCommentForm commentForm =
                (WeblogEntryCommentForm) request.getAttribute("commentForm");
        if ( commentForm == null ) {
            commentForm = new WeblogEntryCommentForm();
            
            // Set fields to spaces to please Velocity
            commentForm.setName("");
            commentForm.setEmail("");
            commentForm.setUrl("");
            commentForm.setContent("");
        }
        ctx.put("commentForm",commentForm);
        
        // Either put a preview comment in to context
        if(commentForm.isPreview()) {
            ArrayList list = new ArrayList();
            list.add(commentForm.getPreviewComment());
            ctx.put("previewComments", list);
        }
        
        if (entry.getStatus().equals(WeblogEntry.PUBLISHED)) {
    //#ContextLoader.java:309: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogEntry:getStatus()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogEntry:getStatus()
            ctx.put("entry",WeblogEntryWrapper.wrap(entry, urlStrategy));
    //#ContextLoader.java:310: Warning: method not available
    //#    -- call on WeblogEntryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(WeblogEntry, URLStrategy)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    //#    unanalyzed callee: WeblogEntryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogEntryWrapper:wrap(WeblogEntry, URLStrategy)
        }
    }
    //#ContextLoader.java:312: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadCommentValues(Map, HttpServletRequest, WeblogEntry, URLStrategy)
    
    
    /**
     * Load objects needed for RSS and Atom newsfeed generation.
     */
    private static void loadRssValues(
            Map ctx,
            HttpServletRequest request,
            Weblog website,
            WeblogCategory category)
            throws WebloggerException {
        
        mLogger.debug("Loading rss values");
    //#ContextLoader.java:325: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#ContextLoader.java:325: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): category
    //#input(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): ctx
    //#input(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): mLogger
    //#input(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): request
    //#input(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): website
    //#pre[2] (void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): ctx != null
    //#pre[3] (void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): mLogger != null
    //#pre[4] (void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): request != null
    //#pre[5] (void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): website != null
    //#test_vector(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): category: Addr_Set{null}, Inverse{null}
    //#test_vector(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): java.lang.String:equalsIgnoreCase(...)@329: {0}, {1}
    //#test_vector(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): javax.servlet.http.HttpServletRequest:getParameter(...)@328: Addr_Set{null}, Inverse{null}
    //#test_vector(void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)): org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount(...)@335: {1..4_294_967_295}, {-2_147_483_648..0}
        
        int entryLength = -1;
        String sExcerpts = request.getParameter("excerpts");
        if ( sExcerpts!=null && sExcerpts.equalsIgnoreCase("true")) {
            entryLength = 150;
        }
        ctx.put("entryLength",  new Integer(entryLength));
        
        // Display same number of entries in feed as displayed on page
        int entryCount = website.getEntryDisplayCount();
    //#ContextLoader.java:335: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: int org.apache.roller.weblogger.pojos.Weblog:getEntryDisplayCount()
        
        // But don't exceed installation-wide maxEntries settings
        int defaultEntries =
    //#ContextLoader.java:338: Warning: method not available
    //#    -- call on int org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: int org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getIntProperty(String)
                WebloggerRuntimeConfig.getIntProperty("site.newsfeeds.defaultEntries");
        if (entryCount < 1) entryCount = defaultEntries;
        if (entryCount > defaultEntries) entryCount = defaultEntries;
        ctx.put("entryCount",  new Integer(entryCount));
        
        String catname = null;
        String catPath = null;
        if (category != null ) {
            catname = category.getName();
    //#ContextLoader.java:347: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getName()
            catPath = category.getPath();
    //#ContextLoader.java:348: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getPath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getPath()
        }
        ctx.put("catname", (catname!=null) ? catname : "");
        ctx.put("catPath", (catPath != null) ? catPath : "");
        ctx.put("updateTime", website.getLastModified());
    //#ContextLoader.java:352: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.Weblog:getLastModified()
        ctx.put("now", new Date());
    }
    //#ContextLoader.java:354: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadRssValues(Map, HttpServletRequest, Weblog, WeblogCategory)
    
    
    /**
     * Load useful utility objects for string and date formatting.
     */
    private static void loadUtilityObjects(
            Map ctx,
            HttpServletRequest request,
            Weblog website,
            ThemeTemplate page) throws WebloggerException {
        
        mLogger.debug("Loading utility objects");
    //#ContextLoader.java:366: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#ContextLoader.java:366: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): "ERROR 'aggregator.cache.timeout'not a valid integer: "._tainted
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): ctx
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): mLogger
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.log
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): page
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): request
    //#input(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): website
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new LRUCache2(NewsfeedCache#2) num objects
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1) num objects
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).__Tag
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).aggregator_cache_enabled
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).aggregator_cache_timeout
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).aggregator_enabled
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).mCache
    //#output(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance
    //#new obj(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new LRUCache2(NewsfeedCache#2)
    //#new obj(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1)
    //#pre[1] (void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): ctx != null
    //#pre[2] (void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): mLogger != null
    //#pre[3] (void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): init'ed(org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance)
    //#pre[6] (void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): request != null
    //#pre[4] (void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): (soft) org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.log != null
    //#presumption(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@386 != null
    //#presumption(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@387 != null
    //#presumption(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger(...)@388 != null
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance == One-of{old org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance, &new NewsfeedCache(getInstance#1)}
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache.instance != null
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new LRUCache2(NewsfeedCache#2) num objects <= 1
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1) num objects == new LRUCache2(NewsfeedCache#2) num objects
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).__Tag == org/apache/roller/weblogger/ui/rendering/velocity/deprecated/NewsfeedCache
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).aggregator_cache_enabled == 1
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).aggregator_enabled == 1
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): init'ed(new NewsfeedCache(getInstance#1).aggregator_cache_timeout)
    //#post(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): new NewsfeedCache(getInstance#1).mCache == &new LRUCache2(NewsfeedCache#2)
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:org.apache.roller.weblogger.config.WebloggerConfig:getProperty
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:org.apache.roller.weblogger.util.LRUCache2
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#test_vector(void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)): website: Addr_Set{null}, Inverse{null}
        
        // date formatter for macro's set this up with the Locale to make
        // sure we can reuse it with other patterns in the macro's
        Locale viewLocale = (Locale) ctx.get("viewLocale");
        SimpleDateFormat sdf = new SimpleDateFormat("yyyyMMdd", viewLocale);
        if (website != null) {
            sdf.setTimeZone(website.getTimeZoneInstance());
    //#ContextLoader.java:373: Warning: method not available
    //#    -- call on TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: TimeZone org.apache.roller.weblogger.pojos.Weblog:getTimeZoneInstance()
        }
        // add formatter to context
        ctx.put("dateFormatter", sdf );
        
        // Note: in the macro's, the formats are taken from the ResourceBundles.
        // Only the plainFormat is specified here, because it is used to render
        // the Entry Day link.
        ctx.put("plainFormat", "yyyyMMdd");
        
        ctx.put("page",ThemeTemplateWrapper.wrap(page));
    //#ContextLoader.java:383: Warning: method not available
    //#    -- call on ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper:wrap(ThemeTemplate)
        ctx.put("utilities",       new OldUtilities() );
        ctx.put("stringUtils",     new OldStringUtils() );
        ctx.put("rollerVersion",   WebloggerFactory.getWeblogger().getVersion() );
    //#ContextLoader.java:386: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#ContextLoader.java:386: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.business.Weblogger:getVersion()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: String org.apache.roller.weblogger.business.Weblogger:getVersion()
        ctx.put("rollerBuildTime", WebloggerFactory.getWeblogger().getBuildTime() );
    //#ContextLoader.java:387: Warning: method not available
    //#    -- call on Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#ContextLoader.java:387: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.business.Weblogger:getBuildTime()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: String org.apache.roller.weblogger.business.Weblogger:getBuildTime()
        ctx.put("rollerBuildUser", WebloggerFactory.getWeblogger().getBuildUser() );
    //#ContextLoader.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.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: Weblogger org.apache.roller.weblogger.business.WebloggerFactory:getWeblogger()
    //#ContextLoader.java:388: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.business.Weblogger:getBuildUser()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    //#    unanalyzed callee: String org.apache.roller.weblogger.business.Weblogger:getBuildUser()
        ctx.put("newsfeedCache",   NewsfeedCache.getInstance() );
        
        ctx.put("requestParameters", request.getParameterMap());
    }
    //#ContextLoader.java:392: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadUtilityObjects(Map, HttpServletRequest, Weblog, ThemeTemplate)
    
    
    /**
     * Load URL paths useful in page templates.
     */
    private static void loadPathValues(
            Map ctx,
            HttpServletRequest request,
            Weblog   website,
            String locale,
            URLStrategy urlStrategy) throws WebloggerException {
        
        mLogger.debug("Loading path values");
    //#ContextLoader.java:405: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#ContextLoader.java:405: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): ctx
    //#input(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): locale
    //#input(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): mLogger
    //#input(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): urlStrategy
    //#input(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): website
    //#pre[1] (void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): ctx != null
    //#pre[3] (void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): mLogger != null
    //#pre[4] (void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): (soft) urlStrategy != null
    //#test_vector(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): website: Addr_Set{null}, Inverse{null}
    //#test_vector(void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)): java.lang.String:equals(...)@408: {1}, {0}
        
        String url = null;
    //#ContextLoader.java:407: Warning: unused assignment
    //#    unused assignment into url
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    Attribs:  Uncertain
        if (website != null  && !"zzz_none_zzz".equals(website.getHandle())) {
    //#ContextLoader.java:408: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.Weblog:getHandle()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.Weblog:getHandle()
            url = urlStrategy.getWeblogURL(website, locale, true);
    //#ContextLoader.java:409: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.business.URLStrategy:getWeblogURL(Weblog, String, bool)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.business.URLStrategy:getWeblogURL(Weblog, String, bool)
        } else {
            url= WebloggerRuntimeConfig.getAbsoluteContextURL();
    //#ContextLoader.java:411: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
        }
        ctx.put("websiteURL", url);
        ctx.put("baseURL",    WebloggerRuntimeConfig.getRelativeContextURL() );
    //#ContextLoader.java:414: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getRelativeContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getRelativeContextURL()
        ctx.put("absBaseURL", WebloggerRuntimeConfig.getAbsoluteContextURL() );
    //#ContextLoader.java:415: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
        ctx.put("ctxPath",    WebloggerRuntimeConfig.getRelativeContextURL() );
    //#ContextLoader.java:416: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getRelativeContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getRelativeContextURL()
        ctx.put("uploadPath", ContextLoader.figureResourcePath());
        
        try {
            URL absUrl = new URL(WebloggerRuntimeConfig.getAbsoluteContextURL());
    //#ContextLoader.java:420: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    //#    unanalyzed callee: String org.apache.roller.weblogger.config.WebloggerRuntimeConfig:getAbsoluteContextURL()
            ctx.put("host", absUrl.getHost());
        } catch (MalformedURLException e) {
            throw new WebloggerException(e);
        }
    }
    //#ContextLoader.java:425: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadPathValues(Map, HttpServletRequest, Weblog, String, URLStrategy)
    
    
    /**
     * Determine URL path to Weblogger upload directory.
     */
    private static String figureResourcePath() {
        
        // legacy junk.  this no longer makes any sense as of 3.0, but oh well
        return "/resources";
    //#ContextLoader.java:434: method: String org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.figureResourcePath()
    //#output(String figureResourcePath()): return_value
    //#post(String figureResourcePath()): return_value == &".resources"
    //#ContextLoader.java:434: end of method: String org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.figureResourcePath()
    }
    
    
    /**
     * If there is an ERROR or STATUS message in the session,
     * place it into the Context for rendering later.
     */
    private static void loadStatusMessage(Map ctx, HttpServletRequest req) {
        
        mLogger.debug("Loading status message");
    //#ContextLoader.java:444: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadStatusMessage(Map, HttpServletRequest)
    //#ContextLoader.java:444: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadStatusMessage(Map, HttpServletRequest)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadStatusMessage(Map, HttpServletRequest)): ctx
    //#input(void loadStatusMessage(Map, HttpServletRequest)): mLogger
    //#input(void loadStatusMessage(Map, HttpServletRequest)): req
    //#pre[2] (void loadStatusMessage(Map, HttpServletRequest)): mLogger != null
    //#pre[3] (void loadStatusMessage(Map, HttpServletRequest)): req != null
    //#pre[1] (void loadStatusMessage(Map, HttpServletRequest)): (soft) ctx != null
    //#test_vector(void loadStatusMessage(Map, HttpServletRequest)): javax.servlet.http.HttpServletRequest:getSession(...)@446: Addr_Set{null}, Inverse{null}
        
        HttpSession session = req.getSession(false);
        String msg = null;
        if (session != null)
            msg = (String)session.getAttribute(RollerSession.ERROR_MESSAGE);
        if (msg != null) {
            ctx.put("errorMessage", msg);
            session.removeAttribute(RollerSession.ERROR_MESSAGE);
        }
        
        if (session != null)
            msg = (String)session.getAttribute(RollerSession.STATUS_MESSAGE);
        if (msg != null) {
            ctx.put("statusMessage", msg);
            session.removeAttribute(RollerSession.STATUS_MESSAGE);
        }
    }
    //#ContextLoader.java:461: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadStatusMessage(Map, HttpServletRequest)
    
    
    private static void loadRequestParamKeys(Map ctx) {
        
        mLogger.debug("Loading request param keys");
    //#ContextLoader.java:466: method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadRequestParamKeys(Map)
    //#ContextLoader.java:466: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:debug(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
    //#    method: void loadRequestParamKeys(Map)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:debug(Object)
    //#input(void loadRequestParamKeys(Map)): ctx
    //#input(void loadRequestParamKeys(Map)): mLogger
    //#pre[1] (void loadRequestParamKeys(Map)): ctx != null
    //#pre[2] (void loadRequestParamKeys(Map)): mLogger != null
        
        // Since Velocity *requires* accessor methods, these values from
        // RollerRequest are not available to it, put them into the context
        ctx.put("USERNAME_KEY",           USERNAME_KEY);
        ctx.put("WEBSITEID_KEY",          WEBSITEID_KEY);
        ctx.put("FOLDERID_KEY",           FOLDERID_KEY);
        ctx.put("NEWSFEEDID_KEY",         NEWSFEEDID_KEY);
        ctx.put("PAGEID_KEY",             PAGEID_KEY);
        ctx.put("PAGELINK_KEY",           PAGELINK_KEY);
        ctx.put("ANCHOR_KEY",             ANCHOR_KEY);
        ctx.put("EXCERPTS_KEY",           EXCERPTS_KEY);
        ctx.put("BOOKMARKID_KEY",         BOOKMARKID_KEY);
        ctx.put("REFERERID_KEY",          REFERERID_KEY);
        ctx.put("WEBLOGENTRYID_KEY",      WEBLOGENTRYID_KEY);
        ctx.put("WEBLOGCATEGORYNAME_KEY", WEBLOGCATEGORYNAME_KEY);
        ctx.put("WEBLOGCATEGORYID_KEY",   WEBLOGENTRIES_KEY);
        ctx.put("WEBLOGENTRIES_KEY",      WEBLOGENTRIES_KEY);
        ctx.put("WEBLOGDAY_KEY",          WEBLOGDAY_KEY);
        ctx.put("WEBLOGCOMMENTID_KEY",    WEBLOGCOMMENTID_KEY);
    }
    //#ContextLoader.java:486: end of method: void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader.loadRequestParamKeys(Map)
       
}
    //#ContextLoader.java:: end of class: org.apache.roller.weblogger.ui.rendering.velocity.deprecated.ContextLoader
