//# 0 errors, 666 messages
//#
/*
    //#ActionTriggersListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4
    //#ActionTriggersListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init
    //#ActionTriggersListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3
    //#ActionTriggersListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init
    //#ActionTriggersListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2
    //#ActionTriggersListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init
    //#ActionTriggersListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1
    //#ActionTriggersListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init
    //#ActionTriggersListPanel.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#ActionTriggersListPanel.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 * 
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 * 
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 * 
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_swing.dialogs.actioneditor;

import com.dmdirc.actions.interfaces.ActionType;
import com.dmdirc.ui.IconManager;
import com.dmdirc.addons.ui_swing.components.ImageButton;
import com.dmdirc.addons.ui_swing.components.text.TextLabel;
import com.dmdirc.util.ListenerList;

import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.ArrayList;
import java.util.List;

import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.SwingUtilities;

import net.miginfocom.swing.MigLayout;

/**
 * Action triggers list panel.
 */
public class ActionTriggersListPanel extends JPanel {
    //#ActionTriggersListPanel.java:45: method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.access$000(ActionTriggersListPanel)
    //#input(List access$000(ActionTriggersListPanel)): x0
    //#input(List access$000(ActionTriggersListPanel)): x0.triggers
    //#output(List access$000(ActionTriggersListPanel)): return_value
    //#pre[1] (List access$000(ActionTriggersListPanel)): x0 != null
    //#pre[2] (List access$000(ActionTriggersListPanel)): init'ed(x0.triggers)
    //#post(List access$000(ActionTriggersListPanel)): return_value == x0.triggers
    //#post(List access$000(ActionTriggersListPanel)): init'ed(return_value)
    //#ActionTriggersListPanel.java:45: end of method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.access$000(ActionTriggersListPanel)
    //#ActionTriggersListPanel.java:45: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.access$100(ActionTriggersListPanel)
    //#input(void access$100(ActionTriggersListPanel)): "; "._tainted
    //#input(void access$100(ActionTriggersListPanel)): "body { font-family: "._tainted
    //#input(void access$100(ActionTriggersListPanel)): "font-size: "._tainted
    //#input(void access$100(ActionTriggersListPanel)): "pt; }"._tainted
    //#input(void access$100(ActionTriggersListPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void access$100(ActionTriggersListPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void access$100(ActionTriggersListPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void access$100(ActionTriggersListPanel)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void access$100(ActionTriggersListPanel)): x0
    //#input(void access$100(ActionTriggersListPanel)): x0.triggers
    //#pre[1] (void access$100(ActionTriggersListPanel)): x0 != null
    //#pre[2] (void access$100(ActionTriggersListPanel)): x0.triggers != null
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void access$100(ActionTriggersListPanel)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#ActionTriggersListPanel.java:45: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.access$100(ActionTriggersListPanel)

    /**
     * A version number for this class. It should be changed whenever the class
     * structure is changed (or anything else that would prevent serialized
     * objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 1;
    /** Trigger list. */
    private List<ActionType> triggers;
    /** Listeners. */
    private final ListenerList listeners = new ListenerList();
    //#ActionTriggersListPanel.java:56: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.ListenerList()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)
    //#    unanalyzed callee: void com.dmdirc.util.ListenerList()

    /** Instantiates the panel. */
    public ActionTriggersListPanel() {
        this(new ArrayList<ActionType>());
    //#ActionTriggersListPanel.java:60: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ArrayList(ActionTriggersListPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ArrayList(ActionTriggersListPanel#2).__Lock
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ListenerList(ActionTriggersListPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): this.listeners
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): this.triggers
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ArrayList(ActionTriggersListPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ListenerList(ActionTriggersListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): this.listeners == &new ListenerList(ActionTriggersListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): this.triggers == &new ArrayList(ActionTriggersListPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ArrayList(ActionTriggersListPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): new ListenerList(ActionTriggersListPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): init'ed(new ArrayList(ActionTriggersListPanel#2).__Lock)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:com.dmdirc.util.ListenerList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()): Effects-of-calling:java.util.ArrayList
    }
    //#ActionTriggersListPanel.java:61: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel()

    /**
     * Instantiates the panel.
     * 
     * @param triggers Trigger list
     */
    public ActionTriggersListPanel(final List<ActionType> triggers) {
        super();
    //#ActionTriggersListPanel.java:69: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): triggers
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ArrayList(ActionTriggersListPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this.triggers.__Lock
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ListenerList(ActionTriggersListPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this.listeners
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this.triggers
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ArrayList(ActionTriggersListPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ListenerList(ActionTriggersListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this.listeners == &new ListenerList(ActionTriggersListPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): this.triggers == &new ArrayList(ActionTriggersListPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ArrayList(ActionTriggersListPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): new ListenerList(ActionTriggersListPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): init'ed(this.triggers.__Lock)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.util.List:size
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj

        this.triggers = new ArrayList<ActionType>(triggers);

        initComponents();
        addListeners();
        layoutComponents();
    }
    //#ActionTriggersListPanel.java:76: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel(List)

    /** Initialises the components. */
    private void initComponents() {
        setLayout(new MigLayout("fillx, wrap 2"));
    //#ActionTriggersListPanel.java:80: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.initComponents()
    //#ActionTriggersListPanel.java:80: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#ActionTriggersListPanel.java:80: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setLayout(LayoutManager)
    //#input(void initComponents()): this
    }
    //#ActionTriggersListPanel.java:81: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.initComponents()

    /** Adds the listeners. */
    private void addListeners() {
    }
    //#ActionTriggersListPanel.java:85: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addListeners()
    //#ActionTriggersListPanel.java:85: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addListeners()

    /** Lays out the components. */
    private void layoutComponents() {
        synchronized (triggers) {
    //#ActionTriggersListPanel.java:89: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.layoutComponents()
    //#input(void layoutComponents()): "; "._tainted
    //#input(void layoutComponents()): "body { font-family: "._tainted
    //#input(void layoutComponents()): "font-size: "._tainted
    //#input(void layoutComponents()): "pt; }"._tainted
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void layoutComponents()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.triggers
    //#input(void layoutComponents()): this.triggers.__Lock
    //#pre[2] (void layoutComponents()): this.triggers != null
    //#presumption(void layoutComponents()): com.dmdirc.ui.IconManager:getIconManager(...)@95 != null
    //#presumption(void layoutComponents()): com.dmdirc.ui.IconManager:getIconManager(...)@95 != null
    //#presumption(void layoutComponents()): java.util.Iterator:next(...)@94 != null
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void layoutComponents()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void layoutComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void layoutComponents()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#test_vector(void layoutComponents()): java.util.Iterator:hasNext(...)@94: {0}, {1}
    //#test_vector(void layoutComponents()): java.util.List:size(...)@113: {-2_147_483_648..-1, 1..4_294_967_295}, {0}
            setVisible(false);
    //#ActionTriggersListPanel.java:90: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible(bool)

            removeAll();
    //#ActionTriggersListPanel.java:92: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll()

            for (final ActionType trigger : triggers) {
                final ImageButton button = new ImageButton("delete",
    //#ActionTriggersListPanel.java:95: Warning: method not available - call not analyzed
    //#    call on IconManager com.dmdirc.ui.IconManager:getIconManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: IconManager com.dmdirc.ui.IconManager:getIconManager()
    //#ActionTriggersListPanel.java:95: Warning: method not available - call not analyzed
    //#    call on Icon com.dmdirc.ui.IconManager:getIcon(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Icon com.dmdirc.ui.IconManager:getIcon(String)
    //#ActionTriggersListPanel.java:95: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.ImageButton(String, Icon, Icon)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.ImageButton(String, Icon, Icon)
                        IconManager.getIconManager().getIcon("close-inactive"),
                        IconManager.getIconManager().getIcon("close-active"));
                button.addActionListener(new ActionListener() {
    //#ActionTriggersListPanel.java:98: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): Param_2
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): this.this$0
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): this.val$trigger
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): init'ed(this.this$0)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): this.val$trigger == Param_2
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)): init'ed(this.val$trigger)
    //#ActionTriggersListPanel.java:98: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1(ActionTriggersListPanel, ActionType)
    //#ActionTriggersListPanel.java:98: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener(ActionListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener(ActionListener)

                    /** {@inheritDoc} */
                    @Override
                    public void actionPerformed(ActionEvent e) {
                        delTrigger(trigger);
    //#ActionTriggersListPanel.java:103: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.actionPerformed(ActionEvent)
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Descendant_Table[others]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Dispatch_Table.delTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.this$0
    //#input(void actionPerformed(ActionEvent)): this.this$0.__Tag
    //#input(void actionPerformed(ActionEvent)): this.val$trigger
    //#pre[2] (void actionPerformed(ActionEvent)): this.this$0 != null
    //#pre[3] (void actionPerformed(ActionEvent)): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
                    }
    //#ActionTriggersListPanel.java:104: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.actionPerformed(ActionEvent)
                });
                
                button.setEnabled(isEnabled());
    //#ActionTriggersListPanel.java:107: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled()
    //#ActionTriggersListPanel.java:107: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled(bool)
                
                add(new JLabel(trigger.getName()), "growx, pushx");
    //#ActionTriggersListPanel.java:109: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.actions.interfaces.ActionType:getName()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: String com.dmdirc.actions.interfaces.ActionType:getName()
    //#ActionTriggersListPanel.java:109: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component, Object)
                add(button, "right");
    //#ActionTriggersListPanel.java:110: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component, Object)
            }

            if (triggers.size() == 0) {
                add(new TextLabel("No triggers."));
    //#ActionTriggersListPanel.java:114: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add(Component)
            }
            setVisible(true);
    //#ActionTriggersListPanel.java:116: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible(bool)
        }
    }
    //#ActionTriggersListPanel.java:118: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.layoutComponents()

    /**
     * Adds a trigger to the list.
     * 
     * @param trigger Trigger to add
     */
    public void addTrigger(final ActionType trigger) {
        SwingUtilities.invokeLater(new Runnable() {
    //#ActionTriggersListPanel.java:126: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): Param_2
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): this.this$0
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): this.val$trigger
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): init'ed(this.this$0)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): this.val$trigger == Param_2
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)): init'ed(this.val$trigger)
    //#ActionTriggersListPanel.java:126: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2(ActionTriggersListPanel, ActionType)
    //#ActionTriggersListPanel.java:126: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addTrigger(ActionType)
    //#input(void addTrigger(ActionType)): this
    //#input(void addTrigger(ActionType)): trigger

            /** {@inheritDoc} */
            @Override
            public void run() {
                synchronized (triggers) {
    //#ActionTriggersListPanel.java:131: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.run()
    //#input(void run()): "; "._tainted
    //#input(void run()): "body { font-family: "._tainted
    //#input(void run()): "font-size: "._tainted
    //#input(void run()): "pt; }"._tainted
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void run()): this
    //#input(void run()): this.this$0
    //#input(void run()): this.this$0.triggers
    //#input(void run()): this.val$trigger
    //#pre[2] (void run()): this.this$0 != null
    //#pre[3] (void run()): this.triggers != null
    //#presumption(void run()): java.util.List:size(...)@133 >= -2_147_483_647
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void run()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
                    triggers.add(trigger);
                    firePropertyChange("triggerCount", triggers.size() - 1,
    //#ActionTriggersListPanel.java:133: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2
    //#    method: void run()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
                            triggers.size());

                    layoutComponents();
                }
            }
    //#ActionTriggersListPanel.java:138: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.run()
        });
    }
    //#ActionTriggersListPanel.java:140: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addTrigger(ActionType)

    /**
     * Deletes a trigger from the list.
     * 
     * @param trigger Trigger to delete
     */
    public void delTrigger(final ActionType trigger) {
        SwingUtilities.invokeLater(new Runnable() {
    //#ActionTriggersListPanel.java:148: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): Param_2
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): this.this$0
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): this.val$trigger
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): init'ed(this.this$0)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): this.val$trigger == Param_2
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)): init'ed(this.val$trigger)
    //#ActionTriggersListPanel.java:148: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3(ActionTriggersListPanel, ActionType)
    //#ActionTriggersListPanel.java:148: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.delTrigger(ActionType)
    //#input(void delTrigger(ActionType)): this
    //#input(void delTrigger(ActionType)): trigger

            /** {@inheritDoc} */
            @Override
            public void run() {
                synchronized (triggers) {
    //#ActionTriggersListPanel.java:153: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.run()
    //#input(void run()): "; "._tainted
    //#input(void run()): "body { font-family: "._tainted
    //#input(void run()): "font-size: "._tainted
    //#input(void run()): "pt; }"._tainted
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener]
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersPanel]
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[others]
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Dispatch_Table.triggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel]
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Descendant_Table[others]
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel.__Dispatch_Table.fireTriggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void run()): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersPanel.__Dispatch_Table.triggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void run()): this
    //#input(void run()): this.this$0
    //#input(void run()): this.this$0.__Tag
    //#input(void run()): this.this$0.listeners
    //#input(void run()): this.this$0.triggers
    //#input(void run()): this.val$trigger
    //#pre[2] (void run()): this.this$0 != null
    //#pre[3] (void run()): this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel
    //#pre[4] (void run()): this.listeners != null
    //#pre[5] (void run()): this.triggers != null
    //#presumption(void run()): java.util.List:size(...)@156 <= 4_294_967_294
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.util.ListenerList:get
    //#unanalyzed(void run()): Effects-of-calling:triggerRemoved
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void run()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
                    triggers.remove(trigger);
                    fireTriggerRemoved(trigger);
                    firePropertyChange("triggerCount", triggers.size() + 1,
    //#ActionTriggersListPanel.java:156: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3
    //#    method: void run()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
                            triggers.size());

                    layoutComponents();
                }
            }
    //#ActionTriggersListPanel.java:161: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.run()
        });
    }
    //#ActionTriggersListPanel.java:163: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.delTrigger(ActionType)

    /**
     * Clears the trigger list.
     */
    public void clearTriggers() {
        for (ActionType trigger : triggers) {
    //#ActionTriggersListPanel.java:169: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.clearTriggers()
    //#input(void clearTriggers()): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel]
    //#input(void clearTriggers()): __Descendant_Table[others]
    //#input(void clearTriggers()): __Dispatch_Table.delTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void clearTriggers()): this
    //#input(void clearTriggers()): this.__Tag
    //#input(void clearTriggers()): this.triggers
    //#pre[3] (void clearTriggers()): this.triggers != null
    //#pre[2] (void clearTriggers()): (soft) this.__Tag == com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel
    //#unanalyzed(void clearTriggers()): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#test_vector(void clearTriggers()): java.util.Iterator:hasNext(...)@169: {0}, {1}
            delTrigger(trigger);
        }
    }
    //#ActionTriggersListPanel.java:172: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.clearTriggers()

    /**
     * Returns the current list of triggers.
     * 
     * @return Trigger list
     */
    public List<ActionType> getTriggers() {
        synchronized (triggers) {
    //#ActionTriggersListPanel.java:180: method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTriggers()
    //#input(List getTriggers()): this
    //#input(List getTriggers()): this.triggers
    //#input(List getTriggers()): this.triggers.__Lock
    //#output(List getTriggers()): return_value
    //#pre[2] (List getTriggers()): init'ed(this.triggers)
    //#post(List getTriggers()): return_value == this.triggers
    //#post(List getTriggers()): init'ed(return_value)
            return triggers;
        }
    //#ActionTriggersListPanel.java:182: end of method: List com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTriggers()
    }

    /**
     * Gets the trigger at the specified index.
     * 
     * @param index Index to retrieve
     * 
     * @return Requested action trigger
     */
    public ActionType getTrigger(final int index) {
        return triggers.get(index);
    //#ActionTriggersListPanel.java:193: method: ActionType com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTrigger(int)
    //#input(ActionType getTrigger(int)): index
    //#input(ActionType getTrigger(int)): this
    //#input(ActionType getTrigger(int)): this.triggers
    //#output(ActionType getTrigger(int)): return_value
    //#pre[3] (ActionType getTrigger(int)): this.triggers != null
    //#post(ActionType getTrigger(int)): init'ed(return_value)
    //#ActionTriggersListPanel.java:193: end of method: ActionType com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTrigger(int)
    }

    /**
     * Returns the number of triggers.
     * 
     * @return Trigger count
     */
    public int getTriggerCount() {
        synchronized (triggers) {
    //#ActionTriggersListPanel.java:202: method: int com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTriggerCount()
    //#input(int getTriggerCount()): this
    //#input(int getTriggerCount()): this.triggers
    //#input(int getTriggerCount()): this.triggers.__Lock
    //#output(int getTriggerCount()): return_value
    //#pre[2] (int getTriggerCount()): this.triggers != null
    //#post(int getTriggerCount()): init'ed(return_value)
            return triggers.size();
        }
    //#ActionTriggersListPanel.java:204: end of method: int com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.getTriggerCount()
    }

    /**
     * Adds an ActionTriggerRemovalListener to the listener list.
     *
     * @param listener Listener to add
     */
    public void addTriggerListener(final ActionTriggerRemovalListener listener) {
        if (listener == null) {
    //#ActionTriggersListPanel.java:213: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addTriggerListener(ActionTriggerRemovalListener)
    //#input(void addTriggerListener(ActionTriggerRemovalListener)): listener
    //#input(void addTriggerListener(ActionTriggerRemovalListener)): this
    //#input(void addTriggerListener(ActionTriggerRemovalListener)): this.listeners
    //#pre[3] (void addTriggerListener(ActionTriggerRemovalListener)): (soft) this.listeners != null
    //#test_vector(void addTriggerListener(ActionTriggerRemovalListener)): listener: Inverse{null}, Addr_Set{null}
            return;
        }

        listeners.add(ActionTriggerRemovalListener.class, listener);
    //#ActionTriggersListPanel.java:217: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.ListenerList:add(Class, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void addTriggerListener(ActionTriggerRemovalListener)
    //#    unanalyzed callee: void com.dmdirc.util.ListenerList:add(Class, Object)
    }
    //#ActionTriggersListPanel.java:218: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.addTriggerListener(ActionTriggerRemovalListener)

    /**
     * Removes an ActionTriggerRemovalListener from the listener list.
     *
     * @param listener Listener to remove
     */
    public void removeTriggerListener(final ActionTriggerRemovalListener listener) {
        listeners.remove(ActionTriggerRemovalListener.class, listener);
    //#ActionTriggersListPanel.java:226: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.removeTriggerListener(ActionTriggerRemovalListener)
    //#ActionTriggersListPanel.java:226: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.ListenerList:remove(Class, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void removeTriggerListener(ActionTriggerRemovalListener)
    //#    unanalyzed callee: void com.dmdirc.util.ListenerList:remove(Class, Object)
    //#input(void removeTriggerListener(ActionTriggerRemovalListener)): listener
    //#input(void removeTriggerListener(ActionTriggerRemovalListener)): this
    //#input(void removeTriggerListener(ActionTriggerRemovalListener)): this.listeners
    //#pre[3] (void removeTriggerListener(ActionTriggerRemovalListener)): this.listeners != null
    }
    //#ActionTriggersListPanel.java:227: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.removeTriggerListener(ActionTriggerRemovalListener)

    /**
     * Fired when the an action trigger is removed.
     *
     * @param type Removed trigger
     */
    protected void fireTriggerRemoved(final ActionType type) {
        for (ActionTriggerRemovalListener listener : listeners.get(ActionTriggerRemovalListener.class)) {
    //#ActionTriggersListPanel.java:235: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.fireTriggerRemoved(ActionType)
    //#ActionTriggersListPanel.java:235: Warning: method not available - call not analyzed
    //#    call on List com.dmdirc.util.ListenerList:get(Class)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void fireTriggerRemoved(ActionType)
    //#    unanalyzed callee: List com.dmdirc.util.ListenerList:get(Class)
    //#input(void fireTriggerRemoved(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener]
    //#input(void fireTriggerRemoved(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersPanel]
    //#input(void fireTriggerRemoved(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Descendant_Table[others]
    //#input(void fireTriggerRemoved(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener.__Dispatch_Table.triggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void fireTriggerRemoved(ActionType)): com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersPanel.__Dispatch_Table.triggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#input(void fireTriggerRemoved(ActionType)): this
    //#input(void fireTriggerRemoved(ActionType)): this.listeners
    //#input(void fireTriggerRemoved(ActionType)): type
    //#pre[2] (void fireTriggerRemoved(ActionType)): this.listeners != null
    //#presumption(void fireTriggerRemoved(ActionType)): com.dmdirc.util.ListenerList:get(...)@235 != null
    //#presumption(void fireTriggerRemoved(ActionType)): java.util.Iterator:next(...).__Tag@235 in {com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener, com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersPanel}
    //#presumption(void fireTriggerRemoved(ActionType)): java.util.Iterator:next(...)@235 != null
    //#unanalyzed(void fireTriggerRemoved(ActionType)): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#test_vector(void fireTriggerRemoved(ActionType)): java.util.Iterator:hasNext(...)@235: {0}, {1}
            listener.triggerRemoved(type);
        }
    }
    //#ActionTriggersListPanel.java:238: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.fireTriggerRemoved(ActionType)

    /** {@inheritDoc} */
    @Override
    public void setEnabled(final boolean enabled) {
        super.setEnabled(enabled);
    //#ActionTriggersListPanel.java:243: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.setEnabled(bool)
    //#input(void setEnabled(bool)): enabled
    //#input(void setEnabled(bool)): this
        SwingUtilities.invokeLater(new Runnable() {
    //#ActionTriggersListPanel.java:244: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)): this.this$0
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)): init'ed(this.this$0)
    //#ActionTriggersListPanel.java:244: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4(ActionTriggersListPanel)

            /** {@inheritDoc} */
            @Override
            public void run() {
                layoutComponents();
    //#ActionTriggersListPanel.java:249: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.run()
    //#input(void run()): "; "._tainted
    //#input(void run()): "body { font-family: "._tainted
    //#input(void run()): "font-size: "._tainted
    //#input(void run()): "pt; }"._tainted
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[com/dmdirc/addons/ui_swing/components/text/TextLabel]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Descendant_Table[others]
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.getDocument()Ljavax/swing/text/StyledDocument;
    //#input(void run()): com/dmdirc/addons/ui_swing/components/text/TextLabel.__Dispatch_Table.setText(Ljava/lang/String;)V
    //#input(void run()): this
    //#input(void run()): this.this$0
    //#input(void run()): this.this$0.triggers
    //#pre[2] (void run()): this.this$0 != null
    //#pre[3] (void run()): this.triggers != null
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:setVisible
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:removeAll
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void run()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.ui.IconManager:getIcon
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:addActionListener
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:isEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.ImageButton:setEnabled
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.actions.interfaces.ActionType:getName
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:add
    //#unanalyzed(void run()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:getDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane:setText
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void run()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyledDocument:setParagraphAttributes
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.DefaultStyledDocument
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.JTextPane
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditorKit
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setUI
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void run()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setOpaque
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setEditable
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setHighlighter
    //#unanalyzed(void run()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void run()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel:setMargin
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.SimpleAttributeSet
    //#unanalyzed(void run()): Effects-of-calling:javax.swing.text.StyleConstants:setAlignment
    //#unanalyzed(void run()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
            }
    //#ActionTriggersListPanel.java:250: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.run()
        });
    }
    //#ActionTriggersListPanel.java:252: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.setEnabled(bool)
    
    /** Validates the triggers. */
    public void validateTriggers() {
        firePropertyChange("triggerCount", triggers.size(), triggers.size());
    //#ActionTriggersListPanel.java:256: method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.validateTriggers()
    //#ActionTriggersListPanel.java:256: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
    //#    method: void validateTriggers()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel:firePropertyChange(String, int, int)
    //#input(void validateTriggers()): this
    //#input(void validateTriggers()): this.triggers
    //#pre[2] (void validateTriggers()): this.triggers != null
    }
    //#ActionTriggersListPanel.java:257: end of method: void com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.validateTriggers()
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$4]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$4] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init): __Dispatch_Table.run()V == &run
    //#ActionTriggersListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4__static_init
    //#ActionTriggersListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$4
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$3]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$3] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init): __Dispatch_Table.run()V == &run
    //#ActionTriggersListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3__static_init
    //#ActionTriggersListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$3
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$2]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init): __Dispatch_Table.run()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$2] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init): __Dispatch_Table.run()V == &run
    //#ActionTriggersListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2__static_init
    //#ActionTriggersListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$2
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$1]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#ActionTriggersListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1__static_init
    //#ActionTriggersListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel$1
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel]
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addListeners()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addTriggerListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.clearTriggers()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.delTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.fireTriggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTrigger(I)Lcom/dmdirc/actions/interfaces/ActionType;
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTriggerCount()I
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTriggers()Ljava/util/List;
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.removeTriggerListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.setEnabled(Z)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.validateTriggers()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggersListPanel] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addListeners()V == &addListeners
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V == &addTrigger
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.addTriggerListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener;)V == &addTriggerListener
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.clearTriggers()V == &clearTriggers
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.delTrigger(Lcom/dmdirc/actions/interfaces/ActionType;)V == &delTrigger
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.fireTriggerRemoved(Lcom/dmdirc/actions/interfaces/ActionType;)V == &fireTriggerRemoved
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTrigger(I)Lcom/dmdirc/actions/interfaces/ActionType; == &getTrigger
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTriggerCount()I == &getTriggerCount
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.getTriggers()Ljava/util/List; == &getTriggers
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.removeTriggerListener(Lcom/dmdirc/addons/ui_swing/dialogs/actioneditor/ActionTriggerRemovalListener;)V == &removeTriggerListener
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.setEnabled(Z)V == &setEnabled
    //#post(com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init): __Dispatch_Table.validateTriggers()V == &validateTriggers
    //#ActionTriggersListPanel.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel.com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel__static_init
    //#ActionTriggersListPanel.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.actioneditor.ActionTriggersListPanel
