//# 0 errors, 366 messages
//#
/*
    //#WizardFrame.java:1:1: class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#WizardFrame.java:1:1: method: com.dmdirc.addons.ui_swing.wizard.WizardFrame.com.dmdirc.addons.ui_swing.wizard.WizardFrame__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.wizard;


import com.dmdirc.ui.CoreUIUtils;

import java.util.List;

import javax.swing.JFrame;

/**
 * Basic wizard container.
 */
public final class WizardFrame extends JFrame {

    /**
     * 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 = 2;
    /** Wizard. */
    private final WizardPanel wizard;

    /**
     * Creates a new instance of WizardFrame that requires a mainframe.
     *
     * @param title Title for the wizard
     * @param steps Steps for the wizard
     * @param wizard Wizard to inform of changes
     */
    public WizardFrame(final String title, final List<Step> steps,
            final WizardListener wizard) {
        super();
    //#WizardFrame.java:55: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addStep(Lcom/dmdirc/addons/ui_swing/wizard/Step;)V
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.BOTTOM
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.TOP
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.java.awt.Color.BLACK
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): steps
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): title
    //#input(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ArrayList(StepLayout#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#5) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#6) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JLabel(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JPanel(initComponents#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ListenerList(WizardPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).currentStep
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).hGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).vGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new TitlePanel(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new WizardPanel(WizardFrame#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.next
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.prev
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.progressLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.stepListeners
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.stepsPanel
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.title
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.titleLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ArrayList(StepLayout#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#5)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#6)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JLabel(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JPanel(initComponents#3)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ListenerList(WizardPanel#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new TitlePanel(initComponents#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new WizardPanel(WizardFrame#1)
    //#pre[1] (void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): steps != null
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard == &new WizardPanel(WizardFrame#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ArrayList(StepLayout#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#5) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JButton(initComponents#6) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JLabel(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new JPanel(initComponents#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new ListenerList(WizardPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new TitlePanel(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new WizardPanel(WizardFrame#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): init'ed(new StepLayout(WizardPanel#2).currentStep)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): init'ed(new StepLayout(WizardPanel#2).hGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): new StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): init'ed(new StepLayout(WizardPanel#2).vGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.next == &new JButton(initComponents#5)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.prev == &new JButton(initComponents#6)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.progressLabel == &new JLabel(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.stepListeners == &new ListenerList(WizardPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.steps == &new StepLayout(WizardPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.stepsPanel == &new JPanel(initComponents#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.title == title
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): init'ed(this.wizard.title)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.titleLabel == &new TitlePanel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): this.wizard.wizard == wizard
    //#post(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): init'ed(this.wizard.wizard)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardFrame:setContentPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.EtchedLineBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.TitlePanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.BorderFactory:createMatteBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:javax.swing.JPanel:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:com.dmdirc.util.ListenerList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)): Effects-of-calling:java.util.ArrayList

        setTitle(title);
    //#WizardFrame.java:57: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setTitle(String)
        setDefaultCloseOperation(DISPOSE_ON_CLOSE);
    //#WizardFrame.java:58: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setDefaultCloseOperation(int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setDefaultCloseOperation(int)
        this.wizard = new WizardPanel(title, steps, wizard);
        layoutComponents();
    }
    //#WizardFrame.java:61: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.com.dmdirc.addons.ui_swing.wizard.WizardFrame(String, List, WizardListener)

    /** Lays out the components. */
    private void layoutComponents() {
        setContentPane(wizard);
    //#WizardFrame.java:65: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.layoutComponents()
    //#WizardFrame.java:65: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setContentPane(Container)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void layoutComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setContentPane(Container)
    //#input(void layoutComponents()): this
    //#input(void layoutComponents()): this.wizard
    }
    //#WizardFrame.java:66: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.layoutComponents()

    /** Displays the wizard. */
    public void display() {
        wizard.display();
    //#WizardFrame.java:70: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.display()
    //#input(void display()): " of "._tainted
    //#input(void display()): "Step "._tainted
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/Step.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/StepLayout]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[others]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.first(Ljava/awt/Container;)V
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.isEmpty()Z
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.show(ILjava/awt/Container;)V
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.size()I
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.display()V
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep.__Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(void display()): this
    //#input(void display()): this.wizard
    //#input(void display()): this.wizard.__Tag
    //#input(void display()): this.wizard.next
    //#input(void display()): this.wizard.prev
    //#input(void display()): this.wizard.progressLabel
    //#input(void display()): this.wizard.steps
    //#input(void display()): this.wizard.steps.__Tag
    //#input(void display()): this.wizard.steps.steps
    //#input(void display()): this.wizard.stepsPanel
    //#input(void display()): this.wizard.titleLabel
    //#output(void display()): this.wizard.currentStep
    //#output(void display()): this.wizard.steps.currentStep
    //#pre[4] (void display()): this.wizard != null
    //#pre[5] (void display()): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[9] (void display()): this.wizard.steps != null
    //#pre[10] (void display()): this.wizard.steps.__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#pre[11] (void display()): this.wizard.steps.steps != null
    //#pre[6] (void display()): (soft) this.wizard.next != null
    //#pre[7] (void display()): (soft) this.wizard.prev != null
    //#pre[8] (void display()): (soft) this.wizard.progressLabel != null
    //#pre[12] (void display()): (soft) this.wizard.stepsPanel != null
    //#pre[13] (void display()): (soft) this.wizard.titleLabel != null
    //#post(void display()): this.wizard.currentStep == One-of{old this.wizard.currentStep, 0}
    //#post(void display()): possibly_updated(this.wizard.steps.currentStep)
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JButton:setEnabled
    //#unanalyzed(void display()): Effects-of-calling:java.util.List:get
    //#unanalyzed(void display()): Effects-of-calling:java.util.List:size
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getTreeLock
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getComponentCount
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:getComponent
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Component:isVisible
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Component:setVisible
    //#unanalyzed(void display()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void display()): Effects-of-calling:java.awt.Container:validate
    //#unanalyzed(void display()): Effects-of-calling:getTitle
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.TitlePanel:setText
    //#unanalyzed(void display()): Effects-of-calling:updateProgressLabel
    //#unanalyzed(void display()): Effects-of-calling:java.util.List:isEmpty
    //#unanalyzed(void display()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void display()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void display()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JLabel:setText
        CoreUIUtils.centreWindow(this);
    //#WizardFrame.java:71: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.CoreUIUtils:centreWindow(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void display()
    //#    unanalyzed callee: void com.dmdirc.ui.CoreUIUtils:centreWindow(Window)
        setResizable(false);
    //#WizardFrame.java:72: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setResizable(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void display()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setResizable(bool)
        setVisible(true);
    //#WizardFrame.java:73: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void display()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardFrame:setVisible(bool)
    }
    //#WizardFrame.java:74: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.display()
    
    /** {@inheritDoc} */
    @Override
    public void validate() {
        super.validate();
    //#WizardFrame.java:79: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.validate()
    //#input(void validate()): this
        CoreUIUtils.centreWindow(this);
    //#WizardFrame.java:80: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.CoreUIUtils:centreWindow(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
    //#    method: void validate()
    //#    unanalyzed callee: void com.dmdirc.ui.CoreUIUtils:centreWindow(Window)
    }
    //#WizardFrame.java:81: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.validate()

    /**
     * Adds a step to the wizard.
     *
     * @param step Step to add
     */
    public void addStep(final Step step) {
        wizard.addStep(step);
    //#WizardFrame.java:89: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addStep(Step)
    //#input(void addStep(Step)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void addStep(Step)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void addStep(Step)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addStep(Lcom/dmdirc/addons/ui_swing/wizard/Step;)V
    //#input(void addStep(Step)): step
    //#input(void addStep(Step)): step._tainted
    //#input(void addStep(Step)): this
    //#input(void addStep(Step)): this.wizard
    //#input(void addStep(Step)): this.wizard.__Tag
    //#input(void addStep(Step)): this.wizard.stepsPanel
    //#pre[1] (void addStep(Step)): step != null
    //#pre[4] (void addStep(Step)): this.wizard != null
    //#pre[5] (void addStep(Step)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[6] (void addStep(Step)): this.wizard.stepsPanel != null
    //#unanalyzed(void addStep(Step)): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void addStep(Step)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step:toString
    }
    //#WizardFrame.java:90: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addStep(Step)

    /**
     * Returns the step at the specified index.
     *
     * @param stepNumber step number
     *
     * @return Specified step.
     */
    public Step getStep(final int stepNumber) {
        return wizard.getStep(stepNumber);
    //#WizardFrame.java:100: method: Step com.dmdirc.addons.ui_swing.wizard.WizardFrame.getStep(int)
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/StepLayout]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[others]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(Step getStep(int)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#input(Step getStep(int)): stepNumber
    //#input(Step getStep(int)): this
    //#input(Step getStep(int)): this.wizard
    //#input(Step getStep(int)): this.wizard.__Tag
    //#input(Step getStep(int)): this.wizard.steps
    //#input(Step getStep(int)): this.wizard.steps.__Tag
    //#input(Step getStep(int)): this.wizard.steps.steps
    //#output(Step getStep(int)): return_value
    //#pre[3] (Step getStep(int)): this.wizard != null
    //#pre[4] (Step getStep(int)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (Step getStep(int)): this.wizard.steps != null
    //#pre[6] (Step getStep(int)): this.wizard.steps.__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#pre[7] (Step getStep(int)): this.wizard.steps.steps != null
    //#post(Step getStep(int)): init'ed(return_value)
    //#unanalyzed(Step getStep(int)): Effects-of-calling:java.util.List:get
    //#WizardFrame.java:100: end of method: Step com.dmdirc.addons.ui_swing.wizard.WizardFrame.getStep(int)
    }

    /**
     * Returns the current step.
     *
     * @return Current step number
     */
    public int getCurrentStep() {
        return wizard.getCurrentStep();
    //#WizardFrame.java:109: method: int com.dmdirc.addons.ui_swing.wizard.WizardFrame.getCurrentStep()
    //#input(int getCurrentStep()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(int getCurrentStep()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(int getCurrentStep()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.getCurrentStep()I
    //#input(int getCurrentStep()): this
    //#input(int getCurrentStep()): this.wizard
    //#input(int getCurrentStep()): this.wizard.__Tag
    //#input(int getCurrentStep()): this.wizard.currentStep
    //#output(int getCurrentStep()): return_value
    //#pre[2] (int getCurrentStep()): this.wizard != null
    //#pre[3] (int getCurrentStep()): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[4] (int getCurrentStep()): init'ed(this.wizard.currentStep)
    //#post(int getCurrentStep()): return_value == this.wizard.currentStep
    //#post(int getCurrentStep()): init'ed(return_value)
    //#WizardFrame.java:109: end of method: int com.dmdirc.addons.ui_swing.wizard.WizardFrame.getCurrentStep()
    }

    /**
     * Enables or disables the "next step" button.
     *
     * @param newValue boolean true to make "next" button enabled, else false
     */
    public void enableNextStep(final boolean newValue) {
        wizard.enableNextStep(newValue);
    //#WizardFrame.java:118: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.enableNextStep(bool)
    //#input(void enableNextStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void enableNextStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void enableNextStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.enableNextStep(Z)V
    //#input(void enableNextStep(bool)): newValue
    //#input(void enableNextStep(bool)): this
    //#input(void enableNextStep(bool)): this.wizard
    //#input(void enableNextStep(bool)): this.wizard.__Tag
    //#input(void enableNextStep(bool)): this.wizard.next
    //#pre[3] (void enableNextStep(bool)): this.wizard != null
    //#pre[4] (void enableNextStep(bool)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void enableNextStep(bool)): this.wizard.next != null
    //#unanalyzed(void enableNextStep(bool)): Effects-of-calling:javax.swing.JButton:setEnabled
    }
    //#WizardFrame.java:119: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.enableNextStep(bool)

    /**
     * Enables or disables the "previous step" button.
     *
     * @param newValue boolean true to make "previous" button enabled, else false
     */
    public void enablePreviousStep(final boolean newValue) {
        wizard.enablePreviousStep(newValue);
    //#WizardFrame.java:127: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.enablePreviousStep(bool)
    //#input(void enablePreviousStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void enablePreviousStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void enablePreviousStep(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.enablePreviousStep(Z)V
    //#input(void enablePreviousStep(bool)): newValue
    //#input(void enablePreviousStep(bool)): this
    //#input(void enablePreviousStep(bool)): this.wizard
    //#input(void enablePreviousStep(bool)): this.wizard.__Tag
    //#input(void enablePreviousStep(bool)): this.wizard.prev
    //#pre[3] (void enablePreviousStep(bool)): this.wizard != null
    //#pre[4] (void enablePreviousStep(bool)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void enablePreviousStep(bool)): this.wizard.prev != null
    //#unanalyzed(void enablePreviousStep(bool)): Effects-of-calling:javax.swing.JButton:setEnabled
    }
    //#WizardFrame.java:128: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.enablePreviousStep(bool)

    /**
     * Adds a step listener to the list.
     *
     * @param listener
     */
    public void addStepListener(final StepListener listener) {
        wizard.addStepListener(listener);
    //#WizardFrame.java:136: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addStepListener(StepListener)
    //#input(void addStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void addStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void addStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V
    //#input(void addStepListener(StepListener)): listener
    //#input(void addStepListener(StepListener)): this
    //#input(void addStepListener(StepListener)): this.wizard
    //#input(void addStepListener(StepListener)): this.wizard.__Tag
    //#input(void addStepListener(StepListener)): this.wizard.stepListeners
    //#pre[3] (void addStepListener(StepListener)): this.wizard != null
    //#pre[4] (void addStepListener(StepListener)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void addStepListener(StepListener)): this.wizard.stepListeners != null
    //#unanalyzed(void addStepListener(StepListener)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void addStepListener(StepListener)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    }
    //#WizardFrame.java:137: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addStepListener(StepListener)

    /**
     * Removes a step listener from the list.
     *
     * @param listener
     */
    public void removeStepListener(final StepListener listener) {
        wizard.removeStepListener(listener);
    //#WizardFrame.java:145: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.removeStepListener(StepListener)
    //#input(void removeStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void removeStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void removeStepListener(StepListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.removeStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V
    //#input(void removeStepListener(StepListener)): listener
    //#input(void removeStepListener(StepListener)): this
    //#input(void removeStepListener(StepListener)): this.wizard
    //#input(void removeStepListener(StepListener)): this.wizard.__Tag
    //#input(void removeStepListener(StepListener)): this.wizard.stepListeners
    //#pre[3] (void removeStepListener(StepListener)): this.wizard != null
    //#pre[4] (void removeStepListener(StepListener)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void removeStepListener(StepListener)): this.wizard.stepListeners != null
    //#unanalyzed(void removeStepListener(StepListener)): Effects-of-calling:com.dmdirc.util.ListenerList:remove
    //#unanalyzed(void removeStepListener(StepListener)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    }
    //#WizardFrame.java:146: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.removeStepListener(StepListener)

    /**
     * Adds a wizard listener to the list.
     *
     * @param listener
     */
    public void addWizardListener(final WizardListener listener) {
        wizard.addWizardListener(listener);
    //#WizardFrame.java:154: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addWizardListener(WizardListener)
    //#input(void addWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void addWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void addWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#input(void addWizardListener(WizardListener)): listener
    //#input(void addWizardListener(WizardListener)): this
    //#input(void addWizardListener(WizardListener)): this.wizard
    //#input(void addWizardListener(WizardListener)): this.wizard.__Tag
    //#input(void addWizardListener(WizardListener)): this.wizard.stepListeners
    //#pre[3] (void addWizardListener(WizardListener)): this.wizard != null
    //#pre[4] (void addWizardListener(WizardListener)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void addWizardListener(WizardListener)): this.wizard.stepListeners != null
    //#unanalyzed(void addWizardListener(WizardListener)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void addWizardListener(WizardListener)): Effects-of-calling:com.dmdirc.util.ListenerList:add
    }
    //#WizardFrame.java:155: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.addWizardListener(WizardListener)

    /**
     * Removes a wizard listener from the list.
     *
     * @param listener
     */
    public void removeWizardListener(final WizardListener listener) {
        wizard.removeWizardListener(listener);
    //#WizardFrame.java:163: method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.removeWizardListener(WizardListener)
    //#input(void removeWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void removeWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void removeWizardListener(WizardListener)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.removeWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#input(void removeWizardListener(WizardListener)): listener
    //#input(void removeWizardListener(WizardListener)): this
    //#input(void removeWizardListener(WizardListener)): this.wizard
    //#input(void removeWizardListener(WizardListener)): this.wizard.__Tag
    //#input(void removeWizardListener(WizardListener)): this.wizard.stepListeners
    //#pre[3] (void removeWizardListener(WizardListener)): this.wizard != null
    //#pre[4] (void removeWizardListener(WizardListener)): this.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[5] (void removeWizardListener(WizardListener)): this.wizard.stepListeners != null
    //#unanalyzed(void removeWizardListener(WizardListener)): Effects-of-calling:com.dmdirc.util.ListenerList:remove
    //#unanalyzed(void removeWizardListener(WizardListener)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    }
    //#WizardFrame.java:164: end of method: void com.dmdirc.addons.ui_swing.wizard.WizardFrame.removeWizardListener(WizardListener)
}
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardFrame]
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addStep(Lcom/dmdirc/addons/ui_swing/wizard/Step;)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.display()V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.enableNextStep(Z)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.enablePreviousStep(Z)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.getCurrentStep()I
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.removeStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.removeWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#output(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.validate()V
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardFrame] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addStep(Lcom/dmdirc/addons/ui_swing/wizard/Step;)V == &addStep
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V == &addStepListener
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.addWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V == &addWizardListener
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.display()V == &display
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.enableNextStep(Z)V == &enableNextStep
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.enablePreviousStep(Z)V == &enablePreviousStep
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.getCurrentStep()I == &getCurrentStep
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step; == &getStep
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.layoutComponents()V == &layoutComponents
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.removeStepListener(Lcom/dmdirc/addons/ui_swing/wizard/StepListener;)V == &removeStepListener
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.removeWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V == &removeWizardListener
    //#post(com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init): __Dispatch_Table.validate()V == &validate
    //#WizardFrame.java:: end of method: com.dmdirc.addons.ui_swing.wizard.WizardFrame.com.dmdirc.addons.ui_swing.wizard.WizardFrame__static_init
    //#WizardFrame.java:: end of class: com.dmdirc.addons.ui_swing.wizard.WizardFrame
