//# 0 errors, 75 messages
//#
/*
    //#pebblecontextlistener.java:1:1: class: net.sourceforge.pebble.web.listener.PebbleContextListener
 * Copyright (c) 2003-2006, Simon Brown
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in
 *     the documentation and/or other materials provided with the
 *     distribution.
 *
 *   - Neither the name of Pebble nor the names of its contributors may
 *     be used to endorse or promote products derived from this software
 *     without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package net.sourceforge.pebble.web.listener;

import net.sourceforge.pebble.Configuration;
import net.sourceforge.pebble.PebbleContext;
import net.sourceforge.pebble.dao.DAOFactory;
import net.sourceforge.pebble.domain.*;
import org.apache.commons.logging.Log;
import org.apache.commons.logging.LogFactory;
import org.springframework.context.ApplicationContext;
import org.springframework.web.context.support.WebApplicationContextUtils;

import javax.servlet.ServletContextEvent;
import javax.servlet.ServletContextListener;
import java.util.Collection;

/**
 * Allows the blog to be loaded when this web application is started up.
 *
 * @author    Simon Brown
 */
public class PebbleContextListener implements ServletContextListener {
    //#pebblecontextlistener.java:52: method: void net.sourceforge.pebble.web.listener.PebbleContextListener.net.sourceforge.pebble.web.listener.PebbleContextListener()
    //#pebblecontextlistener.java:52: end of method: void net.sourceforge.pebble.web.listener.PebbleContextListener.net.sourceforge.pebble.web.listener.PebbleContextListener()

  /** the log used by this class */
  private static Log log = LogFactory.getLog(PebbleContextListener.class);
    //#pebblecontextlistener.java:55: method: net.sourceforge.pebble.web.listener.PebbleContextListener.net.sourceforge.pebble.web.listener.PebbleContextListener__static_init
    //#pebblecontextlistener.java:55: Warning: method not available
    //#    -- call on Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: net.sourceforge.pebble.web.listener.PebbleContextListener__static_init
    //#    unanalyzed callee: Log org.apache.commons.logging.LogFactory:getLog(Class)
    //#output(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Descendant_Table[net/sourceforge/pebble/web/listener/PebbleContextListener]
    //#output(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Dispatch_Table.contextDestroyed(Ljavax/servlet/ServletContextEvent;)V
    //#output(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Dispatch_Table.contextInitialized(Ljavax/servlet/ServletContextEvent;)V
    //#output(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): log
    //#post(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Descendant_Table[net/sourceforge/pebble/web/listener/PebbleContextListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Dispatch_Table.contextDestroyed(Ljavax/servlet/ServletContextEvent;)V == &contextDestroyed
    //#post(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): __Dispatch_Table.contextInitialized(Ljavax/servlet/ServletContextEvent;)V == &contextInitialized
    //#post(net.sourceforge.pebble.web.listener.PebbleContextListener__static_init): init'ed(log)
    //#pebblecontextlistener.java:55: end of method: net.sourceforge.pebble.web.listener.PebbleContextListener.net.sourceforge.pebble.web.listener.PebbleContextListener__static_init

  /**
   * Called when the web application is started.
   *
   * @param event   a ServletContextEvent instance
   */
  public void contextInitialized(ServletContextEvent event) {
    long startTime = System.currentTimeMillis();
    //#pebblecontextlistener.java:63: method: void net.sourceforge.pebble.web.listener.PebbleContextListener.contextInitialized(ServletContextEvent)
    //#input(void contextInitialized(ServletContextEvent)): event
    //#input(void contextInitialized(ServletContextEvent)): log
    //#input(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).__Tag
    //#input(void contextInitialized(ServletContextEvent)): net/sourceforge/pebble/PebbleContext.__Descendant_Table[net/sourceforge/pebble/PebbleContext]
    //#input(void contextInitialized(ServletContextEvent)): net/sourceforge/pebble/PebbleContext.__Dispatch_Table.setConfiguration(Lnet/sourceforge/pebble/Configuration;)V
    //#input(void contextInitialized(ServletContextEvent)): net/sourceforge/pebble/PebbleContext.__Dispatch_Table.setWebApplicationRoot(Ljava/lang/String;)V
    //#input(void contextInitialized(ServletContextEvent)): net/sourceforge/pebble/PebbleContext.instance
    //#output(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration
    //#output(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).webApplicationRoot
    //#pre[1] (void contextInitialized(ServletContextEvent)): event != null
    //#pre[2] (void contextInitialized(ServletContextEvent)): log != null
    //#presumption(void contextInitialized(ServletContextEvent)): java.lang.System:currentTimeMillis(...)@114 - java.lang.System:currentTimeMillis(...)@63 in -9_223_372_036_854_775_808..18_446_744_073_709_551_615
    //#presumption(void contextInitialized(ServletContextEvent)): java.util.Iterator:next(...)@79 != null
    //#presumption(void contextInitialized(ServletContextEvent)): javax.servlet.ServletContextEvent:getServletContext(...)@72 != null
    //#presumption(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.domain.BlogManager:getBlogs(...)@78 != null
    //#presumption(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.domain.BlogManager:getInstance(...)@74 != null
    //#presumption(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.domain.BlogManager:getInstance(...)@75 != null
    //#presumption(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.domain.BlogManager:getInstance(...)@78 != null
    //#presumption(void contextInitialized(ServletContextEvent)): org.springframework.context.ApplicationContext:getBean(...)@67 != null
    //#presumption(void contextInitialized(ServletContextEvent)): org.springframework.web.context.support.WebApplicationContextUtils:getRequiredWebApplicationContext(...)@66 != null
    //#post(void contextInitialized(ServletContextEvent)): (soft) net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration != null
    //#post(void contextInitialized(ServletContextEvent)): init'ed(net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).webApplicationRoot)
    //#test_vector(void contextInitialized(ServletContextEvent)): java.util.Iterator:hasNext(...)@79: {1}, {0}
    //#test_vector(void contextInitialized(ServletContextEvent)): net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries(...)@82: {-2_147_483_648..-1, 1..4_294_967_295}, {0}
    log.info("Starting Pebble");
    //#pebblecontextlistener.java:64: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)

    ApplicationContext applicationContext = WebApplicationContextUtils.getRequiredWebApplicationContext(event.getServletContext());
    //#pebblecontextlistener.java:66: Warning: method not available
    //#    -- call on WebApplicationContext org.springframework.web.context.support.WebApplicationContextUtils:getRequiredWebApplicationContext(ServletContext)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: WebApplicationContext org.springframework.web.context.support.WebApplicationContextUtils:getRequiredWebApplicationContext(ServletContext)
    Configuration config = (Configuration)applicationContext.getBean("pebbleConfiguration");
    //#pebblecontextlistener.java:67: Warning: method not available
    //#    -- call on Object org.springframework.context.ApplicationContext:getBean(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: Object org.springframework.context.ApplicationContext:getBean(String)

    DAOFactory.setConfiguredFactory(config.getDaoFactory());
    //#pebblecontextlistener.java:69: Warning: method not available
    //#    -- call on DAOFactory net.sourceforge.pebble.Configuration:getDaoFactory()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: DAOFactory net.sourceforge.pebble.Configuration:getDaoFactory()
    //#pebblecontextlistener.java:69: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.dao.DAOFactory:setConfiguredFactory(DAOFactory)
    PebbleContext ctx = PebbleContext.getInstance();
    ctx.setConfiguration(config);
    ctx.setWebApplicationRoot(event.getServletContext().getRealPath("/"));

    BlogManager.getInstance().setMultiBlog(config.isMultiBlog());
    //#pebblecontextlistener.java:74: Warning: method not available
    //#    -- call on BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#pebblecontextlistener.java:74: Warning: method not available
    //#    -- call on bool net.sourceforge.pebble.Configuration:isMultiBlog()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: bool net.sourceforge.pebble.Configuration:isMultiBlog()
    //#pebblecontextlistener.java:74: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogManager:setMultiBlog(bool)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogManager:setMultiBlog(bool)
    BlogManager.getInstance().startBlogs();
    //#pebblecontextlistener.java:75: Warning: method not available
    //#    -- call on BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#pebblecontextlistener.java:75: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogManager:startBlogs()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogManager:startBlogs()

    // find those blogs with no entries and add a welcome note
    Collection<Blog> blogs = (Collection<Blog>)BlogManager.getInstance().getBlogs();
    //#pebblecontextlistener.java:78: Warning: method not available
    //#    -- call on BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#pebblecontextlistener.java:78: Warning: method not available
    //#    -- call on Collection net.sourceforge.pebble.domain.BlogManager:getBlogs()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: Collection net.sourceforge.pebble.domain.BlogManager:getBlogs()
    for (Blog blog : blogs) {
      try {
        // and add a default entry, if one doesn't exist
        if (blog.getNumberOfBlogEntries() == 0) {
    //#pebblecontextlistener.java:82: Warning: method not available
    //#    -- call on int net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: int net.sourceforge.pebble.domain.Blog:getNumberOfBlogEntries()
          log.info("Creating 'welcome note' blog entry for " + blog.getId());
    //#pebblecontextlistener.java:83: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getId()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getId()
    //#pebblecontextlistener.java:83: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
          BlogEntry blogEntry = new BlogEntry(blog);
    //#pebblecontextlistener.java:84: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry(Blog)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry(Blog)
          blogEntry.setTitle("Welcome");
    //#pebblecontextlistener.java:85: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setTitle(String)
          blogEntry.setBody(
    //#pebblecontextlistener.java:86: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setBody(String)
              "<p>\n" +
              "Welcome to your new Pebble powered blog. Here are a few suggestions for getting started.\n" +
              "</p>\n" +
              "\n" +
              "<ul>\n" +
              "<li>Login to see the admin features of your blog. The default username is <code>username</code> and the password is <code>password</code>.</li>\n" +
              "<li>Modify your <a href=\"viewBlogProperties.secureaction\">blog properties</a></li>\n" +
              "<li><a href=\"addBlogEntry.secureaction\">Create a new blog entry</a>.</li>\n" +
              "<li>Give out a link to your <a href=\"./rss.xml\">RSS</a> feed.</li>\n" +
              "<li>Remove the default user and create your own user on the <a href=\"viewUsers.secureaction\">users page</a>.</li>\n" +
              "<li>Take a look at the <a href=\"./help/index.html\">online help</a>.</li>\n" +
              "<li>Delete this blog entry when you're finished with it.</li>\n" +
              "</ul>\n" +
              "\n" +
              "<p>\n" +
              "Have fun!\n" +
              "</p>");
          blogEntry.setAuthor("username");
    //#pebblecontextlistener.java:104: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setAuthor(String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setAuthor(String)
          blogEntry.setPublished(true);
    //#pebblecontextlistener.java:105: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogEntry:setPublished(bool)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogEntry:setPublished(bool)
          BlogService service = new BlogService();
    //#pebblecontextlistener.java:106: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService()
          service.putBlogEntry(blogEntry);
    //#pebblecontextlistener.java:107: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogService:putBlogEntry(BlogEntry)
        }
      } catch (BlogServiceException e) {
        log.warn("Could not store 'welcome note' blog entry for " + blog.getId());
    //#pebblecontextlistener.java:110: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.domain.Blog:getId()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: String net.sourceforge.pebble.domain.Blog:getId()
    //#pebblecontextlistener.java:110: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:warn(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:warn(Object)
      }
    }

    long endTime = System.currentTimeMillis();
    log.info("Pebble started in " + (endTime-startTime) + "ms");
    //#pebblecontextlistener.java:115: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextInitialized(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
  }
    //#pebblecontextlistener.java:116: end of method: void net.sourceforge.pebble.web.listener.PebbleContextListener.contextInitialized(ServletContextEvent)

  /**
   * Called when the web application is shutdown.
   *
   * @param event   a ServletContextEvent instance
   */
  public void contextDestroyed(ServletContextEvent event) {
    log.info("Stopping Pebble");
    //#pebblecontextlistener.java:124: method: void net.sourceforge.pebble.web.listener.PebbleContextListener.contextDestroyed(ServletContextEvent)
    //#pebblecontextlistener.java:124: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextDestroyed(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
    //#input(void contextDestroyed(ServletContextEvent)): log
    //#pre[1] (void contextDestroyed(ServletContextEvent)): log != null
    //#presumption(void contextDestroyed(ServletContextEvent)): net.sourceforge.pebble.domain.BlogManager:getInstance(...)@125 != null
    BlogManager.getInstance().stopBlogs();
    //#pebblecontextlistener.java:125: Warning: method not available
    //#    -- call on BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextDestroyed(ServletContextEvent)
    //#    unanalyzed callee: BlogManager net.sourceforge.pebble.domain.BlogManager:getInstance()
    //#pebblecontextlistener.java:125: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.domain.BlogManager:stopBlogs()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextDestroyed(ServletContextEvent)
    //#    unanalyzed callee: void net.sourceforge.pebble.domain.BlogManager:stopBlogs()

    log.info("Pebble stopped");
    //#pebblecontextlistener.java:127: Warning: method not available
    //#    -- call on void org.apache.commons.logging.Log:info(Object)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.web.listener.PebbleContextListener
    //#    method: void contextDestroyed(ServletContextEvent)
    //#    unanalyzed callee: void org.apache.commons.logging.Log:info(Object)
  }
    //#pebblecontextlistener.java:128: end of method: void net.sourceforge.pebble.web.listener.PebbleContextListener.contextDestroyed(ServletContextEvent)

}
    //#pebblecontextlistener.java:: end of class: net.sourceforge.pebble.web.listener.PebbleContextListener
