//# 0 errors, 1,024 messages
//#
/*
    //#WebloggerImpl.java:1:1: class: org.apache.roller.weblogger.business.WebloggerImpl
 * 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.business;

import org.apache.roller.weblogger.business.plugins.PluginManagerImpl;
import org.apache.roller.weblogger.business.plugins.PluginManager;
import java.io.IOException;
import java.util.Properties;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.pings.AutoPingManager;
import org.apache.roller.weblogger.business.pings.PingQueueManager;
import org.apache.roller.weblogger.business.pings.PingTargetManager;
import org.apache.roller.weblogger.business.referrers.RefererManager;
import org.apache.roller.weblogger.business.referrers.ReferrerQueueManager;
import org.apache.roller.weblogger.business.referrers.ReferrerQueueManagerImpl;
import org.apache.roller.weblogger.business.search.IndexManager;
import org.apache.roller.weblogger.business.runnable.ThreadManager;
import org.apache.roller.weblogger.business.themes.ThemeManager;
import org.apache.roller.weblogger.config.PingConfig;


/**
 * The abstract version of the Weblogger implementation.
 * 
 * Here we put code that pertains to *all* implementations of the Weblogger
 * interface, regardless of their persistence strategy.
 */
@com.google.inject.Singleton
public abstract class WebloggerImpl implements Weblogger {
    
    private static Log log = LogFactory.getLog(WebloggerImpl.class);
    //#WebloggerImpl.java:49: method: org.apache.roller.weblogger.business.WebloggerImpl.org.apache.roller.weblogger.business.WebloggerImpl__static_init
    //#WebloggerImpl.java:49: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: org.apache.roller.weblogger.business.WebloggerImpl__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getAutopingManager()Lorg/apache/roller/weblogger/business/pings/AutoPingManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBookmarkManager()Lorg/apache/roller/weblogger/business/BookmarkManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBuildTime()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBuildUser()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getFileManager()Lorg/apache/roller/weblogger/business/FileManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getIndexManager()Lorg/apache/roller/weblogger/business/search/IndexManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPingQueueManager()Lorg/apache/roller/weblogger/business/pings/PingQueueManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPingTargetManager()Lorg/apache/roller/weblogger/business/pings/PingTargetManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPluginManager()Lorg/apache/roller/weblogger/business/plugins/PluginManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getRefererManager()Lorg/apache/roller/weblogger/business/referrers/RefererManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getReferrerQueueManager()Lorg/apache/roller/weblogger/business/referrers/ReferrerQueueManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getRevision()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getThemeManager()Lorg/apache/roller/weblogger/business/themes/ThemeManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getUrlStrategy()Lorg/apache/roller/weblogger/business/URLStrategy;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getUserManager()Lorg/apache/roller/weblogger/business/UserManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getVersion()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getWeblogManager()Lorg/apache/roller/weblogger/business/WeblogManager;
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.initialize()V
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.release()V
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.shutdown()V
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): log
    //#output(org.apache.roller.weblogger.business.WebloggerImpl__static_init): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getAutopingManager()Lorg/apache/roller/weblogger/business/pings/AutoPingManager; == &getAutopingManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBookmarkManager()Lorg/apache/roller/weblogger/business/BookmarkManager; == &getBookmarkManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBuildTime()Ljava/lang/String; == &getBuildTime
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getBuildUser()Ljava/lang/String; == &getBuildUser
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getFileManager()Lorg/apache/roller/weblogger/business/FileManager; == &getFileManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getIndexManager()Lorg/apache/roller/weblogger/business/search/IndexManager; == &getIndexManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPingQueueManager()Lorg/apache/roller/weblogger/business/pings/PingQueueManager; == &getPingQueueManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPingTargetManager()Lorg/apache/roller/weblogger/business/pings/PingTargetManager; == &getPingTargetManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPluginManager()Lorg/apache/roller/weblogger/business/plugins/PluginManager; == &getPluginManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager; == &getPropertiesManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getRefererManager()Lorg/apache/roller/weblogger/business/referrers/RefererManager; == &getRefererManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getReferrerQueueManager()Lorg/apache/roller/weblogger/business/referrers/ReferrerQueueManager; == &getReferrerQueueManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getRevision()Ljava/lang/String; == &getRevision
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getThemeManager()Lorg/apache/roller/weblogger/business/themes/ThemeManager; == &getThemeManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager; == &getThreadManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getUrlStrategy()Lorg/apache/roller/weblogger/business/URLStrategy; == &getUrlStrategy
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getUserManager()Lorg/apache/roller/weblogger/business/UserManager; == &getUserManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getVersion()Ljava/lang/String; == &getVersion
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.getWeblogManager()Lorg/apache/roller/weblogger/business/WeblogManager; == &getWeblogManager
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.initialize()V == &initialize
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.release()V == &release
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): __Dispatch_Table.shutdown()V == &shutdown
    //#post(org.apache.roller.weblogger.business.WebloggerImpl__static_init): init'ed(log)
    //#WebloggerImpl.java:49: end of method: org.apache.roller.weblogger.business.WebloggerImpl.org.apache.roller.weblogger.business.WebloggerImpl__static_init
    
    // managers
    private final AutoPingManager      autoPingManager;
    private final BookmarkManager      bookmarkManager;
    private final FileManager          fileManager;
    private final IndexManager         indexManager;
    private final PingQueueManager     pingQueueManager;
    private final PingTargetManager    pingTargetManager;
    private final PluginManager        pluginManager;
    private final PropertiesManager    propertiesManager;
    private final RefererManager       refererManager;
    private final ReferrerQueueManager refererQueueManager;
    private final ThemeManager         themeManager;
    private final ThreadManager        threadManager;
    private final UserManager          userManager;
    private final WeblogManager        weblogManager;
    
    // url strategy
    private final URLStrategy          urlStrategy;
    
    // some simple attributes
    private final String version;
    private final String revision;
    private final String buildTime;
    private final String buildUser;
    
    
    protected WebloggerImpl(
        AutoPingManager      autoPingManager,
        BookmarkManager      bookmarkManager,
        FileManager          fileManager,
        IndexManager         indexManager,
        PingQueueManager     pingQueueManager,
        PingTargetManager    pingTargetManager,
        PluginManager        pluginManager,
        PropertiesManager    propertiesManager,
        RefererManager       refererManager,
        ReferrerQueueManager refererQueueManager, 
        ThemeManager         themeManager,
        ThreadManager        threadManager,
        UserManager          userManager,
        WeblogManager        weblogManager,
        URLStrategy          urlStrategy) throws WebloggerException { 
    //#WebloggerImpl.java:92: method: void org.apache.roller.weblogger.business.WebloggerImpl.org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): autoPingManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): bookmarkManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): fileManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): indexManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): log
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): pingQueueManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): pingTargetManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): pluginManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): propertiesManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): refererManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): refererQueueManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): themeManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): threadManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): urlStrategy
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): userManager
    //#input(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): weblogManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.autoPingManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.bookmarkManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.buildTime
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.buildUser
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.fileManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.indexManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pingQueueManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pingTargetManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pluginManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.propertiesManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.refererManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.refererQueueManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.revision
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.themeManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.threadManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.urlStrategy
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.userManager
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.version
    //#output(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.weblogManager
    //#pre[5] (void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): (soft) log != null
    //#presumption(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): java.lang.Object:getClass(...)@112 != null
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.autoPingManager == autoPingManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.autoPingManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.bookmarkManager == bookmarkManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.bookmarkManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.buildTime)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.buildUser)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.fileManager == fileManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.fileManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.indexManager == indexManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.indexManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pingQueueManager == pingQueueManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.pingQueueManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pingTargetManager == pingTargetManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.pingTargetManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.pluginManager == pluginManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.pluginManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.propertiesManager == propertiesManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.propertiesManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.refererManager == refererManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.refererManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.refererQueueManager == refererQueueManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.refererQueueManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.revision)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.themeManager == themeManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.themeManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.threadManager == threadManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.threadManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.urlStrategy == urlStrategy
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.urlStrategy)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.userManager == userManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.userManager)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.version)
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): this.weblogManager == weblogManager
    //#post(void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)): init'ed(this.weblogManager)
                
        this.autoPingManager     = autoPingManager;
        this.bookmarkManager     = bookmarkManager;
        this.fileManager         = fileManager;
        this.indexManager        = indexManager;
        this.pingQueueManager    = pingQueueManager;
        this.pingTargetManager   = pingTargetManager;
        this.pluginManager       = pluginManager;
        this.propertiesManager   = propertiesManager;
        this.refererManager      = refererManager;
        this.refererQueueManager = refererQueueManager;
        this.themeManager        = themeManager;
        this.threadManager       = threadManager;
        this.userManager         = userManager;
        this.weblogManager       = weblogManager;
        this.urlStrategy         = urlStrategy;
        
        Properties props = new Properties();
        try {
            props.load(getClass().getResourceAsStream("/roller-version.properties"));
        } catch (IOException e) {
            log.error("roller-version.properties not found", e);
    //#WebloggerImpl.java:114: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }
        
        version = props.getProperty("ro.version", "UNKNOWN");
        revision = props.getProperty("ro.revision", "UNKNOWN");
        buildTime = props.getProperty("ro.buildTime", "UNKNOWN");
        buildUser = props.getProperty("ro.buildUser", "UNKNOWN");
    }
    //#WebloggerImpl.java:121: end of method: void org.apache.roller.weblogger.business.WebloggerImpl.org.apache.roller.weblogger.business.WebloggerImpl(AutoPingManager, BookmarkManager, FileManager, IndexManager, PingQueueManager, PingTargetManager, PluginManager, PropertiesManager, RefererManager, ReferrerQueueManager, ThemeManager, ThreadManager, UserManager, WeblogManager, URLStrategy)
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getFileManager()
     */
    public FileManager getFileManager() {
        return fileManager;
    //#WebloggerImpl.java:130: method: FileManager org.apache.roller.weblogger.business.WebloggerImpl.getFileManager()
    //#input(FileManager getFileManager()): this
    //#input(FileManager getFileManager()): this.fileManager
    //#output(FileManager getFileManager()): return_value
    //#post(FileManager getFileManager()): return_value == this.fileManager
    //#post(FileManager getFileManager()): init'ed(return_value)
    //#WebloggerImpl.java:130: end of method: FileManager org.apache.roller.weblogger.business.WebloggerImpl.getFileManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getThreadManager()
     */
    public ThreadManager getThreadManager() {
        return threadManager;
    //#WebloggerImpl.java:140: method: ThreadManager org.apache.roller.weblogger.business.WebloggerImpl.getThreadManager()
    //#input(ThreadManager getThreadManager()): this
    //#input(ThreadManager getThreadManager()): this.threadManager
    //#output(ThreadManager getThreadManager()): return_value
    //#post(ThreadManager getThreadManager()): return_value == this.threadManager
    //#post(ThreadManager getThreadManager()): init'ed(return_value)
    //#WebloggerImpl.java:140: end of method: ThreadManager org.apache.roller.weblogger.business.WebloggerImpl.getThreadManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getIndexManager()
     */
    public IndexManager getIndexManager() {
        return indexManager;
    //#WebloggerImpl.java:150: method: IndexManager org.apache.roller.weblogger.business.WebloggerImpl.getIndexManager()
    //#input(IndexManager getIndexManager()): this
    //#input(IndexManager getIndexManager()): this.indexManager
    //#output(IndexManager getIndexManager()): return_value
    //#post(IndexManager getIndexManager()): return_value == this.indexManager
    //#post(IndexManager getIndexManager()): init'ed(return_value)
    //#WebloggerImpl.java:150: end of method: IndexManager org.apache.roller.weblogger.business.WebloggerImpl.getIndexManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getThemeManager()
     */
    public ThemeManager getThemeManager() {
        return themeManager;
    //#WebloggerImpl.java:160: method: ThemeManager org.apache.roller.weblogger.business.WebloggerImpl.getThemeManager()
    //#input(ThemeManager getThemeManager()): this
    //#input(ThemeManager getThemeManager()): this.themeManager
    //#output(ThemeManager getThemeManager()): return_value
    //#post(ThemeManager getThemeManager()): return_value == this.themeManager
    //#post(ThemeManager getThemeManager()): init'ed(return_value)
    //#WebloggerImpl.java:160: end of method: ThemeManager org.apache.roller.weblogger.business.WebloggerImpl.getThemeManager()
    }
    
    
    /**
     * @see org.apache.roller.weblogger.business.referrers.ReferrerQueueManager
     */
    public ReferrerQueueManager getReferrerQueueManager() {
        return refererQueueManager;
    //#WebloggerImpl.java:168: method: ReferrerQueueManager org.apache.roller.weblogger.business.WebloggerImpl.getReferrerQueueManager()
    //#input(ReferrerQueueManager getReferrerQueueManager()): this
    //#input(ReferrerQueueManager getReferrerQueueManager()): this.refererQueueManager
    //#output(ReferrerQueueManager getReferrerQueueManager()): return_value
    //#post(ReferrerQueueManager getReferrerQueueManager()): return_value == this.refererQueueManager
    //#post(ReferrerQueueManager getReferrerQueueManager()): init'ed(return_value)
    //#WebloggerImpl.java:168: end of method: ReferrerQueueManager org.apache.roller.weblogger.business.WebloggerImpl.getReferrerQueueManager()
    }
    
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getUserManager()
     */
    public UserManager getUserManager() {
        return userManager;
    //#WebloggerImpl.java:179: method: UserManager org.apache.roller.weblogger.business.WebloggerImpl.getUserManager()
    //#input(UserManager getUserManager()): this
    //#input(UserManager getUserManager()): this.userManager
    //#output(UserManager getUserManager()): return_value
    //#post(UserManager getUserManager()): return_value == this.userManager
    //#post(UserManager getUserManager()): init'ed(return_value)
    //#WebloggerImpl.java:179: end of method: UserManager org.apache.roller.weblogger.business.WebloggerImpl.getUserManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getBookmarkManager()
     */
    public BookmarkManager getBookmarkManager() {
        return bookmarkManager;
    //#WebloggerImpl.java:189: method: BookmarkManager org.apache.roller.weblogger.business.WebloggerImpl.getBookmarkManager()
    //#input(BookmarkManager getBookmarkManager()): this
    //#input(BookmarkManager getBookmarkManager()): this.bookmarkManager
    //#output(BookmarkManager getBookmarkManager()): return_value
    //#post(BookmarkManager getBookmarkManager()): return_value == this.bookmarkManager
    //#post(BookmarkManager getBookmarkManager()): init'ed(return_value)
    //#WebloggerImpl.java:189: end of method: BookmarkManager org.apache.roller.weblogger.business.WebloggerImpl.getBookmarkManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getWeblogManager()
     */
    public WeblogManager getWeblogManager() {
        return weblogManager;
    //#WebloggerImpl.java:199: method: WeblogManager org.apache.roller.weblogger.business.WebloggerImpl.getWeblogManager()
    //#input(WeblogManager getWeblogManager()): this
    //#input(WeblogManager getWeblogManager()): this.weblogManager
    //#output(WeblogManager getWeblogManager()): return_value
    //#post(WeblogManager getWeblogManager()): return_value == this.weblogManager
    //#post(WeblogManager getWeblogManager()): init'ed(return_value)
    //#WebloggerImpl.java:199: end of method: WeblogManager org.apache.roller.weblogger.business.WebloggerImpl.getWeblogManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getRefererManager()
     */
    public RefererManager getRefererManager() {
        return refererManager;
    //#WebloggerImpl.java:209: method: RefererManager org.apache.roller.weblogger.business.WebloggerImpl.getRefererManager()
    //#input(RefererManager getRefererManager()): this
    //#input(RefererManager getRefererManager()): this.refererManager
    //#output(RefererManager getRefererManager()): return_value
    //#post(RefererManager getRefererManager()): return_value == this.refererManager
    //#post(RefererManager getRefererManager()): init'ed(return_value)
    //#WebloggerImpl.java:209: end of method: RefererManager org.apache.roller.weblogger.business.WebloggerImpl.getRefererManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getPropertiesManager()
     */
    public PropertiesManager getPropertiesManager() {
        return propertiesManager;
    //#WebloggerImpl.java:219: method: PropertiesManager org.apache.roller.weblogger.business.WebloggerImpl.getPropertiesManager()
    //#input(PropertiesManager getPropertiesManager()): this
    //#input(PropertiesManager getPropertiesManager()): this.propertiesManager
    //#output(PropertiesManager getPropertiesManager()): return_value
    //#post(PropertiesManager getPropertiesManager()): return_value == this.propertiesManager
    //#post(PropertiesManager getPropertiesManager()): init'ed(return_value)
    //#WebloggerImpl.java:219: end of method: PropertiesManager org.apache.roller.weblogger.business.WebloggerImpl.getPropertiesManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getPingTargetManager()
     */
    public PingQueueManager getPingQueueManager() {
        return pingQueueManager;
    //#WebloggerImpl.java:229: method: PingQueueManager org.apache.roller.weblogger.business.WebloggerImpl.getPingQueueManager()
    //#input(PingQueueManager getPingQueueManager()): this
    //#input(PingQueueManager getPingQueueManager()): this.pingQueueManager
    //#output(PingQueueManager getPingQueueManager()): return_value
    //#post(PingQueueManager getPingQueueManager()): return_value == this.pingQueueManager
    //#post(PingQueueManager getPingQueueManager()): init'ed(return_value)
    //#WebloggerImpl.java:229: end of method: PingQueueManager org.apache.roller.weblogger.business.WebloggerImpl.getPingQueueManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getPingTargetManager()
     */
    public AutoPingManager getAutopingManager() {
        return autoPingManager;
    //#WebloggerImpl.java:239: method: AutoPingManager org.apache.roller.weblogger.business.WebloggerImpl.getAutopingManager()
    //#input(AutoPingManager getAutopingManager()): this
    //#input(AutoPingManager getAutopingManager()): this.autoPingManager
    //#output(AutoPingManager getAutopingManager()): return_value
    //#post(AutoPingManager getAutopingManager()): return_value == this.autoPingManager
    //#post(AutoPingManager getAutopingManager()): init'ed(return_value)
    //#WebloggerImpl.java:239: end of method: AutoPingManager org.apache.roller.weblogger.business.WebloggerImpl.getAutopingManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getPingTargetManager()
     */
    public PingTargetManager getPingTargetManager() {
        return pingTargetManager;
    //#WebloggerImpl.java:249: method: PingTargetManager org.apache.roller.weblogger.business.WebloggerImpl.getPingTargetManager()
    //#input(PingTargetManager getPingTargetManager()): this
    //#input(PingTargetManager getPingTargetManager()): this.pingTargetManager
    //#output(PingTargetManager getPingTargetManager()): return_value
    //#post(PingTargetManager getPingTargetManager()): return_value == this.pingTargetManager
    //#post(PingTargetManager getPingTargetManager()): init'ed(return_value)
    //#WebloggerImpl.java:249: end of method: PingTargetManager org.apache.roller.weblogger.business.WebloggerImpl.getPingTargetManager()
    }
    
    
    /**
     * 
     * 
     * @see org.apache.roller.weblogger.modelWebloggerr#getPluginManager()
     */
    public PluginManager getPluginManager() {
        return pluginManager;
    //#WebloggerImpl.java:259: method: PluginManager org.apache.roller.weblogger.business.WebloggerImpl.getPluginManager()
    //#input(PluginManager getPluginManager()): this
    //#input(PluginManager getPluginManager()): this.pluginManager
    //#output(PluginManager getPluginManager()): return_value
    //#post(PluginManager getPluginManager()): return_value == this.pluginManager
    //#post(PluginManager getPluginManager()): init'ed(return_value)
    //#WebloggerImpl.java:259: end of method: PluginManager org.apache.roller.weblogger.business.WebloggerImpl.getPluginManager()
    }
    
    
    /**
     * @inheritDoc
     */
    public URLStrategy getUrlStrategy() {
        return urlStrategy;
    //#WebloggerImpl.java:267: method: URLStrategy org.apache.roller.weblogger.business.WebloggerImpl.getUrlStrategy()
    //#input(URLStrategy getUrlStrategy()): this
    //#input(URLStrategy getUrlStrategy()): this.urlStrategy
    //#output(URLStrategy getUrlStrategy()): return_value
    //#post(URLStrategy getUrlStrategy()): return_value == this.urlStrategy
    //#post(URLStrategy getUrlStrategy()): init'ed(return_value)
    //#WebloggerImpl.java:267: end of method: URLStrategy org.apache.roller.weblogger.business.WebloggerImpl.getUrlStrategy()
    }
    
    
    /**
     * @inheritDoc
     */
    public void release() {
        try {
            autoPingManager.release();
    //#WebloggerImpl.java:276: method: void org.apache.roller.weblogger.business.WebloggerImpl.release()
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.autoPingManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [4]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.bookmarkManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [6]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.fileManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [8]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.pingQueueManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [10]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.pingTargetManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [12]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.pluginManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [14]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.refererManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [16]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.threadManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [18]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.userManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [20]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:276: Warning: suspicious precondition
    //#    the precondition for this.weblogManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    suspicious precondition index: [22]
    //#    Attribs:  Soft
    //#input(void release()): log
    //#input(void release()): org/apache/roller/weblogger/business/BookmarkManager.__Descendant_Table[org/apache/roller/weblogger/business/BookmarkManager]
    //#input(void release()): org/apache/roller/weblogger/business/BookmarkManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPABookmarkManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/BookmarkManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/BookmarkManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/FileManager.__Descendant_Table[org/apache/roller/weblogger/business/FileManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/FileManager.__Descendant_Table[org/apache/roller/weblogger/business/FileManager]
    //#input(void release()): org/apache/roller/weblogger/business/FileManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/FileManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/FileManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/UserManager.__Descendant_Table[org/apache/roller/weblogger/business/UserManager]
    //#input(void release()): org/apache/roller/weblogger/business/UserManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAUserManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/UserManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/UserManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/WeblogManager.__Descendant_Table[org/apache/roller/weblogger/business/WeblogManager]
    //#input(void release()): org/apache/roller/weblogger/business/WeblogManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWeblogManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/WeblogManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/WeblogManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPABookmarkManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAPingQueueManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPARefererManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAUserManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/jpa/JPAWeblogManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[org/apache/roller/weblogger/business/pings/AutoPingManager]
    //#input(void release()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingQueueManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPingQueueManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingQueueManager.__Descendant_Table[org/apache/roller/weblogger/business/pings/PingQueueManager]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingQueueManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingQueueManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[org/apache/roller/weblogger/business/pings/PingTargetManager]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/plugins/PluginManager.__Descendant_Table[org/apache/roller/weblogger/business/plugins/PluginManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/plugins/PluginManager.__Descendant_Table[org/apache/roller/weblogger/business/plugins/PluginManager]
    //#input(void release()): org/apache/roller/weblogger/business/plugins/PluginManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/plugins/PluginManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/plugins/PluginManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/referrers/RefererManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPARefererManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/referrers/RefererManager.__Descendant_Table[org/apache/roller/weblogger/business/referrers/RefererManager]
    //#input(void release()): org/apache/roller/weblogger/business/referrers/RefererManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/referrers/RefererManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManagerImpl]
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManager]
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[others]
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Dispatch_Table.release()V
    //#input(void release()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.__Dispatch_Table.release()V
    //#input(void release()): this
    //#input(void release()): this.autoPingManager
    //#input(void release()): this.autoPingManager.__Tag
    //#input(void release()): this.bookmarkManager
    //#input(void release()): this.bookmarkManager.__Tag
    //#input(void release()): this.fileManager
    //#input(void release()): this.fileManager.__Tag
    //#input(void release()): this.pingQueueManager
    //#input(void release()): this.pingQueueManager.__Tag
    //#input(void release()): this.pingTargetManager
    //#input(void release()): this.pingTargetManager.__Tag
    //#input(void release()): this.pluginManager
    //#input(void release()): this.pluginManager.__Tag
    //#input(void release()): this.refererManager
    //#input(void release()): this.refererManager.__Tag
    //#input(void release()): this.threadManager
    //#input(void release()): this.threadManager.__Tag
    //#input(void release()): this.userManager
    //#input(void release()): this.userManager.__Tag
    //#input(void release()): this.weblogManager
    //#input(void release()): this.weblogManager.__Tag
    //#pre[1] (void release()): (soft) log != null
    //#pre[3] (void release()): (soft) this.autoPingManager != null
    //#pre[4] (void release()): (soft) this.autoPingManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl, org/apache/roller/weblogger/business/pings/AutoPingManager}
    //#pre[5] (void release()): (soft) this.bookmarkManager != null
    //#pre[6] (void release()): (soft) this.bookmarkManager.__Tag in {org/apache/roller/weblogger/business/BookmarkManager, org/apache/roller/weblogger/business/jpa/JPABookmarkManagerImpl}
    //#pre[7] (void release()): (soft) this.fileManager != null
    //#pre[8] (void release()): (soft) this.fileManager.__Tag in {org/apache/roller/weblogger/business/FileManager, org/apache/roller/weblogger/business/FileManagerImpl}
    //#pre[9] (void release()): (soft) this.pingQueueManager != null
    //#pre[10] (void release()): (soft) this.pingQueueManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAPingQueueManagerImpl, org/apache/roller/weblogger/business/pings/PingQueueManager}
    //#pre[11] (void release()): (soft) this.pingTargetManager != null
    //#pre[12] (void release()): (soft) this.pingTargetManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl, org/apache/roller/weblogger/business/pings/PingTargetManager}
    //#pre[13] (void release()): (soft) this.pluginManager != null
    //#pre[14] (void release()): (soft) this.pluginManager.__Tag in {org/apache/roller/weblogger/business/plugins/PluginManager, org/apache/roller/weblogger/business/plugins/PluginManagerImpl}
    //#pre[15] (void release()): (soft) this.refererManager != null
    //#pre[16] (void release()): (soft) this.refererManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPARefererManagerImpl, org/apache/roller/weblogger/business/referrers/RefererManager}
    //#pre[17] (void release()): (soft) this.threadManager != null
    //#pre[18] (void release()): (soft) this.threadManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl, org/apache/roller/weblogger/business/runnable/ThreadManager, org/apache/roller/weblogger/business/runnable/ThreadManagerImpl}
    //#pre[19] (void release()): (soft) this.userManager != null
    //#pre[20] (void release()): (soft) this.userManager.__Tag in {org/apache/roller/weblogger/business/UserManager, org/apache/roller/weblogger/business/jpa/JPAUserManagerImpl}
    //#pre[21] (void release()): (soft) this.weblogManager != null
    //#pre[22] (void release()): (soft) this.weblogManager.__Tag in {org/apache/roller/weblogger/business/WeblogManager, org/apache/roller/weblogger/business/jpa/JPAWeblogManagerImpl}
            bookmarkManager.release();
            fileManager.release();
            pingTargetManager.release();
            pingQueueManager.release();
            pluginManager.release();
            refererManager.release();
            threadManager.release();
            userManager.release();
            weblogManager.release();
        } catch(Throwable e) {
            log.error("Error calling Roller.release()", e);
    //#WebloggerImpl.java:287: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void release()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }
    }
    //#WebloggerImpl.java:289: end of method: void org.apache.roller.weblogger.business.WebloggerImpl.release()
    
    
    /**
     * @inheritDoc
     */
    public void initialize() throws InitializationException {
        
        log.info("Initializing Roller Weblogger business tier");
    //#WebloggerImpl.java:297: method: void org.apache.roller.weblogger.business.WebloggerImpl.initialize()
    //#WebloggerImpl.java:297: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [9]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [33]
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for this.indexManager.roller.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [39]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for this.indexManager.roller.threadManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [41]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for this.themeManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [52]
    //#WebloggerImpl.java:297: Warning: suspicious precondition
    //#    the precondition for this.threadManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    suspicious precondition index: [56]
    //#input(void initialize()): " ... setting value to ["._tainted
    //#input(void initialize()): " themes from disk."._tainted
    //#input(void initialize()): "' from configuration properties."._tainted
    //#input(void initialize()): "' has an empty variant options list.  Ignored."._tainted
    //#input(void initialize()): "' is not present in the configuration.  Using default value: "._tainted
    //#input(void initialize()): "'. Skipping this target. Check your setting of the property "._tainted
    //#input(void initialize()): "'. Skipping this variant. Check your setting of the property "._tainted
    //#input(void initialize()): ".class"._tainted
    //#input(void initialize()): ":"._tainted
    //#input(void initialize()): "="._tainted
    //#input(void initialize()): "Couldn't load stylesheet theme ["._tainted
    //#input(void initialize()): "Couldn't load theme ["._tainted
    //#input(void initialize()): "Couldn't read  theme ["._tainted
    //#input(void initialize()): "Couldn't read theme ["._tainted
    //#input(void initialize()): "Creating common ping target '"._tainted
    //#input(void initialize()): "Exception reading theme ["._tainted
    //#input(void initialize()): "Fetching property ["._tainted
    //#input(void initialize()): "Found uninitialized property "._tainted
    //#input(void initialize()): "Initializing task: "._tainted
    //#input(void initialize()): "Loaded "._tainted
    //#input(void initialize()): "Loading Theme "._tainted
    //#input(void initialize()): "Parsing theme descriptor for "._tainted
    //#input(void initialize()): "Ping variant entry for url '"._tainted
    //#input(void initialize()): "PingConfig property '"._tainted
    //#input(void initialize()): "Problem reading theme "._tainted
    //#input(void initialize()): "Starting scheduled index operation: "._tainted
    //#input(void initialize()): "Unable to parse configured initial ping target '"._tainted
    //#input(void initialize()): "Unable to parse configured ping variant '"._tainted
    //#input(void initialize()): "Unable to parse theme descriptor for theme "._tainted
    //#input(void initialize()): "] preview image file ["._tainted
    //#input(void initialize()): "] resource file ["._tainted
    //#input(void initialize()): "] template file ["._tainted
    //#input(void initialize()): "]"._tainted
    //#input(void initialize()): "pings.disablePingUsage"._tainted
    //#input(void initialize()): "pings.disallowCustomTargets"._tainted
    //#input(void initialize()): "pings.initialCommonTargets"._tainted
    //#input(void initialize()): "pings.variantOptions"._tainted
    //#input(void initialize()): "tasks."._tainted
    //#input(void initialize()): "tasks.enabled"._tainted
    //#input(void initialize()): "theme.xml"._tainted
    //#input(void initialize()): __Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(void initialize()): __Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(void initialize()): __Descendant_Table[others]
    //#input(void initialize()): __Dispatch_Table.getAutopingManager()Lorg/apache/roller/weblogger/business/pings/AutoPingManager;
    //#input(void initialize()): __Dispatch_Table.getIndexManager()Lorg/apache/roller/weblogger/business/search/IndexManager;
    //#input(void initialize()): __Dispatch_Table.getPingTargetManager()Lorg/apache/roller/weblogger/business/pings/PingTargetManager;
    //#input(void initialize()): __Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(void initialize()): __Dispatch_Table.getThemeManager()Lorg/apache/roller/weblogger/business/themes/ThemeManager;
    //#input(void initialize()): __Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void initialize()): log
    //#input(void initialize()): org/apache/roller/weblogger/business/GuiceWebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void initialize()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/PropertiesManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/PropertiesManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/PropertiesManager.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getAutopingManager()Lorg/apache/roller/weblogger/business/pings/AutoPingManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getPingTargetManager()Lorg/apache/roller/weblogger/business/pings/PingTargetManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager.strategy
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager.strategy.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager.strategy.emf
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.autoPingManager.strategy.threadLocalEntityManager
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.pingTargetManager
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.pingTargetManager.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.pingTargetManager.strategy
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.pingTargetManager.strategy.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance.pingTargetManager.strategy.threadLocalEntityManager
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/GuiceWebloggerProvider]
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerProvider]
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerProvider.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/WebloggerProvider.__Dispatch_Table.getWeblogger()Lorg/apache/roller/weblogger/business/Weblogger;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl.__Dispatch_Table.removeAllAutoPings()V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl.__Dispatch_Table.removeAutoPings(Ljava/util/Collection;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.getNamedQuery(Ljava/lang/String;)Ljavax/persistence/Query;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.getNamedUpdate(Ljava/lang/String;)Ljavax/persistence/Query;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.removeAll(Ljava/util/Collection;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.__Dispatch_Table.store(Ljava/lang/Object;)Ljava/lang/Object;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy.javax.persistence.FlushModeType.COMMIT
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl.__Dispatch_Table.getCommonPingTargets()Ljava/util/List;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl.__Dispatch_Table.removeAllCustomPingTargets()V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl.__Dispatch_Table.savePingTarget(Lorg/apache/roller/weblogger/pojos/PingTarget;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.getProperties()Ljava/util/Map;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.__Dispatch_Table.saveProperties(Ljava/util/Map;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.log
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getAutopingManager()Lorg/apache/roller/weblogger/business/pings/AutoPingManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getIndexManager()Lorg/apache/roller/weblogger/business/search/IndexManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPingTargetManager()Lorg/apache/roller/weblogger/business/pings/PingTargetManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getPropertiesManager()Lorg/apache/roller/weblogger/business/PropertiesManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getThemeManager()Lorg/apache/roller/weblogger/business/themes/ThemeManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[org/apache/roller/weblogger/business/pings/AutoPingManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/AutoPingManager.__Dispatch_Table.removeAllAutoPings()V
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingQueueTask.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingQueueTask.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[org/apache/roller/weblogger/business/pings/PingTargetManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Dispatch_Table.getCommonPingTargets()Ljava/util/List;
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Dispatch_Table.removeAllCustomPingTargets()V
    //#input(void initialize()): org/apache/roller/weblogger/business/pings/PingTargetManager.__Dispatch_Table.savePingTarget(Lorg/apache/roller/weblogger/pojos/PingTarget;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ResetHitCountsTask.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ResetHitCountsTask.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/pings/PingQueueTask]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ResetHitCountsTask]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/runnable/RollerTaskWithLeasing]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/runnable/RollerTask]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ScheduledEntriesTask]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[org/apache/roller/weblogger/business/runnable/TurnoverReferersTask]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTask.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTaskWithLeasing.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/RollerTaskWithLeasing.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ScheduledEntriesTask.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ScheduledEntriesTask.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.log
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/TurnoverReferersTask.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/runnable/TurnoverReferersTask.__Dispatch_Table.init()V
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[org/apache/roller/weblogger/business/search/IndexManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[org/apache/roller/weblogger/business/search/IndexManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManager.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Descendant_Table[org/apache/roller/weblogger/business/search/IndexManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Dispatch_Table.getFSDirectory(Z)Lorg/apache/lucene/store/Directory;
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Dispatch_Table.isInconsistentAtStartup()Z
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Dispatch_Table.rebuildWebsiteIndex()V
    //#input(void initialize()): org/apache/roller/weblogger/business/search/IndexManagerImpl.mLogger
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Descendant_Table[org/apache/roller/weblogger/business/themes/SharedThemeFromDir]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setDescription(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setEnabled(Z)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setId(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setLastModified(Ljava/util/Date;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.java.io.File.separator
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.java.io.File.separator._tainted
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/SharedThemeFromDir.log
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManager.__Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeManagerImpl]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManager.__Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeManager]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManager.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManager.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManagerImpl.__Dispatch_Table.initialize()V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManagerImpl.java.io.File.separator
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManagerImpl.java.io.File.separator._tainted
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeManagerImpl.log
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeMetadata]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.addResource(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.addTemplate(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getPreviewImage()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getResources()Ljava/util/Set;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getStylesheet()Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.getTemplates()Ljava/util/Set;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.setId(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.setPreviewImage(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadata.__Dispatch_Table.setStylesheet(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataParser.__Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeMetadataParser]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataParser.__Dispatch_Table.unmarshall(Ljava/io/InputStream;)Lorg/apache/roller/weblogger/business/themes/ThemeMetadata;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getAction()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getContentsFile()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getDescription()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getLink()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.getTemplateLanguage()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.isHidden()Z
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.isNavbar()Z
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setAction(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setContentType(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setContentsFile(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setDescription(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setHidden(Z)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setLink(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setNavbar(Z)V
    //#input(void initialize()): org/apache/roller/weblogger/business/themes/ThemeMetadataTemplate.__Dispatch_Table.setTemplateLanguage(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/PingConfig.NESTED_BRACE_PAIR
    //#input(void initialize()): org/apache/roller/weblogger/config/PingConfig.configuredVariants
    //#input(void initialize()): org/apache/roller/weblogger/config/PingConfig.logger
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerConfig.config
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerConfig.log
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs.__Tag
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.log
    //#input(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.runtime_config
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Descendant_Table[org/apache/roller/weblogger/config/runtime/ConfigDef]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Dispatch_Table.addDisplayGroup(Lorg/apache/roller/weblogger/config/runtime/DisplayGroup;)Z
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Dispatch_Table.getDisplayGroups()Ljava/util/List;
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/ConfigDef.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Descendant_Table[org/apache/roller/weblogger/config/runtime/DisplayGroup]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.addPropertyDef(Lorg/apache/roller/weblogger/config/runtime/PropertyDef;)Z
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.getPropertyDefs()Ljava/util/List;
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.setKey(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/DisplayGroup.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Descendant_Table[org/apache/roller/weblogger/config/runtime/PropertyDef]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.getDefaultValue()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setCols(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setDefaultValue(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setKey(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setRows(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/PropertyDef.__Dispatch_Table.setType(Ljava/lang/String;)V
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Descendant_Table[org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Descendant_Table[others]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Dispatch_Table.addConfigDef(Lorg/apache/roller/weblogger/config/runtime/ConfigDef;)Z
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefs.__Dispatch_Table.getConfigDefs()Ljava/util/List;
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser.__Descendant_Table[org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser]
    //#input(void initialize()): org/apache/roller/weblogger/config/runtime/RuntimeConfigDefsParser.__Dispatch_Table.unmarshall(Ljava/io/InputStream;)Lorg/apache/roller/weblogger/config/runtime/RuntimeConfigDefs;
    //#input(void initialize()): this
    //#input(void initialize()): this.__Tag
    //#input(void initialize()): this.indexManager
    //#input(void initialize()): this.indexManager.__Tag
    //#input(void initialize()): this.indexManager.inconsistentAtStartup
    //#input(void initialize()): this.indexManager.indexConsistencyMarker
    //#input(void initialize()): this.indexManager.indexDir
    //#input(void initialize()): this.indexManager.roller
    //#input(void initialize()): this.indexManager.roller.__Tag
    //#input(void initialize()): this.indexManager.roller.threadManager
    //#input(void initialize()): this.indexManager.roller.threadManager.__Tag
    //#input(void initialize()): this.indexManager.roller.threadManager.serviceScheduler
    //#input(void initialize()): this.indexManager.searchEnabled
    //#input(void initialize()): this.indexManager.useRAMIndex
    //#input(void initialize()): this.propertiesManager
    //#input(void initialize()): this.propertiesManager.__Tag
    //#input(void initialize()): this.propertiesManager.strategy
    //#input(void initialize()): this.propertiesManager.strategy.__Tag
    //#input(void initialize()): this.propertiesManager.strategy.emf
    //#input(void initialize()): this.propertiesManager.strategy.threadLocalEntityManager
    //#input(void initialize()): this.themeManager
    //#input(void initialize()): this.themeManager.__Tag
    //#input(void initialize()): this.themeManager.themeDir
    //#input(void initialize()): this.themeManager.themeDir._tainted
    //#input(void initialize()): this.threadManager
    //#input(void initialize()): this.threadManager.__Tag
    //#input(void initialize()): this.threadManager.schedulerThread
    //#output(void initialize()): new ArrayList(RuntimeConfigDefs#1) num objects
    //#output(void initialize()): new HashMap(loadAllThemesFromDisk#1) num objects
    //#output(void initialize()): new PingQueueProcessor(init#1*) num objects
    //#output(void initialize()): new PingQueueProcessor(init#1*).__Tag
    //#output(void initialize()): new PingQueueProcessor(init#1*).pingQueueMgr
    //#output(void initialize()): new RAMDirectory(initialize#2*) num objects
    //#output(void initialize()): new RAMDirectory(initialize#3*) num objects
    //#output(void initialize()): new RuntimeConfigDefs(unmarshall#1) num objects
    //#output(void initialize()): new RuntimeConfigDefs(unmarshall#1).__Tag
    //#output(void initialize()): new RuntimeConfigDefs(unmarshall#1).configDefs
    //#output(void initialize()): new Thread(initialize#8*) num objects
    //#output(void initialize()): org/apache/roller/weblogger/business/pings/PingQueueProcessor.theInstance
    //#output(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs
    //#output(void initialize()): this.indexManager.fRAMindex
    //#output(void initialize()): this.indexManager.inconsistentAtStartup
    //#output(void initialize()): this.themeManager.themes
    //#output(void initialize()): this.threadManager.schedulerThread
    //#new obj(void initialize()): new ArrayList(RuntimeConfigDefs#1)
    //#new obj(void initialize()): new HashMap(loadAllThemesFromDisk#1)
    //#new obj(void initialize()): new PingQueueProcessor(init#1*)
    //#new obj(void initialize()): new RAMDirectory(initialize#2*)
    //#new obj(void initialize()): new RAMDirectory(initialize#3*)
    //#new obj(void initialize()): new RuntimeConfigDefs(unmarshall#1)
    //#new obj(void initialize()): new Thread(initialize#8*)
    //#pre[1] (void initialize()): log != null
    //#pre[3] (void initialize()): init'ed(org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs)
    //#pre[7] (void initialize()): init'ed(this.threadManager.schedulerThread)
    //#pre[25] (void initialize()): org/apache/roller/weblogger/business/themes/ThemeManagerImpl.log != null
    //#pre[26] (void initialize()): org/apache/roller/weblogger/config/WebloggerConfig.config != null
    //#pre[27] (void initialize()): org/apache/roller/weblogger/config/WebloggerConfig.log != null
    //#pre[33] (void initialize()): this.__Tag in {org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#pre[34] (void initialize()): this.indexManager != null
    //#pre[43] (void initialize()): init'ed(this.indexManager.searchEnabled)
    //#pre[45] (void initialize()): this.propertiesManager != null
    //#pre[46] (void initialize()): this.propertiesManager.__Tag == org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl
    //#pre[47] (void initialize()): this.propertiesManager.strategy != null
    //#pre[48] (void initialize()): this.propertiesManager.strategy.__Tag == org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy
    //#pre[50] (void initialize()): this.propertiesManager.strategy.threadLocalEntityManager != null
    //#pre[51] (void initialize()): this.themeManager != null
    //#pre[52] (void initialize()): this.themeManager.__Tag in {org/apache/roller/weblogger/business/themes/ThemeManager, org/apache/roller/weblogger/business/themes/ThemeManagerImpl}
    //#pre[53] (void initialize()): init'ed(this.themeManager.themeDir)
    //#pre[55] (void initialize()): this.threadManager != null
    //#pre[56] (void initialize()): this.threadManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl, org/apache/roller/weblogger/business/runnable/ThreadManager, org/apache/roller/weblogger/business/runnable/ThreadManagerImpl}
    //#pre[5] (void initialize()): (soft) init'ed(this.indexManager.inconsistentAtStartup)
    //#pre[8] (void initialize()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider != null
    //#pre[9] (void initialize()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.__Tag in {org/apache/roller/weblogger/business/GuiceWebloggerProvider, org/apache/roller/weblogger/business/WebloggerProvider}
    //#pre[10] (void initialize()): (soft) org/apache/roller/weblogger/business/WebloggerFactory.webloggerProvider.webloggerInstance != null
    //#pre[18] (void initialize()): (soft) org/apache/roller/weblogger/business/jpa/JPAPropertiesManagerImpl.log != null
    //#pre[23] (void initialize()): (soft) org/apache/roller/weblogger/business/search/IndexManagerImpl.mLogger != null
    //#pre[24] (void initialize()): (soft) org/apache/roller/weblogger/business/themes/SharedThemeFromDir.log != null
    //#pre[30] (void initialize()): (soft) org/apache/roller/weblogger/config/WebloggerRuntimeConfig.log != null
    //#pre[31] (void initialize()): (soft) init'ed(org/apache/roller/weblogger/config/WebloggerRuntimeConfig.runtime_config)
    //#pre[35] (void initialize()): (soft) this.indexManager.__Tag == org/apache/roller/weblogger/business/search/IndexManagerImpl
    //#pre[36] (void initialize()): (soft) this.indexManager.indexConsistencyMarker != null
    //#pre[37] (void initialize()): (soft) init'ed(this.indexManager.indexDir)
    //#pre[38] (void initialize()): (soft) this.indexManager.roller != null
    //#pre[39] (void initialize()): (soft) this.indexManager.roller.__Tag in {org/apache/roller/weblogger/business/Weblogger, org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#pre[40] (void initialize()): (soft) this.indexManager.roller.threadManager != null
    //#pre[41] (void initialize()): (soft) this.indexManager.roller.threadManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl, org/apache/roller/weblogger/business/runnable/ThreadManager, org/apache/roller/weblogger/business/runnable/ThreadManagerImpl}
    //#pre[42] (void initialize()): (soft) this.indexManager.roller.threadManager.serviceScheduler != null
    //#pre[44] (void initialize()): (soft) init'ed(this.indexManager.useRAMIndex)
    //#pre[49] (void initialize()): (soft) this.propertiesManager.strategy.emf != null
    //#presumption(void initialize()): getAutopingManager(...).__Tag == org/apache/roller/weblogger/business/jpa/JPAAutoPingManagerImpl
    //#presumption(void initialize()): getAutopingManager(...).strategy != null
    //#presumption(void initialize()): getAutopingManager(...).strategy.__Tag == org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy
    //#presumption(void initialize()): getAutopingManager(...).strategy.emf != null
    //#presumption(void initialize()): getAutopingManager(...).strategy.threadLocalEntityManager != null
    //#presumption(void initialize()): getPingTargetManager(...).__Tag in {org/apache/roller/weblogger/business/jpa/JPAPingTargetManagerImpl, org/apache/roller/weblogger/business/pings/PingTargetManager}
    //#presumption(void initialize()): getPingTargetManager(...).strategy != null
    //#presumption(void initialize()): getPingTargetManager(...).strategy.__Tag == org/apache/roller/weblogger/business/jpa/JPAPersistenceStrategy
    //#presumption(void initialize()): getPingTargetManager(...).strategy.emf != null
    //#presumption(void initialize()): getPingTargetManager(...).strategy.threadLocalEntityManager != null
    //#presumption(void initialize()): getWeblogger(...).__Tag in {org/apache/roller/weblogger/business/Weblogger, org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#presumption(void initialize()): getWeblogger(...).__Tag in {org/apache/roller/weblogger/business/Weblogger, org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#presumption(void initialize()): getWeblogger(...).autoPingManager != null
    //#presumption(void initialize()): getWeblogger(...).pingTargetManager != null
    //#post(void initialize()): org/apache/roller/weblogger/business/pings/PingQueueProcessor.theInstance == old org/apache/roller/weblogger/business/pings/PingQueueProcessor.theInstance
    //#post(void initialize()): org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs == One-of{old org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs, &new RuntimeConfigDefs(unmarshall#1)}
    //#post(void initialize()): init'ed(org/apache/roller/weblogger/config/WebloggerRuntimeConfig.configDefs)
    //#post(void initialize()): this.indexManager.fRAMindex == One-of{old this.indexManager.fRAMindex, &new RAMDirectory(initialize#2*), &new RAMDirectory(initialize#3*)}
    //#post(void initialize()): init'ed(this.indexManager.inconsistentAtStartup)
    //#post(void initialize()): this.themeManager.themes == One-of{old this.themeManager.themes, &new HashMap(loadAllThemesFromDisk#1)}
    //#post(void initialize()): this.threadManager.schedulerThread == One-of{old this.threadManager.schedulerThread, &new Thread(initialize#8*)}
    //#post(void initialize()): this.threadManager.schedulerThread != null
    //#post(void initialize()): new ArrayList(RuntimeConfigDefs#1) num objects <= 1
    //#post(void initialize()): new RuntimeConfigDefs(unmarshall#1) num objects == new ArrayList(RuntimeConfigDefs#1) num objects
    //#post(void initialize()): new HashMap(loadAllThemesFromDisk#1) num objects <= 1
    //#post(void initialize()): new PingQueueProcessor(init#1*) num objects == undefined
    //#post(void initialize()): new PingQueueProcessor(init#1*) num objects == 0, if init'ed
    //#post(void initialize()): new PingQueueProcessor(init#1*).__Tag not init'ed, if init'ed
    //#post(void initialize()): new PingQueueProcessor(init#1*).pingQueueMgr == null
    //#post(void initialize()): new RAMDirectory(initialize#2*) num objects <= 1
    //#post(void initialize()): new RAMDirectory(initialize#3*) num objects <= 1
    //#post(void initialize()): init'ed(new RuntimeConfigDefs(unmarshall#1).__Tag)
    //#post(void initialize()): init'ed(new RuntimeConfigDefs(unmarshall#1).configDefs)
    //#post(void initialize()): new Thread(initialize#8*) num objects <= 1
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.ThreadLocal:get
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManagerFactory:createEntityManager
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.ThreadLocal:set
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManager:getTransaction
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityTransaction:isActive
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityTransaction:begin
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManager:createNamedQuery
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.Query:setFlushMode
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.Query:getResultList
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty:getName
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.HashMap:put
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManager:contains
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManager:persist
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void initialize()): Effects-of-calling:getRuntimeConfigDefs
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.RuntimeConfigProperty
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:info
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Map:size
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:fatal
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.RuntimeException
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:list
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:warn
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.lang.StringUtils:replace
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeTemplate:getName
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeTemplate:getLink
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.ThemeTemplate:getAction
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:canRead
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:length
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.InputStreamReader
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.InputStreamReader:read
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String
    //#unanalyzed(void initialize()): Effects-of-calling:getName
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:isDebugEnabled
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.Element:getChildText
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.lang.StringUtils:isEmpty
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.input.SAXBuilder
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.input.SAXBuilder:build
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void initialize()): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Set:add
    //#unanalyzed(void initialize()): Effects-of-calling:setId
    //#unanalyzed(void initialize()): Effects-of-calling:setName
    //#unanalyzed(void initialize()): Effects-of-calling:setDescription
    //#unanalyzed(void initialize()): Effects-of-calling:setAuthor
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Date
    //#unanalyzed(void initialize()): Effects-of-calling:setLastModified
    //#unanalyzed(void initialize()): Effects-of-calling:setEnabled
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:lastModified
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.WebloggerException
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.RollerException
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.business.themes.SharedTheme
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.Theme:getId
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.lang.StringUtils:split
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.commons.lang.StringUtils:stripAll
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Class:forName
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Class:newInstance
    //#unanalyzed(void initialize()): Effects-of-calling:getTaskProperties
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void initialize()): Effects-of-calling:getWeblogger
    //#unanalyzed(void initialize()): Effects-of-calling:getPingQueueManager
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.business.runnable.ThreadManagerImpl:getTaskLockByName
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.TaskLock
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.TaskLock:setName
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.TaskLock:setLastRun
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.TaskLock:setTimeAquired
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.TaskLock:setTimeLeased
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.business.runnable.ThreadManagerImpl:saveTaskLock
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.concurrent.Executors:newCachedThreadPool
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Thread
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Thread:setPriority
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Thread:start
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.index.IndexReader:indexExists
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.analysis.standard.StandardAnalyzer
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.index.IndexWriter
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.index.IndexWriter:close
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.store.FSDirectory:getDirectory
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.business.search.operations.WriteToIndexOperation
    //#unanalyzed(void initialize()): Effects-of-calling:scheduleIndexOperation
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void initialize()): Effects-of-calling:getThreadManager
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.concurrent.ExecutorService:submit
    //#unanalyzed(void initialize()): Effects-of-calling:executeInBackground
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:mkdirs
    //#unanalyzed(void initialize()): Effects-of-calling:java.io.File:createNewFile
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.lucene.store.RAMDirectory
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void initialize()): Effects-of-calling:getPingTargetManager
    //#unanalyzed(void initialize()): Effects-of-calling:getCommonPingTargets
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.List:isEmpty
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.regex.Matcher:groupCount
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.regex.Matcher:group
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.pojos.PingTarget
    //#unanalyzed(void initialize()): Effects-of-calling:savePingTarget
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Set:isEmpty
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.Query:executeUpdate
    //#unanalyzed(void initialize()): Effects-of-calling:removeAutoPings
    //#unanalyzed(void initialize()): Effects-of-calling:javax.persistence.EntityManager:remove
    //#unanalyzed(void initialize()): Effects-of-calling:org.apache.roller.weblogger.business.search.operations.IndexOperation
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.Class:getResourceAsStream
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Properties
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Properties:keys
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Enumeration:hasMoreElements
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Enumeration:nextElement
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void initialize()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void initialize()): Effects-of-calling:java.util.Properties:setProperty
    //#unanalyzed(void initialize()): Effects-of-calling:init
        
        // TODO: this should probably be done in a more uniform fashion, possibly
        // using annotations?  biggest issue is controlling ordering
        getPropertiesManager().initialize();
        getThemeManager().initialize();
        getThreadManager().initialize();
        getIndexManager().initialize();
        
        try {
            // Initialize ping systems
            // TODO: this should probably be moving inside ping manager initialize() methods?
            
            // Initialize common targets from the configuration
            PingConfig.initializeCommonTargets();
            
            // Initialize ping variants
            PingConfig.initializePingVariants();
            
            // Remove custom ping targets if they have been disallowed
            if (PingConfig.getDisallowCustomTargets()) {
                log.info("Custom ping targets have been disallowed.  Removing any existing custom targets.");
    //#WebloggerImpl.java:318: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
                WebloggerFactory.getWeblogger().getPingTargetManager().removeAllCustomPingTargets();
            }
            
            // Remove all autoping configurations if ping usage has been disabled.
            if (PingConfig.getDisablePingUsage()) {
                log.info("Ping usage has been disabled.  Removing any existing auto ping configurations.");
    //#WebloggerImpl.java:324: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
                WebloggerFactory.getWeblogger().getAutopingManager().removeAllAutoPings();
            }
        } catch (Throwable t) {
            throw new InitializationException("Error initializing ping systems", t);
        }
        
        // we always need to do a flush after initialization because it's
        // possible that some changes need to be persisted
        try {
            flush();
    //#WebloggerImpl.java:334: Warning: method not available
    //#    -- call on void org.apache.roller.weblogger.business.WebloggerImpl:flush()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    unanalyzed callee: void org.apache.roller.weblogger.business.WebloggerImpl:flush()
        } catch(WebloggerException ex) {
            throw new InitializationException("Error flushing after initialization", ex);
        } 
        
        log.info("Roller Weblogger business tier successfully initialized");
    //#WebloggerImpl.java:339: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void initialize()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
    }
    //#WebloggerImpl.java:340: end of method: void org.apache.roller.weblogger.business.WebloggerImpl.initialize()
    
    
    /**
     * @inheritDoc
     */
    public void shutdown() {
        try {
            HitCountQueue.getInstance().shutdown();
    //#WebloggerImpl.java:348: method: void org.apache.roller.weblogger.business.WebloggerImpl.shutdown()
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [9]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.indexManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [11]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.indexManager.roller.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [15]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.indexManager.roller.threadManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [17]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.refererQueueManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [22]
    //#    Attribs:  Soft
    //#WebloggerImpl.java:348: Warning: suspicious precondition
    //#    the precondition for this.threadManager.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    suspicious precondition index: [25]
    //#    Attribs:  Soft
    //#input(void shutdown()): "Starting scheduled index operation: "._tainted
    //#input(void shutdown()): "stopping worker "._tainted
    //#input(void shutdown()): __Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(void shutdown()): __Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(void shutdown()): __Descendant_Table[others]
    //#input(void shutdown()): __Dispatch_Table.getReferrerQueueManager()Lorg/apache/roller/weblogger/business/referrers/ReferrerQueueManager;
    //#input(void shutdown()): __Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void shutdown()): log
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.__Descendant_Table[org/apache/roller/weblogger/business/HitCountQueue]
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.instance
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.instance.__Tag
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.instance.worker
    //#input(void shutdown()): org/apache/roller/weblogger/business/HitCountQueue.log
    //#input(void shutdown()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/WebloggerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/Weblogger]
    //#input(void shutdown()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/Weblogger.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/Weblogger.__Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void shutdown()): org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void shutdown()): org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getReferrerQueueManager()Lorg/apache/roller/weblogger/business/referrers/ReferrerQueueManager;
    //#input(void shutdown()): org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl.__Dispatch_Table.getThreadManager()Lorg/apache/roller/weblogger/business/runnable/ThreadManager;
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManager.__Descendant_Table[org/apache/roller/weblogger/business/referrers/ReferrerQueueManagerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManager.__Descendant_Table[org/apache/roller/weblogger/business/referrers/ReferrerQueueManager]
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManager.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManager.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManagerImpl.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/referrers/ReferrerQueueManagerImpl.mLogger
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManagerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ThreadManager]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManager.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.__Dispatch_Table.executeInBackground(Ljava/lang/Runnable;)V
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/ThreadManagerImpl.log
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/WorkerThread.__Descendant_Table[org/apache/roller/weblogger/business/runnable/ContinuousWorkerThread]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/WorkerThread.__Descendant_Table[org/apache/roller/weblogger/business/runnable/WorkerThread]
    //#input(void shutdown()): org/apache/roller/weblogger/business/runnable/WorkerThread.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[org/apache/roller/weblogger/business/search/IndexManagerImpl]
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[org/apache/roller/weblogger/business/search/IndexManager]
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManager.__Descendant_Table[others]
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManager.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManagerImpl.__Dispatch_Table.shutdown()V
    //#input(void shutdown()): org/apache/roller/weblogger/business/search/IndexManagerImpl.mLogger
    //#input(void shutdown()): this
    //#input(void shutdown()): this.__Tag
    //#input(void shutdown()): this.indexManager
    //#input(void shutdown()): this.indexManager.__Tag
    //#input(void shutdown()): this.indexManager.indexConsistencyMarker
    //#input(void shutdown()): this.indexManager.reader
    //#input(void shutdown()): this.indexManager.roller
    //#input(void shutdown()): this.indexManager.roller.__Tag
    //#input(void shutdown()): this.indexManager.roller.threadManager
    //#input(void shutdown()): this.indexManager.roller.threadManager.__Tag
    //#input(void shutdown()): this.indexManager.roller.threadManager.serviceScheduler
    //#input(void shutdown()): this.indexManager.searchEnabled
    //#input(void shutdown()): this.indexManager.useRAMIndex
    //#input(void shutdown()): this.refererQueueManager
    //#input(void shutdown()): this.refererQueueManager.__Tag
    //#input(void shutdown()): this.refererQueueManager.workers
    //#input(void shutdown()): this.threadManager
    //#input(void shutdown()): this.threadManager.__Tag
    //#input(void shutdown()): this.threadManager.schedulerThread
    //#input(void shutdown()): this.threadManager.serviceScheduler
    //#pre[1] (void shutdown()): (soft) log != null
    //#pre[2] (void shutdown()): (soft) org/apache/roller/weblogger/business/HitCountQueue.instance != null
    //#pre[3] (void shutdown()): (soft) org/apache/roller/weblogger/business/HitCountQueue.instance.__Tag == org/apache/roller/weblogger/business/HitCountQueue
    //#pre[4] (void shutdown()): (soft) init'ed(org/apache/roller/weblogger/business/HitCountQueue.instance.worker)
    //#pre[5] (void shutdown()): (soft) org/apache/roller/weblogger/business/HitCountQueue.log != null
    //#pre[6] (void shutdown()): (soft) org/apache/roller/weblogger/business/referrers/ReferrerQueueManagerImpl.mLogger != null
    //#pre[7] (void shutdown()): (soft) org/apache/roller/weblogger/business/search/IndexManagerImpl.mLogger != null
    //#pre[9] (void shutdown()): (soft) this.__Tag in {org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#pre[11] (void shutdown()): (soft) this.indexManager.__Tag in {org/apache/roller/weblogger/business/search/IndexManager, org/apache/roller/weblogger/business/search/IndexManagerImpl}
    //#pre[12] (void shutdown()): (soft) this.indexManager.indexConsistencyMarker != null
    //#pre[13] (void shutdown()): (soft) init'ed(this.indexManager.reader)
    //#pre[14] (void shutdown()): (soft) this.indexManager.roller != null
    //#pre[15] (void shutdown()): (soft) this.indexManager.roller.__Tag in {org/apache/roller/weblogger/business/Weblogger, org/apache/roller/weblogger/business/WebloggerImpl, org/apache/roller/weblogger/business/jpa/JPAWebloggerImpl}
    //#pre[16] (void shutdown()): (soft) this.indexManager.roller.threadManager != null
    //#pre[17] (void shutdown()): (soft) this.indexManager.roller.threadManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl, org/apache/roller/weblogger/business/runnable/ThreadManager, org/apache/roller/weblogger/business/runnable/ThreadManagerImpl}
    //#pre[18] (void shutdown()): (soft) this.indexManager.roller.threadManager.serviceScheduler != null
    //#pre[19] (void shutdown()): (soft) init'ed(this.indexManager.searchEnabled)
    //#pre[20] (void shutdown()): (soft) init'ed(this.indexManager.useRAMIndex)
    //#pre[22] (void shutdown()): (soft) this.refererQueueManager.__Tag in {org/apache/roller/weblogger/business/referrers/ReferrerQueueManager, org/apache/roller/weblogger/business/referrers/ReferrerQueueManagerImpl}
    //#pre[23] (void shutdown()): (soft) init'ed(this.refererQueueManager.workers)
    //#pre[25] (void shutdown()): (soft) this.threadManager.__Tag in {org/apache/roller/weblogger/business/jpa/JPAThreadManagerImpl, org/apache/roller/weblogger/business/runnable/ThreadManager, org/apache/roller/weblogger/business/runnable/ThreadManagerImpl}
    //#pre[26] (void shutdown()): (soft) init'ed(this.threadManager.schedulerThread)
    //#pre[27] (void shutdown()): (soft) this.threadManager.serviceScheduler != null
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.commons.logging.Log:debug
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void shutdown()): Effects-of-calling:scheduleIndexOperation
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void shutdown()): Effects-of-calling:getThreadManager
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.concurrent.ExecutorService:submit
    //#unanalyzed(void shutdown()): Effects-of-calling:executeInBackground
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.roller.weblogger.business.runnable.WorkerThread:getName
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.commons.logging.Log:info
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.roller.weblogger.business.runnable.WorkerThread:interrupt
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.roller.weblogger.business.search.operations.IndexOperation
    //#unanalyzed(void shutdown()): Effects-of-calling:java.io.File:delete
    //#unanalyzed(void shutdown()): Effects-of-calling:org.apache.lucene.index.IndexReader:close
    //#unanalyzed(void shutdown()): Effects-of-calling:java.util.concurrent.ExecutorService:shutdownNow
    //#unanalyzed(void shutdown()): Effects-of-calling:java.lang.Thread:interrupt
    //#test_vector(void shutdown()): this.indexManager: Addr_Set{null}, Inverse{null}
    //#test_vector(void shutdown()): this.refererQueueManager: Addr_Set{null}, Inverse{null}
    //#test_vector(void shutdown()): this.threadManager: Addr_Set{null}, Inverse{null}
            if (getReferrerQueueManager() != null) getReferrerQueueManager().shutdown();
            if (indexManager != null) indexManager.shutdown();
            if (threadManager != null) threadManager.shutdown();
        } catch(Throwable e) {
            log.error("Error calling Roller.shutdown()", e);
    //#WebloggerImpl.java:353: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:error(Object, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.business.WebloggerImpl
    //#    method: void shutdown()
    //#    unanalyzed callee: void org.apache.commons.logging.Log:error(Object, Throwable)
        }
    }
    //#WebloggerImpl.java:355: end of method: void org.apache.roller.weblogger.business.WebloggerImpl.shutdown()
    
    
    /**
     * Weblogger version
     */
    public String getVersion() {
        return version;
    //#WebloggerImpl.java:362: method: String org.apache.roller.weblogger.business.WebloggerImpl.getVersion()
    //#input(String getVersion()): this
    //#input(String getVersion()): this.version
    //#output(String getVersion()): return_value
    //#post(String getVersion()): return_value == this.version
    //#post(String getVersion()): init'ed(return_value)
    //#WebloggerImpl.java:362: end of method: String org.apache.roller.weblogger.business.WebloggerImpl.getVersion()
    }
    
    /**
     * Get source code repository revision # used to create build
     */
    public String getRevision() {
        return revision;
    //#WebloggerImpl.java:369: method: String org.apache.roller.weblogger.business.WebloggerImpl.getRevision()
    //#input(String getRevision()): this
    //#input(String getRevision()): this.revision
    //#output(String getRevision()): return_value
    //#post(String getRevision()): return_value == this.revision
    //#post(String getRevision()): init'ed(return_value)
    //#WebloggerImpl.java:369: end of method: String org.apache.roller.weblogger.business.WebloggerImpl.getRevision()
    }
        
    /**
     * Weblogger build time
     */
    public String getBuildTime() {
        return buildTime;
    //#WebloggerImpl.java:376: method: String org.apache.roller.weblogger.business.WebloggerImpl.getBuildTime()
    //#input(String getBuildTime()): this
    //#input(String getBuildTime()): this.buildTime
    //#output(String getBuildTime()): return_value
    //#post(String getBuildTime()): return_value == this.buildTime
    //#post(String getBuildTime()): init'ed(return_value)
    //#WebloggerImpl.java:376: end of method: String org.apache.roller.weblogger.business.WebloggerImpl.getBuildTime()
    }
    
    
    /**
     * Get username that built Weblogger
     */
    public String getBuildUser() {
        return buildUser;
    //#WebloggerImpl.java:384: method: String org.apache.roller.weblogger.business.WebloggerImpl.getBuildUser()
    //#input(String getBuildUser()): this
    //#input(String getBuildUser()): this.buildUser
    //#output(String getBuildUser()): return_value
    //#post(String getBuildUser()): return_value == this.buildUser
    //#post(String getBuildUser()): init'ed(return_value)
    //#WebloggerImpl.java:384: end of method: String org.apache.roller.weblogger.business.WebloggerImpl.getBuildUser()
    }
    
}
    //#WebloggerImpl.java:: end of class: org.apache.roller.weblogger.business.WebloggerImpl
