//# 13 errors, 649 messages
//#
/*
    //#defaulteventdispatcher.java:1:1: class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#defaulteventdispatcher.java:1:1: method: net.sourceforge.pebble.event.DefaultEventDispatcher.net.sourceforge.pebble.event.DefaultEventDispatcher__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;

import net.sourceforge.pebble.api.event.blog.BlogEvent;
import net.sourceforge.pebble.api.event.blog.BlogListener;
import net.sourceforge.pebble.api.event.blogentry.BlogEntryEvent;
import net.sourceforge.pebble.api.event.blogentry.BlogEntryListener;
import net.sourceforge.pebble.api.event.comment.CommentEvent;
import net.sourceforge.pebble.api.event.comment.CommentListener;
import net.sourceforge.pebble.api.event.EventDispatcher;
import net.sourceforge.pebble.api.event.trackback.TrackBackEvent;
import net.sourceforge.pebble.api.event.trackback.TrackBackListener;

import java.util.Iterator;

/**
 * Responsible for dispatching events to registered listeners, which are
 * called in the order they were added.
 *
 * @author Simon Brown
 */
public class DefaultEventDispatcher extends EventDispatcher {
    //#defaulteventdispatcher.java:52: method: void net.sourceforge.pebble.event.DefaultEventDispatcher.net.sourceforge.pebble.event.DefaultEventDispatcher()
    //#input(void net.sourceforge.pebble.event.DefaultEventDispatcher()): this
    //#defaulteventdispatcher.java:52: end of method: void net.sourceforge.pebble.event.DefaultEventDispatcher.net.sourceforge.pebble.event.DefaultEventDispatcher()

  /**
   * Fires a blog event to registered listeners.
   *
   * @param event   the BlogEvent instance
   */
  public void fireBlogEvent(BlogEvent event) {
    Iterator it = getEventListenerList().getBlogListeners().iterator();
    //#defaulteventdispatcher.java:60: method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireBlogEvent(BlogEvent)
    //#input(void fireBlogEvent(BlogEvent)): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#input(void fireBlogEvent(BlogEvent)): __Descendant_Table[others]
    //#input(void fireBlogEvent(BlogEvent)): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList;
    //#input(void fireBlogEvent(BlogEvent)): event
    //#input(void fireBlogEvent(BlogEvent)): event.__Tag
    //#input(void fireBlogEvent(BlogEvent)): event.type
    //#input(void fireBlogEvent(BlogEvent)): event.vetoed
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blog/BlogEvent]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogEvent.__Descendant_Table[others]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogEvent.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogEvent.__Dispatch_Table.getType()I
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogEvent.__Dispatch_Table.isVetoed()Z
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogListener.__Descendant_Table[net/sourceforge/pebble/api/event/blog/BlogListener]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogListener.__Descendant_Table[net/sourceforge/pebble/event/blog/PebbleAPIBlogEntryAggregator]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogListener.__Descendant_Table[others]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogListener.__Dispatch_Table.blogStarted(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/api/event/blog/BlogListener.__Dispatch_Table.blogStopped(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[net/sourceforge/pebble/event/EventListenerList]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[others]
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/event/EventListenerList.__Dispatch_Table.getBlogListeners()Ljava/util/List;
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/event/blog/PebbleAPIBlogEntryAggregator.__Dispatch_Table.blogStarted(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V
    //#input(void fireBlogEvent(BlogEvent)): net/sourceforge/pebble/event/blog/PebbleAPIBlogEntryAggregator.__Dispatch_Table.blogStopped(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V
    //#input(void fireBlogEvent(BlogEvent)): this
    //#input(void fireBlogEvent(BlogEvent)): this.__Tag
    //#input(void fireBlogEvent(BlogEvent)): this.eventListenerList
    //#input(void fireBlogEvent(BlogEvent)): this.eventListenerList.__Tag
    //#input(void fireBlogEvent(BlogEvent)): this.eventListenerList.blogListeners
    //#pre[6] (void fireBlogEvent(BlogEvent)): this.__Tag == net/sourceforge/pebble/event/DefaultEventDispatcher
    //#pre[7] (void fireBlogEvent(BlogEvent)): this.eventListenerList != null
    //#pre[8] (void fireBlogEvent(BlogEvent)): this.eventListenerList.__Tag == net/sourceforge/pebble/event/EventListenerList
    //#pre[9] (void fireBlogEvent(BlogEvent)): this.eventListenerList.blogListeners != null
    //#pre[1] (void fireBlogEvent(BlogEvent)): (soft) event != null
    //#pre[2] (void fireBlogEvent(BlogEvent)): (soft) event.__Tag == net/sourceforge/pebble/api/event/blog/BlogEvent
    //#pre[3] (void fireBlogEvent(BlogEvent)): (soft) init'ed(event.type)
    //#pre[4] (void fireBlogEvent(BlogEvent)): (soft) init'ed(event.vetoed)
    //#presumption(void fireBlogEvent(BlogEvent)): java.util.Iterator:next(...).__Tag@62 in {net/sourceforge/pebble/api/event/blog/BlogListener, net/sourceforge/pebble/event/blog/PebbleAPIBlogEntryAggregator}
    //#presumption(void fireBlogEvent(BlogEvent)): java.util.Iterator:next(...)@62 != null
    //#presumption(void fireBlogEvent(BlogEvent)): listener.timer@62 != null
    //#unanalyzed(void fireBlogEvent(BlogEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void fireBlogEvent(BlogEvent)): Effects-of-calling:java.util.Timer:schedule
    //#unanalyzed(void fireBlogEvent(BlogEvent)): Effects-of-calling:java.util.Timer:cancel
    //#unanalyzed(void fireBlogEvent(BlogEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.blog.BlogEvent:getSource
    //#test_vector(void fireBlogEvent(BlogEvent)): event.type: {-2_147_483_648..-1, 2..4_294_967_295}, {0}, {1}
    //#test_vector(void fireBlogEvent(BlogEvent)): java.util.Iterator:hasNext(...)@61: {1}, {0}
    while (it.hasNext()) {
      BlogListener listener = (BlogListener)it.next();
      if (event.getType() == BlogEvent.BLOG_STARTED) {
        listener.blogStarted(event);
    //#defaulteventdispatcher.java:64: Warning: method not available
    //#    -- call on void blogStarted(BlogEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEvent(BlogEvent)
    //#    unanalyzed callee: void blogStarted(BlogEvent)
      } else if (event.getType() == BlogEvent.BLOG_STOPPED) {
        listener.blogStopped(event);
    //#defaulteventdispatcher.java:66: Warning: method not available
    //#    -- call on void blogStopped(BlogEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEvent(BlogEvent)
    //#    unanalyzed callee: void blogStopped(BlogEvent)
      }

      // has the event been vetoed?
      if (event.isVetoed()) {
        break;
      }
    }
  }
    //#defaulteventdispatcher.java:74: end of method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireBlogEvent(BlogEvent)

  /**
   * Fires a blog entry event to registered listeners.
   *
   * @param event   the BlogEntryEvent instance
   */
  public void fireBlogEntryEvent(BlogEntryEvent event) {
    Iterator it = getEventListenerList().getBlogEntryListeners().iterator();
    //#defaulteventdispatcher.java:82: method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireBlogEntryEvent(BlogEntryEvent)
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): __Descendant_Table[others]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList;
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): event
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): event.__Tag
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): event.type
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): event.vetoed
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Descendant_Table[others]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.getType()I
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent.__Dispatch_Table.isVetoed()Z
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[others]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[net/sourceforge/pebble/event/EventListenerList]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[others]
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/EventListenerList.__Dispatch_Table.getBlogEntryListeners()Ljava/util/List;
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/BlogEntryListenerSupport.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailNotificationListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailNotificationListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailNotificationListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailNotificationListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailNotificationListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailSubscriptionListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailSubscriptionListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailSubscriptionListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailSubscriptionListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/EmailSubscriptionListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/MarkUnpublishedListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/MarkUnpublishedListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/MarkUnpublishedListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/MarkUnpublishedListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/MarkUnpublishedListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/PostToTwitterBlogEntryListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/PostToTwitterBlogEntryListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/PostToTwitterBlogEntryListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/PostToTwitterBlogEntryListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/PostToTwitterBlogEntryListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/TidyListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/TidyListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/TidyListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/TidyListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/TidyListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/XmlRpcNotificationListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/XmlRpcNotificationListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/XmlRpcNotificationListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/XmlRpcNotificationListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/event/blogentry/XmlRpcNotificationListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndexListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndexListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndexListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndexListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/AuthorIndexListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndexListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndexListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndexListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndexListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/BlogEntryIndexListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/CategoryIndexListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/CategoryIndexListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/CategoryIndexListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/CategoryIndexListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/CategoryIndexListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/SearchIndexListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/SearchIndexListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/SearchIndexListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/SearchIndexListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/SearchIndexListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/TagIndexListener.__Dispatch_Table.blogEntryAdded(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/TagIndexListener.__Dispatch_Table.blogEntryChanged(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/TagIndexListener.__Dispatch_Table.blogEntryPublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/TagIndexListener.__Dispatch_Table.blogEntryRemoved(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): net/sourceforge/pebble/index/TagIndexListener.__Dispatch_Table.blogEntryUnpublished(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): this
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): this.__Tag
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList.__Tag
    //#input(void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList.blogEntryListeners
    //#pre[6] (void fireBlogEntryEvent(BlogEntryEvent)): this.__Tag == net/sourceforge/pebble/event/DefaultEventDispatcher
    //#pre[7] (void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList != null
    //#pre[8] (void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList.__Tag == net/sourceforge/pebble/event/EventListenerList
    //#pre[9] (void fireBlogEntryEvent(BlogEntryEvent)): this.eventListenerList.blogEntryListeners != null
    //#pre[1] (void fireBlogEntryEvent(BlogEntryEvent)): (soft) event != null
    //#pre[2] (void fireBlogEntryEvent(BlogEntryEvent)): (soft) event.__Tag == net/sourceforge/pebble/api/event/blogentry/BlogEntryEvent
    //#pre[3] (void fireBlogEntryEvent(BlogEntryEvent)): (soft) init'ed(event.type)
    //#pre[4] (void fireBlogEntryEvent(BlogEntryEvent)): (soft) init'ed(event.vetoed)
    //#presumption(void fireBlogEntryEvent(BlogEntryEvent)): java.util.Iterator:next(...)@84 != null
    //#test_vector(void fireBlogEntryEvent(BlogEntryEvent)): java.util.Iterator:hasNext(...)@83: {1}, {0}
    while (it.hasNext()) {
      BlogEntryListener listener = (BlogEntryListener)it.next();
      if (event.getType() == BlogEntryEvent.BLOG_ENTRY_ADDED) {
        listener.blogEntryAdded(event);
    //#defaulteventdispatcher.java:86: ?null dereference
    //#    net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    basic block: bb_3
    //#    assertion: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:86: Warning: call too complex - analysis skipped
    //#    -- call on void blogEntryAdded(BlogEntryEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    unanalyzed callee: void blogEntryAdded(BlogEntryEvent)
      } else if (event.getType() == BlogEntryEvent.BLOG_ENTRY_REMOVED) {
        listener.blogEntryRemoved(event);
    //#defaulteventdispatcher.java:88: ?null dereference
    //#    net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    basic block: bb_5
    //#    assertion: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:88: Warning: call too complex - analysis skipped
    //#    -- call on void blogEntryRemoved(BlogEntryEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    unanalyzed callee: void blogEntryRemoved(BlogEntryEvent)
      } else if (event.getType() == BlogEntryEvent.BLOG_ENTRY_CHANGED) {
        listener.blogEntryChanged(event);
    //#defaulteventdispatcher.java:90: ?null dereference
    //#    net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    basic block: bb_7
    //#    assertion: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:90: Warning: call too complex - analysis skipped
    //#    -- call on void blogEntryChanged(BlogEntryEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    unanalyzed callee: void blogEntryChanged(BlogEntryEvent)
      } else if (event.getType() == BlogEntryEvent.BLOG_ENTRY_PUBLISHED) {
        listener.blogEntryPublished(event);
    //#defaulteventdispatcher.java:92: ?null dereference
    //#    net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    basic block: bb_9
    //#    assertion: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:92: Warning: call too complex - analysis skipped
    //#    -- call on void blogEntryPublished(BlogEntryEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    unanalyzed callee: void blogEntryPublished(BlogEntryEvent)
      } else if (event.getType() == BlogEntryEvent.BLOG_ENTRY_UNPUBLISHED) {
        listener.blogEntryUnpublished(event);
    //#defaulteventdispatcher.java:94: ?null dereference
    //#    net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    basic block: bb_11
    //#    assertion: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/blogentry/BlogEntryListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:94: Warning: call too complex - analysis skipped
    //#    -- call on void blogEntryUnpublished(BlogEntryEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireBlogEntryEvent(BlogEntryEvent)
    //#    unanalyzed callee: void blogEntryUnpublished(BlogEntryEvent)
      }

      // has the event been vetoed?
      if (event.isVetoed()) {
        break;
      }
    }
  }
    //#defaulteventdispatcher.java:102: end of method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireBlogEntryEvent(BlogEntryEvent)

  /**
   * Fires a comment event to registered listeners.
   *
   * @param event   the CommentEvent instance
   */
  public void fireCommentEvent(CommentEvent event) {
    Iterator it = getEventListenerList().getCommentListeners().iterator();
    //#defaulteventdispatcher.java:110: method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireCommentEvent(CommentEvent)
    //#input(void fireCommentEvent(CommentEvent)): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#input(void fireCommentEvent(CommentEvent)): __Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList;
    //#input(void fireCommentEvent(CommentEvent)): event
    //#input(void fireCommentEvent(CommentEvent)): event.__Tag
    //#input(void fireCommentEvent(CommentEvent)): event.type
    //#input(void fireCommentEvent(CommentEvent)): event.vetoed
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[net/sourceforge/pebble/api/event/comment/CommentEvent]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getComment()Lnet/sourceforge/pebble/domain/Comment;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.getType()I
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentEvent.__Dispatch_Table.isVetoed()Z
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/api/event/comment/CommentListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getAuthor()Ljava/lang/String;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Descendant_Table[net/sourceforge/pebble/domain/ResponseManager]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.removeRecentComment(Lnet/sourceforge/pebble/domain/Comment;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[net/sourceforge/pebble/event/EventListenerList]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/EventListenerList.__Dispatch_Table.getCommentListeners()Ljava/util/List;
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/AbstractEmailNotificationListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/AbstractEmailNotificationListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/AbstractEmailNotificationListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/AbstractEmailNotificationListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/CommentListenerSupport.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/CommentListenerSupport.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/CommentListenerSupport.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/CommentListenerSupport.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailAuthorNotificationListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailAuthorNotificationListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailAuthorNotificationListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailAuthorNotificationListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailNotificationListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailNotificationListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailNotificationListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/comment/EmailNotificationListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/ContentSpamListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/DeleteRejectedListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/DisableResponseListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/IpAddressListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/LinkSpamListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkApprovedListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkPendingListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/SpamScoreListener]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.commentAdded(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.commentApproved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.commentRejected(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.commentRemoved(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#input(void fireCommentEvent(CommentEvent)): this
    //#input(void fireCommentEvent(CommentEvent)): this.__Tag
    //#input(void fireCommentEvent(CommentEvent)): this.eventListenerList
    //#input(void fireCommentEvent(CommentEvent)): this.eventListenerList.__Tag
    //#input(void fireCommentEvent(CommentEvent)): this.eventListenerList.commentListeners
    //#pre[7] (void fireCommentEvent(CommentEvent)): this.__Tag == net/sourceforge/pebble/event/DefaultEventDispatcher
    //#pre[8] (void fireCommentEvent(CommentEvent)): this.eventListenerList != null
    //#pre[9] (void fireCommentEvent(CommentEvent)): this.eventListenerList.__Tag == net/sourceforge/pebble/event/EventListenerList
    //#pre[10] (void fireCommentEvent(CommentEvent)): this.eventListenerList.commentListeners != null
    //#pre[1] (void fireCommentEvent(CommentEvent)): (soft) event != null
    //#pre[2] (void fireCommentEvent(CommentEvent)): (soft) event.__Tag == net/sourceforge/pebble/api/event/comment/CommentEvent
    //#pre[3] (void fireCommentEvent(CommentEvent)): (soft) init'ed(event.type)
    //#pre[4] (void fireCommentEvent(CommentEvent)): (soft) init'ed(event.vetoed)
    //#presumption(void fireCommentEvent(CommentEvent)): java.util.Iterator:next(...)@112 != null
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.SortedSet:remove
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getComment
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getBlogEntry
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getResponseIndex
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:unindex
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getTitle
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getAuthor
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.util.SecurityUtils:getUsername
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:info
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.comment.CommentEvent:getSource
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void fireCommentEvent(CommentEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#test_vector(void fireCommentEvent(CommentEvent)): java.util.Iterator:hasNext(...)@111: {1}, {0}
    while (it.hasNext()) {
      CommentListener listener = (CommentListener)it.next();
      if (event.getType() == CommentEvent.COMMENT_ADDED) {
        listener.commentAdded(event);
    //#defaulteventdispatcher.java:114: ?null dereference
    //#    net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    basic block: bb_3
    //#    assertion: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:114: Warning: call too complex - analysis skipped
    //#    -- call on void commentAdded(CommentEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    unanalyzed callee: void commentAdded(CommentEvent)
      } else if (event.getType() == CommentEvent.COMMENT_REMOVED) {
        listener.commentRemoved(event);
    //#defaulteventdispatcher.java:116: ?null dereference
    //#    net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    basic block: bb_5
    //#    assertion: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:116: Warning: method not available
    //#    -- call on void commentRemoved(CommentEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    unanalyzed callee: void commentRemoved(CommentEvent)
      } else if (event.getType() == CommentEvent.COMMENT_APPROVED) {
        listener.commentApproved(event);
    //#defaulteventdispatcher.java:118: ?null dereference
    //#    net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    basic block: bb_7
    //#    assertion: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:118: Warning: call too complex - analysis skipped
    //#    -- call on void commentApproved(CommentEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    unanalyzed callee: void commentApproved(CommentEvent)
      } else if (event.getType() == CommentEvent.COMMENT_REJECTED) {
        listener.commentRejected(event);
    //#defaulteventdispatcher.java:120: ?null dereference
    //#    net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    basic block: bb_9
    //#    assertion: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/comment/CommentListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:120: Warning: call too complex - analysis skipped
    //#    -- call on void commentRejected(CommentEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireCommentEvent(CommentEvent)
    //#    unanalyzed callee: void commentRejected(CommentEvent)
      }

      // has the event been vetoed?
      if (event.isVetoed()) {
        break;
      }
    }
  }
    //#defaulteventdispatcher.java:128: end of method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireCommentEvent(CommentEvent)

  /**
   * Fires a TrackBack event to registered listeners.
   *
   * @param event   the TrackBackEvent instance
   */
  public void fireTrackBackEvent(TrackBackEvent event) {
    Iterator it = getEventListenerList().getTrackBackListeners().iterator();
    //#defaulteventdispatcher.java:136: method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireTrackBackEvent(TrackBackEvent)
    //#input(void fireTrackBackEvent(TrackBackEvent)): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#input(void fireTrackBackEvent(TrackBackEvent)): __Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList;
    //#input(void fireTrackBackEvent(TrackBackEvent)): event
    //#input(void fireTrackBackEvent(TrackBackEvent)): event.__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): event.type
    //#input(void fireTrackBackEvent(TrackBackEvent)): event.vetoed
    //#input(void fireTrackBackEvent(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#1).__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#2).__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): net.sourceforge.pebble.domain.State__static_init.new State(State__static_init#3).__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[net/sourceforge/pebble/api/event/trackback/TrackBackEvent]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getTrackBack()Lnet/sourceforge/pebble/domain/TrackBack;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.getType()I
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackEvent.__Dispatch_Table.isVetoed()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[net/sourceforge/pebble/domain/Blog]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getPluginProperties()Lnet/sourceforge/pebble/PluginProperties;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Blog.__Dispatch_Table.getResponseIndex()Lnet/sourceforge/pebble/index/ResponseIndex;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[net/sourceforge/pebble/domain/BlogEntry]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/BlogEntry.__Dispatch_Table.getBlog()Lnet/sourceforge/pebble/domain/Blog;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getId()J
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getIpAddress()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isApproved()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isPending()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Comment.__Dispatch_Table.isRejected()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Comment]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/Response]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getId()J
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getIpAddress()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isApproved()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isPending()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/Response.__Dispatch_Table.isRejected()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Descendant_Table[net/sourceforge/pebble/domain/ResponseManager]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.addRecentTrackBack(Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.removeRecentTrackBack(Lnet/sourceforge/pebble/domain/TrackBack;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/ResponseManager.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.APPROVED
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.PENDING
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.REJECTED
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[net/sourceforge/pebble/domain/State]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/State.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[net/sourceforge/pebble/domain/TrackBack]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogEntry()Lnet/sourceforge/pebble/domain/BlogEntry;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getBlogName()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getGuid()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getId()J
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getIpAddress()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getState()Lnet/sourceforge/pebble/domain/State;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isApproved()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isPending()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/domain/TrackBack.__Dispatch_Table.isRejected()Z
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/AuditListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[net/sourceforge/pebble/event/EventListenerList]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/EventListenerList.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/EventListenerList.__Dispatch_Table.getTrackBackListeners()Ljava/util/List;
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/ContentSpamListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/DeleteRejectedListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/DisableResponseListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/IpAddressListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/LinkSpamListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkApprovedListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/MarkPendingListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[net/sourceforge/pebble/event/response/SpamScoreListener]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/BlogEntryResponseListenerSupport.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/ContentSpamListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DeleteRejectedListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/DisableResponseListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/IpAddressListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/LinkSpamListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkApprovedWhenAuthenticatedListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/MarkPendingListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.blogEntryResponseApproved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.blogEntryResponseRemoved(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/response/SpamScoreListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/AbstractEmailNotificationListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/AbstractEmailNotificationListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/AbstractEmailNotificationListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/AbstractEmailNotificationListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailAuthorNotificationListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailAuthorNotificationListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailAuthorNotificationListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailAuthorNotificationListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailNotificationListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailNotificationListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailNotificationListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/EmailNotificationListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/TrackBackListenerSupport.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/TrackBackListenerSupport.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/TrackBackListenerSupport.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/event/trackback/TrackBackListenerSupport.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[net/sourceforge/pebble/index/ResponseIndex]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Descendant_Table[others]
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.index(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.__Dispatch_Table.unindex(Lnet/sourceforge/pebble/domain/Response;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndex.log
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.trackBackAdded(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.trackBackApproved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.trackBackRejected(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): net/sourceforge/pebble/index/ResponseIndexListener.__Dispatch_Table.trackBackRemoved(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#input(void fireTrackBackEvent(TrackBackEvent)): this
    //#input(void fireTrackBackEvent(TrackBackEvent)): this.__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList
    //#input(void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList.__Tag
    //#input(void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList.trackBackListeners
    //#pre[10] (void fireTrackBackEvent(TrackBackEvent)): this.__Tag == net/sourceforge/pebble/event/DefaultEventDispatcher
    //#pre[11] (void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList != null
    //#pre[12] (void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList.__Tag == net/sourceforge/pebble/event/EventListenerList
    //#pre[13] (void fireTrackBackEvent(TrackBackEvent)): this.eventListenerList.trackBackListeners != null
    //#pre[1] (void fireTrackBackEvent(TrackBackEvent)): (soft) event != null
    //#pre[2] (void fireTrackBackEvent(TrackBackEvent)): (soft) event.__Tag == net/sourceforge/pebble/api/event/trackback/TrackBackEvent
    //#pre[3] (void fireTrackBackEvent(TrackBackEvent)): (soft) init'ed(event.type)
    //#pre[4] (void fireTrackBackEvent(TrackBackEvent)): (soft) init'ed(event.vetoed)
    //#presumption(void fireTrackBackEvent(TrackBackEvent)): java.util.Iterator:next(...)@138 != null
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.SortedSet:remove
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getBlogEntry
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getBlog
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getResponseIndex
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:unindex
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getGuid
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.util.SecurityUtils:getUsername
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:info
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getTrackBack
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getTitle
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getBlogName
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:isApproved
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.SortedSet:add
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:isPending
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:isRejected
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:blogEntryResponseApproved
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:index
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.Blog:getIndexesDirectory
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.File
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:org.apache.commons.logging.Log:error
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.FileWriter
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:write
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:newLine
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:flush
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.io.BufferedWriter:close
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.Date:getTime
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.domain.BlogEntry:getId
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.api.event.trackback.TrackBackEvent:getSource
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getState
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getIpAddress
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:getPluginProperties
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.PluginProperties:getProperty
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:addIpAddress
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:removeIpAddress
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.PluginProperties:setProperty
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:net.sourceforge.pebble.PluginProperties:store
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuffer
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuffer:length
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuffer:append
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.lang.StringBuffer:toString
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:isListed
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void fireTrackBackEvent(TrackBackEvent)): Effects-of-calling:java.util.Collections:sort
    //#test_vector(void fireTrackBackEvent(TrackBackEvent)): java.util.Iterator:hasNext(...)@137: {1}, {0}
    while (it.hasNext()) {
      TrackBackListener listener = (TrackBackListener)it.next();
      if (event.getType() == TrackBackEvent.TRACKBACK_ADDED) {
        listener.trackBackAdded(event);
    //#defaulteventdispatcher.java:140: ?null dereference
    //#    net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    basic block: bb_3
    //#    assertion: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:140: Warning: call too complex - analysis skipped
    //#    -- call on void trackBackAdded(TrackBackEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    unanalyzed callee: void trackBackAdded(TrackBackEvent)
      } else if (event.getType() == TrackBackEvent.TRACKBACK_REMOVED) {
        listener.trackBackRemoved(event);
    //#defaulteventdispatcher.java:142: ?null dereference
    //#    net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    basic block: bb_5
    //#    assertion: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:142: Warning: method not available
    //#    -- call on void trackBackRemoved(TrackBackEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    unanalyzed callee: void trackBackRemoved(TrackBackEvent)
      } else if (event.getType() == TrackBackEvent.TRACKBACK_APPROVED) {
        listener.trackBackApproved(event);
    //#defaulteventdispatcher.java:144: ?null dereference
    //#    net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    basic block: bb_7
    //#    assertion: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:144: Warning: method not available
    //#    -- call on void trackBackApproved(TrackBackEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    unanalyzed callee: void trackBackApproved(TrackBackEvent)
      } else if (event.getType() == TrackBackEvent.TRACKBACK_REJECTED) {
        listener.trackBackRejected(event);
    //#defaulteventdispatcher.java:146: ?null dereference
    //#    net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    severity: SUPPRESSED
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    basic block: bb_9
    //#    assertion: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[listener.__Tag] != null
    //#    VN: net/sourceforge/pebble/api/event/trackback/TrackBackListener.__Descendant_Table[java.util.Iterator:next(...).__Tag]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#defaulteventdispatcher.java:146: Warning: call too complex - analysis skipped
    //#    -- call on void trackBackRejected(TrackBackEvent)
    //#    severity: INFORMATIONAL
    //#    class: net.sourceforge.pebble.event.DefaultEventDispatcher
    //#    method: void fireTrackBackEvent(TrackBackEvent)
    //#    unanalyzed callee: void trackBackRejected(TrackBackEvent)
      }

      // has the event been vetoed?
      if (event.isVetoed()) {
        break;
      }
    }
  }
    //#defaulteventdispatcher.java:154: end of method: void net.sourceforge.pebble.event.DefaultEventDispatcher.fireTrackBackEvent(TrackBackEvent)

}    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireBlogEntryEvent(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireBlogEvent(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireCommentEvent(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireEvents(Lnet/sourceforge/pebble/domain/BlogEntry;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireTrackBackEvent(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList;
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.setEventListenerList(Lnet/sourceforge/pebble/event/EventListenerList;)V
    //#output(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): net/sourceforge/pebble/api/event/EventDispatcher.__Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher]
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): net/sourceforge/pebble/api/event/EventDispatcher.__Descendant_Table[net/sourceforge/pebble/event/DefaultEventDispatcher] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireBlogEntryEvent(Lnet/sourceforge/pebble/api/event/blogentry/BlogEntryEvent;)V == &fireBlogEntryEvent
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireBlogEvent(Lnet/sourceforge/pebble/api/event/blog/BlogEvent;)V == &fireBlogEvent
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireCommentEvent(Lnet/sourceforge/pebble/api/event/comment/CommentEvent;)V == &fireCommentEvent
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireEvents(Lnet/sourceforge/pebble/domain/BlogEntry;)V == &net/sourceforge/pebble/api/event/EventDispatcher.fireEvents
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.fireTrackBackEvent(Lnet/sourceforge/pebble/api/event/trackback/TrackBackEvent;)V == &fireTrackBackEvent
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.getEventListenerList()Lnet/sourceforge/pebble/event/EventListenerList; == &net/sourceforge/pebble/api/event/EventDispatcher.getEventListenerList
    //#post(net.sourceforge.pebble.event.DefaultEventDispatcher__static_init): __Dispatch_Table.setEventListenerList(Lnet/sourceforge/pebble/event/EventListenerList;)V == &net/sourceforge/pebble/api/event/EventDispatcher.setEventListenerList
    //#defaulteventdispatcher.java:: end of method: net.sourceforge.pebble.event.DefaultEventDispatcher.net.sourceforge.pebble.event.DefaultEventDispatcher__static_init
    //#defaulteventdispatcher.java:: end of class: net.sourceforge.pebble.event.DefaultEventDispatcher
