//# 7 errors, 1,106 messages
//#
/*
    //#emailnotificationlistener.java:1:1: class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#emailnotificationlistener.java:1:1: method: net.sourceforge.pebble.event.blogentry.EmailNotificationListener.net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init
 * 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.event.blogentry;

import net.sourceforge.pebble.domain.BlogEntry;
import net.sourceforge.pebble.domain.Blog;
import net.sourceforge.pebble.api.decorator.ContentDecoratorContext;
import net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent;
import net.sourceforge.pebble.util.MailUtils;

import java.text.SimpleDateFormat;
import java.util.HashSet;

/**
 * Sends an e-mail notification when new blog entries are added.
 *
 * @author Simon Brown
 */
public class EmailNotificationListener extends BlogEntryListenerSupport {
    //#emailnotificationlistener.java:48: method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.net.sourceforge.pebble.event.blogentry.EmailNotificationListener()
    //#input(void net.sourceforge.pebble.event.blogentry.EmailNotificationListener()): this
    //#emailnotificationlistener.java:48: end of method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.net.sourceforge.pebble.event.blogentry.EmailNotificationListener()

  /**
   * Called when a blog entry has been added.
   *
   * @param event   a BlogEntryEvent instance
   */
  public void blogEntryAdded(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#emailnotificationlistener.java:56: method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryAdded(BlogEntryEvent)
    //#input(void blogEntryAdded(BlogEntryEvent)): event
    //#input(void blogEntryAdded(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).__Tag
    //#input(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[net/sourceforge/pebble/Configuration]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getSecurityRealm()Lnet/sourceforge/pebble/security/SecurityRealm;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.isVirtualHostingEnabled()Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[net/sourceforge/pebble/api/decorator/ContentDecoratorContext]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.getView()I
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setMedia(I)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setView(I)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[net/sourceforge/pebble/api/permalink/PermalinkProvider]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[net/sourceforge/pebble/decorator/ContentDecoratorChain]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getContentDecoratorChain()Lnet/sourceforge/pebble/decorator/ContentDecoratorChain;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmailAddresses()Ljava/util/Collection;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getPermalinkProvider()Lnet/sourceforge/pebble/api/permalink/PermalinkProvider;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getLocalPermalink()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTrackBacks()Ljava/util/List;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getUser()Lnet/sourceforge/pebble/security/PebbleUserDetails;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isUnpublished()Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[net/sourceforge/pebble/domain/BlogManager]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Dispatch_Table.isMultiBlog()Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.multiBlog
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getWebsite()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setBody(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setWebsite(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.log
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.UNPUBLISHED
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogName()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getExcerpt()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setBlogName(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setExcerpt(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void blogEntryAdded(BlogEntryEvent)): this
    //#pre[1] (void blogEntryAdded(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryAdded(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryAdded(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name != null
    //#pre[5] (void blogEntryAdded(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance != null
    //#pre[6] (void blogEntryAdded(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#pre[7] (void blogEntryAdded(BlogEntryEvent)): (soft) init'ed(net/sourceforge/pebble/domain/BlogManager.instance.multiBlog)
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.__Tag@56 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.decoratorChain.__Tag@56 == net/sourceforge/pebble/decorator/ContentDecoratorChain
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.decoratorChain.decorators@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.decoratorChain@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.permalinkProvider.__Tag@56 == net/sourceforge/pebble/api/permalink/PermalinkProvider
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.permalinkProvider@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog.properties@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.blog@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.comments@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state.__Tag@56 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryAdded(BlogEntryEvent)): blogEntry.state@56 != null
    //#presumption(void blogEntryAdded(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getContentDecoratorChain
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:decorate
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:setTimeZone
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getState
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getTitle
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getUser
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.PebbleUserDetails:getName
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getAuthor
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:format
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBody
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getLocalPermalink
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:isUnpublished
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getUrl
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:createSession
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getEmailAddresses
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:sendMail
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.Exception:printStackTrace
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:start
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:end
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setBody
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:filterHTML
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformHTML
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformToHTMLSubset
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setAuthor
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getWebsite
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setWebsite
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getEmail
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setEmail
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setTitle
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getExcerpt
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setExcerpt
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getBlogName
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setBlogName
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:setUrl
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getComments
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getTrackBacks
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getInstance
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getConfiguration
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getSecurityRealm
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.SecurityRealm:getUser
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getPermalinkProvider
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:getPermalink
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.Arrays:asList
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getTitle
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void blogEntryAdded(BlogEntryEvent)): Effects-of-calling:java.util.List:addAll
    sendNotification(blogEntry);
    //#emailnotificationlistener.java:57: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 81
    //#    VN: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag
    //#    Expected: {790_272}
    //#    Bad: {0..790_271, 790_273..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Bad < Exp  Bad > Exp  Uncertain
    //#emailnotificationlistener.java:57: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryAdded(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [25]
    //#    callee srcpos: 81
    //#    VN: net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#    Expected: {790_784}
    //#    Bad: {790_272}
    //#    Attribs:  Int  Exp singleton  Bad singleton  Soft  Bad < Exp  Uncertain
  }
    //#emailnotificationlistener.java:58: end of method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryAdded(BlogEntryEvent)

  /**
   * Called when a blog entry has been changed.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryChanged(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#emailnotificationlistener.java:66: method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryChanged(BlogEntryEvent)
    //#input(void blogEntryChanged(BlogEntryEvent)): event
    //#input(void blogEntryChanged(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryChanged(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).__Tag
    //#input(void blogEntryChanged(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[net/sourceforge/pebble/Configuration]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getSecurityRealm()Lnet/sourceforge/pebble/security/SecurityRealm;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.isVirtualHostingEnabled()Z
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[net/sourceforge/pebble/api/decorator/ContentDecoratorContext]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.getView()I
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setMedia(I)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setView(I)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[net/sourceforge/pebble/api/permalink/PermalinkProvider]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[net/sourceforge/pebble/decorator/ContentDecoratorChain]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getContentDecoratorChain()Lnet/sourceforge/pebble/decorator/ContentDecoratorChain;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmailAddresses()Ljava/util/Collection;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getPermalinkProvider()Lnet/sourceforge/pebble/api/permalink/PermalinkProvider;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getLocalPermalink()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTrackBacks()Ljava/util/List;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getUser()Lnet/sourceforge/pebble/security/PebbleUserDetails;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isUnpublished()Z
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[net/sourceforge/pebble/domain/BlogManager]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Dispatch_Table.isMultiBlog()Z
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.multiBlog
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getWebsite()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setBody(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setWebsite(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.log
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/State.UNPUBLISHED
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogName()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getExcerpt()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setBlogName(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setExcerpt(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void blogEntryChanged(BlogEntryEvent)): this
    //#pre[1] (void blogEntryChanged(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryChanged(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryChanged(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name != null
    //#pre[5] (void blogEntryChanged(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance != null
    //#pre[6] (void blogEntryChanged(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#pre[7] (void blogEntryChanged(BlogEntryEvent)): (soft) init'ed(net/sourceforge/pebble/domain/BlogManager.instance.multiBlog)
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.__Tag@66 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.decoratorChain.__Tag@66 == net/sourceforge/pebble/decorator/ContentDecoratorChain
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.decoratorChain.decorators@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.decoratorChain@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.permalinkProvider.__Tag@66 == net/sourceforge/pebble/api/permalink/PermalinkProvider
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.permalinkProvider@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog.properties@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.blog@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.comments@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.state.__Tag@66 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryChanged(BlogEntryEvent)): blogEntry.state@66 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryChanged(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag is init'ed
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getContentDecoratorChain
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:decorate
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:setTimeZone
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getState
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getTitle
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getUser
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.PebbleUserDetails:getName
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getAuthor
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:format
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getBody
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getLocalPermalink
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:isUnpublished
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getUrl
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:createSession
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getEmailAddresses
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:sendMail
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.Exception:printStackTrace
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:start
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:end
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setBody
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:filterHTML
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformHTML
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformToHTMLSubset
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setAuthor
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getWebsite
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setWebsite
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getEmail
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setEmail
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setTitle
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getExcerpt
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setExcerpt
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getBlogName
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setBlogName
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:setUrl
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getComments
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getTrackBacks
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getInstance
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getConfiguration
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getSecurityRealm
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.SecurityRealm:getUser
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getPermalinkProvider
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:getPermalink
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.Arrays:asList
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getTitle
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void blogEntryChanged(BlogEntryEvent)): Effects-of-calling:java.util.List:addAll
    sendNotification(blogEntry);
    //#emailnotificationlistener.java:67: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryChanged(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 81
    //#    VN: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag
    //#    Expected: {790_272}
    //#    Bad: {0..790_271, 790_273..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Bad < Exp  Bad > Exp  Uncertain
    //#emailnotificationlistener.java:67: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryChanged(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [25]
    //#    callee srcpos: 81
    //#    VN: net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#    Expected: {790_784}
    //#    Bad: {790_272}
    //#    Attribs:  Int  Exp singleton  Bad singleton  Soft  Bad < Exp  Uncertain
  }
    //#emailnotificationlistener.java:68: end of method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryChanged(BlogEntryEvent)

  /**
   * Called when a blog entry has been published.
   *
   * @param event a BlogEntryEvent instance
   */
  public void blogEntryPublished(BlogEntryEvent event) {
    BlogEntry blogEntry = event.getBlogEntry();
    //#emailnotificationlistener.java:76: method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryPublished(BlogEntryEvent)
    //#input(void blogEntryPublished(BlogEntryEvent)): event
    //#input(void blogEntryPublished(BlogEntryEvent)): event.__Tag
    //#input(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).__Tag
    //#input(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[net/sourceforge/pebble/Configuration]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getSecurityRealm()Lnet/sourceforge/pebble/security/SecurityRealm;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/Configuration.__Dispatch_Table.isVirtualHostingEnabled()Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[net/sourceforge/pebble/api/decorator/ContentDecoratorContext]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.getView()I
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setMedia(I)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setView(I)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[net/sourceforge/pebble/api/permalink/PermalinkProvider]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[net/sourceforge/pebble/decorator/ContentDecoratorChain]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getContentDecoratorChain()Lnet/sourceforge/pebble/decorator/ContentDecoratorChain;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmailAddresses()Ljava/util/Collection;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getPermalinkProvider()Lnet/sourceforge/pebble/api/permalink/PermalinkProvider;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getLocalPermalink()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTrackBacks()Ljava/util/List;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getUser()Lnet/sourceforge/pebble/security/PebbleUserDetails;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isUnpublished()Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[net/sourceforge/pebble/domain/BlogManager]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.__Dispatch_Table.isMultiBlog()Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/BlogManager.instance.multiBlog
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getWebsite()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setBody(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setWebsite(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/PageBasedContent.log
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.UNPUBLISHED
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogName()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getExcerpt()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setBlogName(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setExcerpt(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void blogEntryPublished(BlogEntryEvent)): this
    //#pre[1] (void blogEntryPublished(BlogEntryEvent)): event != null
    //#pre[2] (void blogEntryPublished(BlogEntryEvent)): event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void blogEntryPublished(BlogEntryEvent)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name != null
    //#pre[5] (void blogEntryPublished(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance != null
    //#pre[6] (void blogEntryPublished(BlogEntryEvent)): (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#pre[7] (void blogEntryPublished(BlogEntryEvent)): (soft) init'ed(net/sourceforge/pebble/domain/BlogManager.instance.multiBlog)
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.__Tag@76 == net/sourceforge/pebble/domain/Blog
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.decoratorChain.__Tag@76 == net/sourceforge/pebble/decorator/ContentDecoratorChain
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.decoratorChain.decorators@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.decoratorChain@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.permalinkProvider.__Tag@76 == net/sourceforge/pebble/api/permalink/PermalinkProvider
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.permalinkProvider@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog.properties@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.blog@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.comments@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state.__Tag@76 == net/sourceforge/pebble/domain/State
    //#presumption(void blogEntryPublished(BlogEntryEvent)): blogEntry.state@76 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91 != null
    //#presumption(void blogEntryPublished(BlogEntryEvent)): net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag is init'ed
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getContentDecoratorChain
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:decorate
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getTimeZone
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:setTimeZone
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getState
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getTitle
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getUser
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.PebbleUserDetails:getName
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getAuthor
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getDate
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.text.SimpleDateFormat:format
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBody
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getLocalPermalink
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:isUnpublished
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getUrl
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getId
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:createSession
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getEmailAddresses
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.MailUtils:sendMail
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.Exception:printStackTrace
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:start
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.regex.Matcher:end
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setBody
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:filterHTML
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformHTML
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformToHTMLSubset
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setAuthor
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getWebsite
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setWebsite
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getEmail
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setEmail
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setTitle
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getExcerpt
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setExcerpt
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getBlogName
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setBlogName
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:setUrl
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getComments
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getTrackBacks
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getInstance
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getConfiguration
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getSecurityRealm
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.security.SecurityRealm:getUser
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getPermalinkProvider
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:getPermalink
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.Arrays:asList
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getTitle
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void blogEntryPublished(BlogEntryEvent)): Effects-of-calling:java.util.List:addAll
    sendNotification(blogEntry);
    //#emailnotificationlistener.java:77: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 81
    //#    VN: net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent:getSource(...)@91.__Tag
    //#    Expected: {790_272}
    //#    Bad: {0..790_271, 790_273..+Inf}
    //#    Attribs:  Int  Exp singleton  Bad overlaps +/-1000  Bad < Exp  Bad > Exp  Uncertain
    //#emailnotificationlistener.java:77: ?precondition failure
    //#    net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void blogEntryPublished(BlogEntryEvent)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee: void net/sourceforge/pebble/event/blogentry/EmailNotificationListener.sendNotification(BlogEntry)
    //#    callee assertion: (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#    callee file: emailnotificationlistener.java
    //#    callee precondition index: [25]
    //#    callee srcpos: 81
    //#    VN: net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#    Expected: {790_784}
    //#    Bad: {790_272}
    //#    Attribs:  Int  Exp singleton  Bad singleton  Soft  Bad < Exp  Uncertain
  }
    //#emailnotificationlistener.java:78: end of method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.blogEntryPublished(BlogEntryEvent)

  private void sendNotification(BlogEntry blogEntry) {
    Blog blog = blogEntry.getBlog();
    //#emailnotificationlistener.java:81: method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.sendNotification(BlogEntry)
    //#input(void sendNotification(BlogEntry)): blogEntry
    //#input(void sendNotification(BlogEntry)): blogEntry.__Tag
    //#input(void sendNotification(BlogEntry)): blogEntry.author
    //#input(void sendNotification(BlogEntry)): blogEntry.blog
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.__Tag
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.decoratorChain
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.decoratorChain.__Tag
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.decoratorChain.decorators
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.id
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.permalinkProvider
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.permalinkProvider.__Tag
    //#input(void sendNotification(BlogEntry)): blogEntry.blog.properties
    //#input(void sendNotification(BlogEntry)): blogEntry.body
    //#input(void sendNotification(BlogEntry)): blogEntry.comments
    //#input(void sendNotification(BlogEntry)): blogEntry.date
    //#input(void sendNotification(BlogEntry)): blogEntry.id
    //#input(void sendNotification(BlogEntry)): blogEntry.permalink
    //#input(void sendNotification(BlogEntry)): blogEntry.state
    //#input(void sendNotification(BlogEntry)): blogEntry.state.__Tag
    //#input(void sendNotification(BlogEntry)): blogEntry.state.name
    //#input(void sendNotification(BlogEntry)): blogEntry.title
    //#input(void sendNotification(BlogEntry)): blogEntry.trackBacks
    //#input(void sendNotification(BlogEntry)): blogEntry.user
    //#input(void sendNotification(BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).__Tag
    //#input(void sendNotification(BlogEntry)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/Configuration.__Descendant_Table[net/sourceforge/pebble/Configuration]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/Configuration.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getSecurityRealm()Lnet/sourceforge/pebble/security/SecurityRealm;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/Configuration.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/Configuration.__Dispatch_Table.isVirtualHostingEnabled()Z
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[net/sourceforge/pebble/api/decorator/ContentDecoratorContext]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.getView()I
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setMedia(I)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/decorator/ContentDecoratorContext.__Dispatch_Table.setView(I)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[net/sourceforge/pebble/api/permalink/PermalinkProvider]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/api/permalink/PermalinkProvider.__Dispatch_Table.getPermalink(Lnet/sourceforge/pebble/domain/BlogEntry;)Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/AbstractTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogCategoriesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/BlogTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[net/sourceforge/pebble/decorator/ContentDecoratorChain]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorChain.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ContentDecoratorSupport.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableCommentsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableResponseDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/DisableTrackBacksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EntryToPdfDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/EscapeMarkupDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ExcerptDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HideUnapprovedResponsesDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/HtmlDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/NoFollowDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/PhotoDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RadeoxDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/ReadMoreDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelatedPostsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/RelativeUriDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/SocialBookmarksDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/StaticPageTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TechnoratiTagsDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/decorator/TrackBackAutoDiscoveryDecorator.__Dispatch_Table.decorate(Lnet/sourceforge/pebble/api/decorator/ContentDecoratorContext;Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/AbstractBlog]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[net/sourceforge/pebble/domain/MultiBlog]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/AbstractBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getContentDecoratorChain()Lnet/sourceforge/pebble/decorator/ContentDecoratorChain;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getEmailAddresses()Ljava/util/Collection;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getPermalinkProvider()Lnet/sourceforge/pebble/api/permalink/PermalinkProvider;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZone()Ljava/util/TimeZone;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getDate()Ljava/util/Date;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getId()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getLocalPermalink()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getTrackBacks()Ljava/util/List;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getUser()Lnet/sourceforge/pebble/security/PebbleUserDetails;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.isUnpublished()Z
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[net/sourceforge/pebble/domain/BlogManager]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.__Dispatch_Table.isMultiBlog()Z
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.instance
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.instance.__Tag
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/BlogManager.instance.multiBlog
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBody()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getComments()Ljava/util/List;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getEmail()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getWebsite()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setBody(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setEmail(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.setWebsite(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/MultiBlog.__Dispatch_Table.getTimeZoneId()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/PageBasedContent]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[net/sourceforge/pebble/domain/StaticPage]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/PageBasedContent.log
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/State.UNPUBLISHED
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/StaticPage.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogName()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getExcerpt()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setBlogName(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setExcerpt(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void sendNotification(BlogEntry)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#output(void sendNotification(BlogEntry)): blogEntry.permalink
    //#output(void sendNotification(BlogEntry)): blogEntry.user
    //#pre[1] (void sendNotification(BlogEntry)): blogEntry != null
    //#pre[2] (void sendNotification(BlogEntry)): blogEntry.__Tag == net/sourceforge/pebble/domain/BlogEntry
    //#pre[4] (void sendNotification(BlogEntry)): blogEntry.blog != null
    //#pre[5] (void sendNotification(BlogEntry)): blogEntry.blog.__Tag == net/sourceforge/pebble/domain/Blog
    //#pre[6] (void sendNotification(BlogEntry)): blogEntry.blog.decoratorChain != null
    //#pre[8] (void sendNotification(BlogEntry)): blogEntry.blog.decoratorChain.decorators != null
    //#pre[12] (void sendNotification(BlogEntry)): blogEntry.blog.properties != null
    //#pre[13] (void sendNotification(BlogEntry)): init'ed(blogEntry.body)
    //#pre[15] (void sendNotification(BlogEntry)): init'ed(blogEntry.date)
    //#pre[17] (void sendNotification(BlogEntry)): blogEntry.state != null
    //#pre[18] (void sendNotification(BlogEntry)): blogEntry.state.__Tag == net/sourceforge/pebble/domain/State
    //#pre[19] (void sendNotification(BlogEntry)): init'ed(blogEntry.state.name)
    //#pre[20] (void sendNotification(BlogEntry)): init'ed(blogEntry.title)
    //#pre[27] (void sendNotification(BlogEntry)): init'ed(blogEntry.permalink)
    //#pre[28] (void sendNotification(BlogEntry)): init'ed(blogEntry.user)
    //#pre[3] (void sendNotification(BlogEntry)): (soft) init'ed(blogEntry.author)
    //#pre[7] (void sendNotification(BlogEntry)): (soft) blogEntry.blog.decoratorChain.__Tag == net/sourceforge/pebble/decorator/ContentDecoratorChain
    //#pre[9] (void sendNotification(BlogEntry)): (soft) init'ed(blogEntry.blog.id)
    //#pre[10] (void sendNotification(BlogEntry)): (soft) blogEntry.blog.permalinkProvider != null
    //#pre[11] (void sendNotification(BlogEntry)): (soft) blogEntry.blog.permalinkProvider.__Tag == net/sourceforge/pebble/api/permalink/PermalinkProvider
    //#pre[14] (void sendNotification(BlogEntry)): (soft) blogEntry.comments != null
    //#pre[16] (void sendNotification(BlogEntry)): (soft) init'ed(blogEntry.id)
    //#pre[21] (void sendNotification(BlogEntry)): (soft) init'ed(blogEntry.trackBacks)
    //#pre[22] (void sendNotification(BlogEntry)): (soft) net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#4).name != null
    //#pre[24] (void sendNotification(BlogEntry)): (soft) net/sourceforge/pebble/domain/BlogManager.instance != null
    //#pre[25] (void sendNotification(BlogEntry)): (soft) net/sourceforge/pebble/domain/BlogManager.instance.__Tag == net/sourceforge/pebble/domain/BlogManager
    //#pre[26] (void sendNotification(BlogEntry)): (soft) init'ed(net/sourceforge/pebble/domain/BlogManager.instance.multiBlog)
    //#post(void sendNotification(BlogEntry)): init'ed(blogEntry.permalink)
    //#post(void sendNotification(BlogEntry)): init'ed(blogEntry.user)
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getUrl
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:decorate
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.regex.Matcher:find
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.regex.Matcher:start
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.regex.Matcher:end
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:indexOf
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getBody
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setBody
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:filterHTML
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformHTML
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.util.StringUtils:transformToHTMLSubset
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getAuthor
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setAuthor
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getWebsite
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setWebsite
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getEmail
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setEmail
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getTitle
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setTitle
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getExcerpt
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setExcerpt
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getBlogName
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setBlogName
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:setUrl
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getComments
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getTrackBacks
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.Properties:getProperty
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.TimeZone:getTimeZone
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getInstance
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.PebbleContext:getConfiguration
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getSecurityRealm
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.security.SecurityRealm:getUser
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getPermalinkProvider
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:getPermalink
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.Arrays:asList
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getTitle
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void sendNotification(BlogEntry)): Effects-of-calling:java.util.List:addAll

    // first of all decorate the blog entry, as if it was being rendered
    // via a HTML page or XML feed
    ContentDecoratorContext context = new ContentDecoratorContext();
    context.setView(ContentDecoratorContext.SUMMARY_VIEW);
    context.setMedia(ContentDecoratorContext.EMAIL);
    blog.getContentDecoratorChain().decorate(context, blogEntry);

    SimpleDateFormat sdf = new SimpleDateFormat("dd MMM yyyy HH:mm:ss z");
    sdf.setTimeZone(blog.getTimeZone());

    String subject = "[Blog entry-" + blogEntry.getState().getName() + "] " + blogEntry.getTitle();

    String message = "Blog entry posted by " + (blogEntry.getUser() != null ? blogEntry.getUser().getName() : blogEntry.getAuthor()) + " on " + sdf.format(blogEntry.getDate());
    //#emailnotificationlistener.java:95: ?null dereference
    //#    getUser(...) != null
    //#    severity: MEDIUM
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void sendNotification(BlogEntry)
    //#    basic block: bb_2
    //#    assertion: getUser(...) != null
    //#    VN: getUser(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#emailnotificationlistener.java:95: Warning: method not available
    //#    -- call on String net.sourceforge.pebble.security.PebbleUserDetails:getName()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void sendNotification(BlogEntry)
    //#    unanalyzed callee: String net.sourceforge.pebble.security.PebbleUserDetails:getName()
    message += "\n<br>";
    message += blogEntry.getBody();
    message += "\n<br>";
    message += "<a href=\"" + blogEntry.getLocalPermalink() + "\">Permalink</a>";

    if (blogEntry.isUnpublished()) {
      message += " | ";
      message += "<a href=\"" + blog.getUrl() + "manageBlogEntry.secureaction?entry=" + blogEntry.getId() + "&submit=Publish&confirm=true\">Publish</a>";
    }

    // and send the e-mail
    try {
      MailUtils.sendMail(MailUtils.createSession(), blog, blog.getEmailAddresses(), new HashSet(), subject, message);
    //#emailnotificationlistener.java:108: Warning: method not available
    //#    -- call on Session net.sourceforge.pebble.util.MailUtils:createSession()
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void sendNotification(BlogEntry)
    //#    unanalyzed callee: Session net.sourceforge.pebble.util.MailUtils:createSession()
    //#emailnotificationlistener.java:108: Warning: method not available
    //#    -- call on void net.sourceforge.pebble.util.MailUtils:sendMail(Session, Blog, Collection, Collection, String, String)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
    //#    method: void sendNotification(BlogEntry)
    //#    unanalyzed callee: void net.sourceforge.pebble.util.MailUtils:sendMail(Session, Blog, Collection, Collection, String, String)
    } catch (Exception e) {
      e.printStackTrace();
    }
  }
    //#emailnotificationlistener.java:112: end of method: void net.sourceforge.pebble.event.blogentry.EmailNotificationListener.sendNotification(BlogEntry)

}
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener]
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.sendNotification(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener]
    //#output(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener]
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/blogentry/EmailNotificationListener] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryAdded
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryChanged
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &blogEntryPublished
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.blogEntryRemoved
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.blogEntryUnpublished
    //#post(net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init): __Dispatch_Table.sendNotification(Lnet/sourceforge/pebble/domain/BlogEntry;)V == &sendNotification
    //#emailnotificationlistener.java:: end of method: net.sourceforge.pebble.event.blogentry.EmailNotificationListener.net.sourceforge.pebble.event.blogentry.EmailNotificationListener__static_init
    //#emailnotificationlistener.java:: end of class: net.sourceforge.pebble.event.blogentry.EmailNotificationListener
