//# 0 errors, 554 messages
//#
/*
    //#SwingUpdaterDialog.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1
    //#SwingUpdaterDialog.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init
    //#SwingUpdaterDialog.java:1:1: class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#SwingUpdaterDialog.java:1:1: method: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__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.updater;

import com.dmdirc.addons.ui_swing.MainFrame;
import com.dmdirc.updater.UpdateCheckerListener;
import com.dmdirc.ui.interfaces.UpdaterDialog;
import com.dmdirc.addons.ui_swing.components.text.TextLabel;
import com.dmdirc.addons.ui_swing.components.PackingTable;
import com.dmdirc.addons.ui_swing.components.StandardDialog;
import com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer;
import com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer;
import com.dmdirc.updater.Update;
import com.dmdirc.updater.UpdateChecker;
import com.dmdirc.updater.UpdateChecker.STATE;

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

import javax.swing.JButton;
import javax.swing.JScrollPane;
import javax.swing.JTable;
import javax.swing.ListSelectionModel;
import javax.swing.WindowConstants;
import javax.swing.table.TableCellRenderer;

import net.miginfocom.swing.MigLayout;

/**
 * The updater dialog informs the user of the new update that is available,
 * and walks them through the process of downloading the update.
 */
public final class SwingUpdaterDialog extends StandardDialog implements
    //#SwingUpdaterDialog.java:55: method: UpdateComponentTableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.access$000(SwingUpdaterDialog)
    //#input(UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): x0
    //#input(UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): x0.updateComponentRenderer
    //#output(UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): return_value
    //#pre[1] (UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): x0 != null
    //#pre[2] (UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): init'ed(x0.updateComponentRenderer)
    //#post(UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): return_value == x0.updateComponentRenderer
    //#post(UpdateComponentTableCellRenderer access$000(SwingUpdaterDialog)): init'ed(return_value)
    //#SwingUpdaterDialog.java:55: end of method: UpdateComponentTableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.access$000(SwingUpdaterDialog)
    //#SwingUpdaterDialog.java:55: method: UpdateStatusTableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.access$100(SwingUpdaterDialog)
    //#input(UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): x0
    //#input(UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): x0.updateStatusRenderer
    //#output(UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): return_value
    //#pre[1] (UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): x0 != null
    //#pre[2] (UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): init'ed(x0.updateStatusRenderer)
    //#post(UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): return_value == x0.updateStatusRenderer
    //#post(UpdateStatusTableCellRenderer access$100(SwingUpdaterDialog)): init'ed(return_value)
    //#SwingUpdaterDialog.java:55: end of method: UpdateStatusTableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.access$100(SwingUpdaterDialog)
        ActionListener, UpdaterDialog, UpdateCheckerListener {

    /**
     * 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 = 3;
    /** Previously created instance of SwingUpdaterDialog. */
    private static volatile SwingUpdaterDialog me;
    /** Update table. */
    private JTable table;
    /** Table scrollpane. */
    private JScrollPane scrollPane;
    /** The label we use for the dialog header. */
    private TextLabel header;
    /** UpdateComponent renderer. */
    private UpdateComponentTableCellRenderer updateComponentRenderer;
    /** Update.Status renderer. */
    private UpdateStatusTableCellRenderer updateStatusRenderer;
    /** Swing controller. */
    private MainFrame mainFrame;

    /**
     * Creates a new instance of the updater dialog.
     * 
     * @param updates A list of updates that are available.
     * @param mainFrame Main frame
     */
    private SwingUpdaterDialog(final List<Update> updates, final MainFrame mainFrame) {
        super(mainFrame, ModalityType.MODELESS);
    //#SwingUpdaterDialog.java:86: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#SwingUpdaterDialog.java:86: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.setUpdates(Ljava/util/List;)V
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): mainFrame
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): updates
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).this$0
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.header
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.mainFrame
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.scrollPane
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.table
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.updateComponentRenderer
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.updateStatusRenderer
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1)
    //#pre[3] (void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): updates != null
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton(...)@96 != null
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton(...)@95 != null
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): init'ed(java.awt.Dialog$ModalityType.MODELESS)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.header == &new TextLabel(initComponents#3)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.mainFrame == mainFrame
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): init'ed(this.mainFrame)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.scrollPane == &new JScrollPane(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.table == &new SwingUpdaterDialog$1(initComponents#5)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.updateComponentRenderer == &new UpdateComponentTableCellRenderer(initComponents#2)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): this.updateStatusRenderer == &new UpdateStatusTableCellRenderer(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).__Tag == com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog$1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).this$0 == this
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).this$0 != null
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setDefaultCloseOperation
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.updater.Update:addUpdateListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel:fireTableDataChanged
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.table.AbstractTableModel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:getNumberInstance
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMaximumFractionDigits
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMinimumFractionDigits
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.PackingTable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateRowSorter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateColumnsFromModel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setColumnSelectionAllowed
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setCellSelectionEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setFillsViewportHeight
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setRowSelectionAllowed
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setSelectionMode
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:getRowSorter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.RowSorter:toggleSortOrder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:orderButtons
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getLeftButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getRightButton
        
        this.mainFrame = mainFrame;

        initComponents(updates);
        layoutComponents();

        UpdateChecker.addListener(this);
    //#SwingUpdaterDialog.java:93: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.updater.UpdateChecker:addListener(UpdateCheckerListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.updater.UpdateChecker:addListener(UpdateCheckerListener)

        getOkButton().addActionListener(this);
    //#SwingUpdaterDialog.java:95: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
        getCancelButton().addActionListener(this);
    //#SwingUpdaterDialog.java:96: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()

        setTitle("Update available");
    //#SwingUpdaterDialog.java:98: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setTitle(String)
        setSize(new Dimension(450, 400));
    //#SwingUpdaterDialog.java:99: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setSize(Dimension)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setSize(Dimension)
    }
    //#SwingUpdaterDialog.java:100: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog(List, MainFrame)

    /**
     * Creates the dialog if one doesn't exist, and displays it.
     * 
     * @param updates The updates that are available
     * @param mainFrame Main frame
     */
    public static void showSwingUpdaterDialog(
            final List<Update> updates, final MainFrame mainFrame) {
        me = getSwingUpdaterDialog(updates, mainFrame);
    //#SwingUpdaterDialog.java:110: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.showSwingUpdaterDialog(List, MainFrame)
    //#input(void showSwingUpdaterDialog(List, MainFrame)): __Class_Obj.__Lock
    //#input(void showSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel]
    //#input(void showSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[others]
    //#input(void showSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.setUpdates(Ljava/util/List;)V
    //#input(void showSwingUpdaterDialog(List, MainFrame)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void showSwingUpdaterDialog(List, MainFrame)): mainFrame
    //#input(void showSwingUpdaterDialog(List, MainFrame)): me
    //#input(void showSwingUpdaterDialog(List, MainFrame)): updates
    //#output(void showSwingUpdaterDialog(List, MainFrame)): me
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).__Tag
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).this$0
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).__Tag
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).header
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).mainFrame
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).scrollPane
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).table
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateComponentRenderer
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateStatusRenderer
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects
    //#output(void showSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2)
    //#new obj(void showSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1)
    //#pre[4] (void showSwingUpdaterDialog(List, MainFrame)): init'ed(me)
    //#pre[5] (void showSwingUpdaterDialog(List, MainFrame)): updates != null
    //#post(void showSwingUpdaterDialog(List, MainFrame)): me == One-of{&new SwingUpdaterDialog(getSwingUpdaterDialog#1), old me}
    //#post(void showSwingUpdaterDialog(List, MainFrame)): me != null
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1) num objects <= 1
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2) num objects == new ArrayList(setUpdates#1) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects <= 1
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects == new JScrollPane(initComponents#4) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects == new JScrollPane(initComponents#4) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects == new JScrollPane(initComponents#4) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects == new JScrollPane(initComponents#4) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects == new JScrollPane(initComponents#4) num objects
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog$1(initComponents#5).__Tag)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog$1(initComponents#5).this$0)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).__Tag)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).header)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).mainFrame)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).scrollPane)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).table)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateComponentRenderer)
    //#post(void showSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateStatusRenderer)
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setDefaultCloseOperation
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.updater.Update:addUpdateListener
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel:fireTableDataChanged
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.table.AbstractTableModel
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:getNumberInstance
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMaximumFractionDigits
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMinimumFractionDigits
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.PackingTable
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateRowSorter
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateColumnsFromModel
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setColumnSelectionAllowed
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setCellSelectionEnabled
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setFillsViewportHeight
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setRowSelectionAllowed
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setSelectionMode
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:getRowSorter
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.RowSorter:toggleSortOrder
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:orderButtons
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLayout
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getLeftButton
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getRightButton
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.updater.UpdateChecker:addListener
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setTitle
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.awt.Dimension
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setSize
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLocationRelativeTo
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setVisible
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:requestFocusInWindow
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void showSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:getModel
        me.display();
    }
    //#SwingUpdaterDialog.java:112: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.showSwingUpdaterDialog(List, MainFrame)

    /**
     * Gets the dialog if one doesn't exist.
     * 
     * @param updates The updates that are available
     * @param mainFrame Main frame
     * @return SwingUpdaterDialog instance
     */
    public static SwingUpdaterDialog getSwingUpdaterDialog(
            final List<Update> updates, final MainFrame mainFrame) {
        synchronized (SwingUpdaterDialog.class) {
    //#SwingUpdaterDialog.java:123: method: SwingUpdaterDialog com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.getSwingUpdaterDialog(List, MainFrame)
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): __Class_Obj.__Lock
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel]
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[others]
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.setUpdates(Ljava/util/List;)V
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): java.awt.Dialog$ModalityType.MODELESS
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): mainFrame
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me
    //#input(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): updates
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).__Tag
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5).this$0
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).__Tag
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).header
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).mainFrame
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).scrollPane
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).table
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateComponentRenderer
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateStatusRenderer
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects
    //#output(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): return_value
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2)
    //#new obj(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1)
    //#pre[3] (SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(me)
    //#pre[4] (SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): updates != null
    //#presumption(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): javax.swing.JTable:getModel(...).__Tag@127 == com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel
    //#presumption(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): javax.swing.JTable:getModel(...)@127 != null
    //#presumption(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me.table != null
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me == One-of{&new SwingUpdaterDialog(getSwingUpdaterDialog#1), old me}
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me != null
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): return_value == One-of{&new SwingUpdaterDialog(getSwingUpdaterDialog#1), old me}
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): return_value != null
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new ArrayList(setUpdates#1) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new HashMap(setUpdates#2) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new JScrollPane(initComponents#4) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog$1(initComponents#5) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog$1(initComponents#5).__Tag)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog$1(initComponents#5).this$0)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new SwingUpdaterDialog(getSwingUpdaterDialog#1) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).__Tag)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).header)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).mainFrame)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).scrollPane)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).table)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateComponentRenderer)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): init'ed(new SwingUpdaterDialog(getSwingUpdaterDialog#1).updateStatusRenderer)
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new TextLabel(initComponents#3) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateComponentTableCellRenderer(initComponents#2) num objects <= 1
    //#post(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): new UpdateStatusTableCellRenderer(initComponents#1) num objects <= 1
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setDefaultCloseOperation
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.updater.Update:addUpdateListener
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel:fireTableDataChanged
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.table.AbstractTableModel
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:getNumberInstance
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMaximumFractionDigits
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.text.NumberFormat:setMinimumFractionDigits
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.PackingTable
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateRowSorter
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setAutoCreateColumnsFromModel
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setColumnSelectionAllowed
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setCellSelectionEnabled
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setFillsViewportHeight
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setRowSelectionAllowed
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:setSelectionMode
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JTable:getRowSorter
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.RowSorter:toggleSortOrder
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:orderButtons
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLayout
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getLeftButton
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getRightButton
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.updater.UpdateChecker:addListener
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setTitle
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:java.awt.Dimension
    //#unanalyzed(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setSize
    //#test_vector(SwingUpdaterDialog getSwingUpdaterDialog(List, MainFrame)): me: Inverse{null}, Addr_Set{null}
            if (me == null) {
                me = new SwingUpdaterDialog(updates, mainFrame);
            } else {
                ((UpdateTableModel) me.table.getModel()).setUpdates(updates);
            }
        }

        return me;
    //#SwingUpdaterDialog.java:131: end of method: SwingUpdaterDialog com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.getSwingUpdaterDialog(List, MainFrame)
    }

    /** 
     * Initialises the components.
     * 
     * @param updates The updates that are available
     */
    private void initComponents(final List<Update> updates) {
        setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
    //#SwingUpdaterDialog.java:140: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.initComponents(List)
    //#SwingUpdaterDialog.java:140: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setDefaultCloseOperation(int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void initComponents(List)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setDefaultCloseOperation(int)
    //#input(void initComponents(List)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel]
    //#input(void initComponents(List)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[others]
    //#input(void initComponents(List)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.setUpdates(Ljava/util/List;)V
    //#input(void initComponents(List)): this
    //#input(void initComponents(List)): updates
    //#output(void initComponents(List)): new JScrollPane(initComponents#4) num objects
    //#output(void initComponents(List)): new SwingUpdaterDialog$1(initComponents#5) num objects
    //#output(void initComponents(List)): this.table.__Tag
    //#output(void initComponents(List)): this.table.this$0
    //#output(void initComponents(List)): new TextLabel(initComponents#3) num objects
    //#output(void initComponents(List)): new UpdateComponentTableCellRenderer(initComponents#2) num objects
    //#output(void initComponents(List)): new UpdateStatusTableCellRenderer(initComponents#1) num objects
    //#output(void initComponents(List)): this.header
    //#output(void initComponents(List)): this.scrollPane
    //#output(void initComponents(List)): this.table
    //#output(void initComponents(List)): this.updateComponentRenderer
    //#output(void initComponents(List)): this.updateStatusRenderer
    //#new obj(void initComponents(List)): new JScrollPane(initComponents#4)
    //#new obj(void initComponents(List)): new SwingUpdaterDialog$1(initComponents#5)
    //#new obj(void initComponents(List)): new TextLabel(initComponents#3)
    //#new obj(void initComponents(List)): new UpdateComponentTableCellRenderer(initComponents#2)
    //#new obj(void initComponents(List)): new UpdateStatusTableCellRenderer(initComponents#1)
    //#pre[2] (void initComponents(List)): updates != null
    //#presumption(void initComponents(List)): javax.swing.JTable:getRowSorter(...)@174 != null
    //#post(void initComponents(List)): this.header == &new TextLabel(initComponents#3)
    //#post(void initComponents(List)): this.scrollPane == &new JScrollPane(initComponents#4)
    //#post(void initComponents(List)): this.table == &new SwingUpdaterDialog$1(initComponents#5)
    //#post(void initComponents(List)): this.updateComponentRenderer == &new UpdateComponentTableCellRenderer(initComponents#2)
    //#post(void initComponents(List)): this.updateStatusRenderer == &new UpdateStatusTableCellRenderer(initComponents#1)
    //#post(void initComponents(List)): new JScrollPane(initComponents#4) num objects == 1
    //#post(void initComponents(List)): new SwingUpdaterDialog$1(initComponents#5) num objects == 1
    //#post(void initComponents(List)): new TextLabel(initComponents#3) num objects == 1
    //#post(void initComponents(List)): new UpdateComponentTableCellRenderer(initComponents#2) num objects == 1
    //#post(void initComponents(List)): new UpdateStatusTableCellRenderer(initComponents#1) num objects == 1
    //#post(void initComponents(List)): this.table.__Tag == com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog$1
    //#post(void initComponents(List)): this.table.this$0 == this
    //#post(void initComponents(List)): this.table.this$0 != null
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void initComponents(List)): Effects-of-calling:com.dmdirc.updater.Update:addUpdateListener
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.lang.Boolean:valueOf
    //#unanalyzed(void initComponents(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.UpdateTableModel:fireTableDataChanged
    //#unanalyzed(void initComponents(List)): Effects-of-calling:javax.swing.table.AbstractTableModel
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.text.NumberFormat:getNumberInstance
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.text.NumberFormat:setMaximumFractionDigits
    //#unanalyzed(void initComponents(List)): Effects-of-calling:java.text.NumberFormat:setMinimumFractionDigits
    //#unanalyzed(void initComponents(List)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.PackingTable
        updateStatusRenderer = new UpdateStatusTableCellRenderer();
    //#SwingUpdaterDialog.java:141: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void initComponents(List)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.renderers.UpdateStatusTableCellRenderer()
        updateComponentRenderer = new UpdateComponentTableCellRenderer();
    //#SwingUpdaterDialog.java:142: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void initComponents(List)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.renderers.UpdateComponentTableCellRenderer()

        header = new TextLabel("An update is available for one or more " +
    //#SwingUpdaterDialog.java:144: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.TextLabel(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void initComponents(List)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.TextLabel(String)
                "components of DMDirc:");

        scrollPane = new JScrollPane();
        table = new PackingTable(new UpdateTableModel(updates), false,
                scrollPane) {
    //#SwingUpdaterDialog.java:149: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)
    //#SwingUpdaterDialog.java:149: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.PackingTable(TableModel, bool, JScrollPane)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.PackingTable(TableModel, bool, JScrollPane)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): this
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): x0
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): x1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): x2
    //#output(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): this.this$0
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)): init'ed(this.this$0)
    //#SwingUpdaterDialog.java:149: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1(SwingUpdaterDialog, TableModel, bool, JScrollPane)

            private static final long serialVersionUID = 1;

            @Override
            public TableCellRenderer getCellRenderer(final int row,
                    final int column) {
                switch (column) {
    //#SwingUpdaterDialog.java:156: method: TableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.getCellRenderer(int, int)
    //#input(TableCellRenderer getCellRenderer(int, int)): column
    //#input(TableCellRenderer getCellRenderer(int, int)): row
    //#input(TableCellRenderer getCellRenderer(int, int)): this
    //#input(TableCellRenderer getCellRenderer(int, int)): this.this$0
    //#input(TableCellRenderer getCellRenderer(int, int)): this.this$0.updateComponentRenderer
    //#input(TableCellRenderer getCellRenderer(int, int)): this.this$0.updateStatusRenderer
    //#output(TableCellRenderer getCellRenderer(int, int)): return_value
    //#pre[4] (TableCellRenderer getCellRenderer(int, int)): (soft) this.this$0 != null
    //#pre[5] (TableCellRenderer getCellRenderer(int, int)): (soft) init'ed(this.updateComponentRenderer)
    //#pre[6] (TableCellRenderer getCellRenderer(int, int)): (soft) init'ed(this.updateStatusRenderer)
    //#post(TableCellRenderer getCellRenderer(int, int)): init'ed(return_value)
    //#test_vector(TableCellRenderer getCellRenderer(int, int)): column: {1}, {3}, {-2_147_483_648..0, 2, 4..4_294_967_295}
                    case 1:
                        return updateComponentRenderer;
                    case 3:
                        return updateStatusRenderer;
                    default:
                        return super.getCellRenderer(row, column);
    //#SwingUpdaterDialog.java:162: Warning: method not available - call not analyzed
    //#    call on TableCellRenderer com.dmdirc.addons.ui_swing.components.PackingTable:getCellRenderer(int, int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1
    //#    method: TableCellRenderer getCellRenderer(int, int)
    //#    unanalyzed callee: TableCellRenderer com.dmdirc.addons.ui_swing.components.PackingTable:getCellRenderer(int, int)
    //#SwingUpdaterDialog.java:162: end of method: TableCellRenderer com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.getCellRenderer(int, int)
                }
            }
        };

        table.setAutoCreateRowSorter(true);
        table.setAutoCreateColumnsFromModel(true);
        table.setColumnSelectionAllowed(false);
        table.setCellSelectionEnabled(false);
        table.setFillsViewportHeight(false);
        table.setRowSelectionAllowed(true);
        table.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
        table.getRowSorter().toggleSortOrder(0);

        scrollPane.setViewportView(table);

        orderButtons(new JButton(), new JButton());
    //#SwingUpdaterDialog.java:178: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:orderButtons(JButton, JButton)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void initComponents(List)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:orderButtons(JButton, JButton)
    }
    //#SwingUpdaterDialog.java:179: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.initComponents(List)

    /**
     * Lays out the components.
     */
    private void layoutComponents() {
        setLayout(new MigLayout("fill"));
    //#SwingUpdaterDialog.java:185: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.layoutComponents()
    //#SwingUpdaterDialog.java:185: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#SwingUpdaterDialog.java:185: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLayout(LayoutManager)
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.header
    //#input(void layoutComponents()): this.scrollPane
    //#pre[2] (void layoutComponents()): init'ed(this.header)
    //#pre[3] (void layoutComponents()): init'ed(this.scrollPane)

        add(header, "wrap 1.5*unrel, growx, pushx");
    //#SwingUpdaterDialog.java:187: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
        add(scrollPane, "grow, push, wrap");
    //#SwingUpdaterDialog.java:188: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
        add(getLeftButton(), "split 2, right");
    //#SwingUpdaterDialog.java:189: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getLeftButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getLeftButton()
    //#SwingUpdaterDialog.java:189: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
        add(getRightButton(), "right");
    //#SwingUpdaterDialog.java:190: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getRightButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getRightButton()
    //#SwingUpdaterDialog.java:190: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:add(Component, Object)
    }
    //#SwingUpdaterDialog.java:191: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.layoutComponents()

    /** {@inheritDoc} */
    @Override
    public void display() {
        setLocationRelativeTo(mainFrame);
    //#SwingUpdaterDialog.java:196: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.display()
    //#SwingUpdaterDialog.java:196: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLocationRelativeTo(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void display()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setLocationRelativeTo(Component)
    //#input(void display()): this
    //#input(void display()): this.mainFrame
    //#pre[2] (void display()): init'ed(this.mainFrame)
        setVisible(true);
    //#SwingUpdaterDialog.java:197: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void display()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:setVisible(bool)
        requestFocusInWindow();
    //#SwingUpdaterDialog.java:198: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:requestFocusInWindow()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void display()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:requestFocusInWindow()
    }
    //#SwingUpdaterDialog.java:199: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.display()

    /** 
     * {@inheritDoc}
     * 
     * @param e Action event
     */
    @Override
    public void actionPerformed(final ActionEvent e) {
        if (e.getSource().equals(getOkButton())) {
    //#SwingUpdaterDialog.java:208: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.actionPerformed(ActionEvent)
    //#SwingUpdaterDialog.java:208: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#input(void actionPerformed(ActionEvent)): com.dmdirc.updater.UpdateChecker$STATE.RESTART_REQUIRED
    //#input(void actionPerformed(ActionEvent)): com.dmdirc.updater.UpdateChecker$STATE.UPDATING
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/SwingRestartDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/SwingRestartDialog]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/SwingRestartDialog.__Descendant_Table[others]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/SwingRestartDialog.__Dispatch_Table.layoutComponents()V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Descendant_Table[others]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.getUpdates()Ljava/util/List;
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel.__Dispatch_Table.isEnabled(Lcom/dmdirc/updater/Update;)Z
    //#input(void actionPerformed(ActionEvent)): e
    //#input(void actionPerformed(ActionEvent)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void actionPerformed(ActionEvent)): me
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.header
    //#input(void actionPerformed(ActionEvent)): this.mainFrame
    //#input(void actionPerformed(ActionEvent)): this.table
    //#output(void actionPerformed(ActionEvent)): me
    //#pre[1] (void actionPerformed(ActionEvent)): e != null
    //#pre[3] (void actionPerformed(ActionEvent)): (soft) init'ed(me)
    //#pre[5] (void actionPerformed(ActionEvent)): (soft) this.header != null
    //#pre[6] (void actionPerformed(ActionEvent)): (soft) init'ed(this.mainFrame)
    //#pre[7] (void actionPerformed(ActionEvent)): (soft) this.table != null
    //#presumption(void actionPerformed(ActionEvent)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton(...)@210 != null
    //#presumption(void actionPerformed(ActionEvent)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton(...)@209 != null
    //#presumption(void actionPerformed(ActionEvent)): init'ed(com.dmdirc.updater.UpdateChecker$STATE.RESTART_REQUIRED)
    //#presumption(void actionPerformed(ActionEvent)): init'ed(com.dmdirc.updater.UpdateChecker$STATE.UPDATING)
    //#presumption(void actionPerformed(ActionEvent)): init'ed(java.awt.Dialog$ModalityType.MODELESS)
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getSource(...)@208 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getSource(...)@228 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JTable:getModel(...).__Tag@214 == com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JTable:getModel(...).__Tag@215 == com/dmdirc/addons/ui_swing/dialogs/updater/UpdateTableModel
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JTable:getModel(...).enabled@215 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JTable:getModel(...)@214 != null
    //#presumption(void actionPerformed(ActionEvent)): javax.swing.JTable:getModel(...)@215 != null
    //#post(void actionPerformed(ActionEvent)): me == One-of{old me, null}
    //#post(void actionPerformed(ActionEvent)): init'ed(me)
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog:dispose
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Boolean:booleanValue
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:orderButtons
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:getOkButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:getCancelButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setResizable
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setLayout
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:add
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:getLeftButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:getRightButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setTitle
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setDefaultCloseOperation
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:pack
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setLocationRelativeTo
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.Boolean:booleanValue(...)@226: {1}, {0}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.Object:equals(...)@208: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.Object:equals(...)@228: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.util.Iterator:hasNext(...)@214: {0}, {1}
            getOkButton().setEnabled(false);
    //#SwingUpdaterDialog.java:209: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
            getCancelButton().setVisible(false);
    //#SwingUpdaterDialog.java:210: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()

            header.setText("DMDirc is updating the following components:");
    //#SwingUpdaterDialog.java:212: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.text.TextLabel:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.text.TextLabel:setText(String)

            for (Update update : ((UpdateTableModel) table.getModel()).getUpdates()) {
                if (!((UpdateTableModel) table.getModel()).isEnabled(update)) {
                    UpdateChecker.removeUpdate(update);
    //#SwingUpdaterDialog.java:216: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.updater.UpdateChecker:removeUpdate(Update)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.updater.UpdateChecker:removeUpdate(Update)
                }
            }

            UpdateChecker.applyUpdates();
    //#SwingUpdaterDialog.java:220: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.updater.UpdateChecker:applyUpdates()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.updater.UpdateChecker:applyUpdates()

            if (UpdateChecker.getStatus() != STATE.UPDATING) {
    //#SwingUpdaterDialog.java:222: Warning: method not available - call not analyzed
    //#    call on UpdateChecker$STATE com.dmdirc.updater.UpdateChecker:getStatus()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: UpdateChecker$STATE com.dmdirc.updater.UpdateChecker:getStatus()
                dispose();
                if (UpdateChecker.getStatus() == STATE.RESTART_REQUIRED) {
    //#SwingUpdaterDialog.java:224: Warning: method not available - call not analyzed
    //#    call on UpdateChecker$STATE com.dmdirc.updater.UpdateChecker:getStatus()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: UpdateChecker$STATE com.dmdirc.updater.UpdateChecker:getStatus()
                    new SwingRestartDialog(mainFrame, ModalityType.MODELESS).setVisible(true);
    //#SwingUpdaterDialog.java:225: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog:setVisible(bool)
                }
            }
        } else if (e.getSource().equals(getCancelButton())) {
    //#SwingUpdaterDialog.java:228: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
            dispose();
        }
    }
    //#SwingUpdaterDialog.java:231: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.actionPerformed(ActionEvent)

    /** {@inheritDoc} */
    @Override
    public void statusChanged(final STATE newStatus) {
        if (newStatus == STATE.UPDATING) {
    //#SwingUpdaterDialog.java:236: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.statusChanged(UpdateChecker$STATE)
    //#input(void statusChanged(UpdateChecker$STATE)): com.dmdirc.updater.UpdateChecker$STATE.RESTART_REQUIRED
    //#input(void statusChanged(UpdateChecker$STATE)): com.dmdirc.updater.UpdateChecker$STATE.UPDATING
    //#input(void statusChanged(UpdateChecker$STATE)): newStatus
    //#input(void statusChanged(UpdateChecker$STATE)): this
    //#presumption(void statusChanged(UpdateChecker$STATE)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton(...)@242 != null
    //#presumption(void statusChanged(UpdateChecker$STATE)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton(...)@244 != null
    //#presumption(void statusChanged(UpdateChecker$STATE)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton(...)@237 != null
    //#presumption(void statusChanged(UpdateChecker$STATE)): com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton(...)@239 != null
    //#presumption(void statusChanged(UpdateChecker$STATE)): init'ed(com.dmdirc.updater.UpdateChecker$STATE.RESTART_REQUIRED)
    //#presumption(void statusChanged(UpdateChecker$STATE)): init'ed(com.dmdirc.updater.UpdateChecker$STATE.UPDATING)
            getOkButton().setEnabled(false);
    //#SwingUpdaterDialog.java:237: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void statusChanged(UpdateChecker$STATE)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
        } else {
            getOkButton().setEnabled(true);
    //#SwingUpdaterDialog.java:239: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void statusChanged(UpdateChecker$STATE)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getOkButton()
        }
        if (newStatus == STATE.RESTART_REQUIRED) {
            getCancelButton().setVisible(false);
    //#SwingUpdaterDialog.java:242: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void statusChanged(UpdateChecker$STATE)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
        } else {
            getCancelButton().setVisible(true);
    //#SwingUpdaterDialog.java:244: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void statusChanged(UpdateChecker$STATE)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog:getCancelButton()
        }
    }
    //#SwingUpdaterDialog.java:246: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.statusChanged(UpdateChecker$STATE)
    
    /** {@inheritDoc} */
    @Override
    public void dispose() {
        if (me == null) {
    //#SwingUpdaterDialog.java:251: method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.dispose()
    //#input(void dispose()): me
    //#input(void dispose()): me.__Lock
    //#input(void dispose()): this
    //#output(void dispose()): me
    //#pre[1] (void dispose()): init'ed(me)
    //#post(void dispose()): me == null
    //#test_vector(void dispose()): me: Inverse{null}, Addr_Set{null}
            return;
        }
        synchronized (me) {
            super.dispose();
    //#SwingUpdaterDialog.java:255: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
    //#    method: void dispose()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
            me = null;
        }
    }
    //#SwingUpdaterDialog.java:258: end of method: void com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.dispose()
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog$1]
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init): __Dispatch_Table.getCellRenderer(II)Ljavax/swing/table/TableCellRenderer;
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init): __Dispatch_Table.getCellRenderer(II)Ljavax/swing/table/TableCellRenderer; == &getCellRenderer
    //#SwingUpdaterDialog.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1__static_init
    //#SwingUpdaterDialog.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog$1
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog]
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.display()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.dispose()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.initComponents(Ljava/util/List;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.statusChanged(Lcom/dmdirc/updater/UpdateChecker$STATE;)V
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/updater/SwingUpdaterDialog] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.display()V == &display
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.dispose()V == &dispose
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.initComponents(Ljava/util/List;)V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init): __Dispatch_Table.statusChanged(Lcom/dmdirc/updater/UpdateChecker$STATE;)V == &statusChanged
    //#SwingUpdaterDialog.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog.com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog__static_init
    //#SwingUpdaterDialog.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.updater.SwingUpdaterDialog
