//# 0 errors, 762 messages
//#
/*
    //#SwingFirstRunWizard.java:1:1: class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1
    //#SwingFirstRunWizard.java:1:1: method: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init
    //#SwingFirstRunWizard.java:1:1: class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#SwingFirstRunWizard.java:1:1: method: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__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.firstrun;

import com.dmdirc.Main;
import com.dmdirc.actions.ActionManager;
import com.dmdirc.actions.CoreActionType;
import com.dmdirc.actions.interfaces.ActionType;
import com.dmdirc.addons.ui_swing.MainFrame;
import com.dmdirc.config.IdentityManager;
import com.dmdirc.interfaces.ActionListener;
import com.dmdirc.logger.ErrorLevel;
import com.dmdirc.logger.Logger;
import com.dmdirc.ui.interfaces.FirstRunWizard;
import com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog;
import com.dmdirc.addons.ui_swing.wizard.Step;
import com.dmdirc.addons.ui_swing.wizard.WizardDialog;
import com.dmdirc.addons.ui_swing.wizard.WizardListener;
import com.dmdirc.ui.IconManager;
import com.dmdirc.util.resourcemanager.ResourceManager;

import java.awt.Dimension;
import java.io.File;
import java.io.IOException;
import java.util.ArrayList;
import java.util.Map;
import java.util.Map.Entry;

/** First run wizard, used to initially setup the client for the user. */
public final class SwingFirstRunWizard implements WizardListener,
        FirstRunWizard {

    /** Wizard dialog. */
    private WizardDialog wizardDialog;
    /** First run or update. */
    private boolean firstRun = true;

    /** Instatiate the wizard. */
    public SwingFirstRunWizard() {
        this(true);
    //#SwingFirstRunWizard.java:60: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): "DMDirc: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): "Migration wizard"._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): "Setup wizard"._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardDialog.java.awt.Dialog$ModalityType.MODELESS
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): 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.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.BOTTOM
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.TOP
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.java.awt.Color.BLACK
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): this
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ArrayList(StepLayout#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#5) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#6) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JLabel(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JPanel(initComponents#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ListenerList(WizardPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ListenerList(WizardPanel#1).__Lock
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).currentStep
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).hGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).vGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new TitlePanel(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1).parentWindow
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1).wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).next
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).prev
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).progressLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).stepListeners
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).stepsPanel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).title
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).titleLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): this.firstRun
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): this.wizardDialog
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): java.lang.StringBuilder:toString(...)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ArrayList(StepLayout#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#5)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#6)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JLabel(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JPanel(initComponents#3)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ListenerList(WizardPanel#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new TitlePanel(initComponents#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): this.firstRun == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ArrayList(StepLayout#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#5) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JButton(initComponents#6) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JLabel(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new JPanel(initComponents#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new ListenerList(WizardPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new TitlePanel(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): this.wizardDialog == &new WizardDialog(SwingFirstRunWizard#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): init'ed(new ListenerList(WizardPanel#1).__Lock)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): init'ed(new StepLayout(WizardPanel#2).currentStep)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): init'ed(new StepLayout(WizardPanel#2).hGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): init'ed(new StepLayout(WizardPanel#2).vGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1).__Tag == com/dmdirc/addons/ui_swing/wizard/WizardDialog
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): init'ed(new WizardDialog(SwingFirstRunWizard#1).parentWindow)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardDialog(SwingFirstRunWizard#1).wizard == &new WizardPanel(WizardDialog#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).wizard == this
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): new WizardPanel(WizardDialog#3).wizard != null
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.ui.IconManager:getImage
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setIconImage
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:addWizardListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.awt.Dimension
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setMinimumSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setContentPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setTitle
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setDefaultCloseOperation
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:orderButtons
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.EtchedLineBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.TitlePanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.BorderFactory:createMatteBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:javax.swing.JPanel:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.util.ListenerList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()): Effects-of-calling:com.dmdirc.util.ListenerList:add
    }
    //#SwingFirstRunWizard.java:61: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard()

    /**
     * Instantiate the wizard.
     *
     * @param firstRun is this the first run or an update?
     */
    public SwingFirstRunWizard(final boolean firstRun) {
    //#SwingFirstRunWizard.java:68: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): "DMDirc: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): "Migration wizard"._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): "Setup wizard"._tainted
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardDialog.java.awt.Dialog$ModalityType.MODELESS
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): 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.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.addWizardListener(Lcom/dmdirc/addons/ui_swing/wizard/WizardListener;)V
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.BOTTOM
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.com.dmdirc.addons.ui_swing.components.EtchedLineBorder$BorderSide.TOP
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com/dmdirc/addons/ui_swing/wizard/WizardPanel.java.awt.Color.BLACK
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): firstRun
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ArrayList(StepLayout#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#5) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#6) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JLabel(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JPanel(initComponents#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ListenerList(WizardPanel#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ListenerList(WizardPanel#1).__Lock
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).currentStep
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).hGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).vGap
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new TitlePanel(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardDialog(SwingFirstRunWizard#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog.__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog.parentWindow
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog.wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).__Tag
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).next
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).prev
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).progressLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).stepListeners
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).steps
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).stepsPanel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).title
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).titleLabel
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).wizard
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.firstRun
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): java.lang.StringBuilder:toString(...)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ArrayList(StepLayout#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#5)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#6)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JLabel(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JPanel(initComponents#3)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ListenerList(WizardPanel#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new TitlePanel(initComponents#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardDialog(SwingFirstRunWizard#1)
    //#new obj(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3)
    //#presumption(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): com.dmdirc.ui.IconManager:getIconManager(...)@74 != null
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.firstRun == firstRun
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(this.firstRun)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog == &new WizardDialog(SwingFirstRunWizard#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ArrayList(StepLayout#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#5) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JButton(initComponents#6) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JLabel(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new JPanel(initComponents#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new ListenerList(WizardPanel#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new TitlePanel(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardDialog(SwingFirstRunWizard#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(new ListenerList(WizardPanel#1).__Lock)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(new StepLayout(WizardPanel#2).currentStep)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(new StepLayout(WizardPanel#2).hGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new StepLayout(WizardPanel#2).steps == &new ArrayList(StepLayout#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(new StepLayout(WizardPanel#2).vGap)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardDialog
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): init'ed(this.wizardDialog.parentWindow)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): this.wizardDialog.wizard == &new WizardPanel(WizardDialog#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).next == &new JButton(initComponents#5)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).prev == &new JButton(initComponents#6)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).progressLabel == &new JLabel(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).stepListeners == &new ListenerList(WizardPanel#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).steps == &new StepLayout(WizardPanel#2)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).stepsPanel == &new JPanel(initComponents#3)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).title == &java.lang.StringBuilder:toString(...)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).titleLabel == &new TitlePanel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).wizard == this
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): new WizardPanel(WizardDialog#3).wizard != null
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setContentPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setTitle
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setDefaultCloseOperation
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:orderButtons
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.EtchedLineBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.TitlePanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.BorderFactory:createMatteBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:javax.swing.JPanel:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.util.ListenerList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)): Effects-of-calling:com.dmdirc.util.ListenerList:add
        this.firstRun = firstRun;
        
        wizardDialog =
                new WizardDialog("DMDirc: " + (firstRun ? "Setup wizard" :
                    "Migration wizard"), new ArrayList<Step>(), this, null);
        wizardDialog.setIconImage(IconManager.getIconManager().getImage("icon"));
    //#SwingFirstRunWizard.java:74: Warning: method not available - call not analyzed
    //#    call on IconManager com.dmdirc.ui.IconManager:getIconManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)
    //#    unanalyzed callee: IconManager com.dmdirc.ui.IconManager:getIconManager()
    //#SwingFirstRunWizard.java:74: Warning: method not available - call not analyzed
    //#    call on Image com.dmdirc.ui.IconManager:getImage(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)
    //#    unanalyzed callee: Image com.dmdirc.ui.IconManager:getImage(String)
    //#SwingFirstRunWizard.java:74: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardDialog:setIconImage(Image)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardDialog:setIconImage(Image)
        wizardDialog.addWizardListener(this);
        wizardDialog.setMinimumSize(new Dimension(400, 400));
    //#SwingFirstRunWizard.java:76: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardDialog:setMinimumSize(Dimension)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardDialog:setMinimumSize(Dimension)
    }
    //#SwingFirstRunWizard.java:77: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard(bool)

    /** {@inheritDoc} */
    @Override
    public void wizardFinished() {
        if (ResourceManager.getResourceManager() == null) {
    //#SwingFirstRunWizard.java:82: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.wizardFinished()
    //#SwingFirstRunWizard.java:82: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void wizardFinished()
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#input(void wizardFinished()): " to "._tainted
    //#input(void wizardFinished()): ""._tainted
    //#input(void wizardFinished()): "."._tainted
    //#input(void wizardFinished()): ": setting "._tainted
    //#input(void wizardFinished()): "<Unknown>"._tainted
    //#input(void wizardFinished()): "@"._tainted
    //#input(void wizardFinished()): "Config option not found: "._tainted
    //#input(void wizardFinished()): "Unnamed"._tainted
    //#input(void wizardFinished()): "actions"._tainted
    //#input(void wizardFinished()): "enable"._tainted
    //#input(void wizardFinished()): "general"._tainted
    //#input(void wizardFinished()): "plugins"._tainted
    //#input(void wizardFinished()): "submitErrors"._tainted
    //#input(void wizardFinished()): "updater"._tainted
    //#input(void wizardFinished()): com.dmdirc.actions.CoreActionType.CLIENT_OPENED
    //#input(void wizardFinished()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void wizardFinished()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void wizardFinished()): com.dmdirc.logger.ErrorLevel.LOW
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/Step]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/Step.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/StepLayout]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/StepLayout.__Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/WizardPanel]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/WizardPanel.__Dispatch_Table.getStep(I)Lcom/dmdirc/addons/ui_swing/wizard/Step;
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep]
    //#input(void wizardFinished()): com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void wizardFinished()): com/dmdirc/config/ConfigManager.stats
    //#input(void wizardFinished()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void wizardFinished()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void wizardFinished()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void wizardFinished()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.DOMAIN
    //#input(void wizardFinished()): com/dmdirc/config/Identity.LOGGER
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Z)V
    //#input(void wizardFinished()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.__Tag
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.file
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig.__Tag
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig.listeners
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig.sources
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.listeners
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.myTarget
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.myTarget.__Tag
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.config.myTarget.type
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.identities
    //#input(void wizardFinished()): com/dmdirc/config/IdentityManager.managers
    //#input(void wizardFinished()): this
    //#input(void wizardFinished()): this.firstRun
    //#input(void wizardFinished()): this.wizardDialog
    //#input(void wizardFinished()): this.wizardDialog.wizard
    //#input(void wizardFinished()): this.wizardDialog.wizard.__Tag
    //#input(void wizardFinished()): this.wizardDialog.wizard.steps
    //#input(void wizardFinished()): this.wizardDialog.wizard.steps.__Tag
    //#input(void wizardFinished()): this.wizardDialog.wizard.steps.steps
    //#output(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig
    //#output(void wizardFinished()): com/dmdirc/config/IdentityManager.config.needSave
    //#output(void wizardFinished()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void wizardFinished()): new ArrayList(getSources#1) num objects
    //#output(void wizardFinished()): new ArrayList(getSources#1).__Lock
    //#output(void wizardFinished()): new ConfigManager(setOption#2*) num objects
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).__Tag
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).channel
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).ircd
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).listeners
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).network
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).server
    //#output(void wizardFinished()): new ConfigManager(setOption#2*).sources
    //#output(void wizardFinished()): new MapList(ConfigManager#1) num objects
    //#new obj(void wizardFinished()): java.lang.StringBuilder:toString(...)
    //#new obj(void wizardFinished()): new ArrayList(getSources#1)
    //#new obj(void wizardFinished()): new ConfigManager(setOption#2*)
    //#new obj(void wizardFinished()): new MapList(ConfigManager#1)
    //#pre[1] (void wizardFinished()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#pre[4] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config != null
    //#pre[6] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config.__Tag == com/dmdirc/config/Identity
    //#pre[7] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config.file != null
    //#pre[12] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config.listeners != null
    //#pre[13] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config.myTarget != null
    //#pre[14] (void wizardFinished()): (soft) com/dmdirc/config/IdentityManager.config.myTarget.__Tag == com/dmdirc/config/ConfigTarget
    //#pre[15] (void wizardFinished()): (soft) init'ed(com/dmdirc/config/IdentityManager.config.myTarget.type)
    //#pre[16] (void wizardFinished()): (soft) init'ed(com/dmdirc/config/IdentityManager.config.globalConfig)
    //#pre[19] (void wizardFinished()): (soft) init'ed(this.firstRun)
    //#pre[20] (void wizardFinished()): (soft) this.wizardDialog != null
    //#pre[21] (void wizardFinished()): (soft) this.wizardDialog.wizard != null
    //#pre[22] (void wizardFinished()): (soft) this.wizardDialog.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[23] (void wizardFinished()): (soft) this.wizardDialog.wizard.steps != null
    //#pre[24] (void wizardFinished()): (soft) this.wizardDialog.wizard.steps.__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#pre[25] (void wizardFinished()): (soft) this.wizardDialog.wizard.steps.steps != null
    //#presumption(void wizardFinished()): init'ed(com.dmdirc.actions.CoreActionType.CLIENT_OPENED)
    //#presumption(void wizardFinished()): getStep(...).actions != null
    //#presumption(void wizardFinished()): getStep(...).plugins != null
    //#presumption(void wizardFinished()): getStep(...).profile != null
    //#presumption(void wizardFinished()): getStep(...).updates != null
    //#presumption(void wizardFinished()): getStep(...).updates != null
    //#presumption(void wizardFinished()): getStep(...)@85 init'ed
    //#presumption(void wizardFinished()): java.util.List:get(...)@126 != null
    //#presumption(void wizardFinished()): java.util.List:get(...)@126 != null
    //#presumption(void wizardFinished()): java.util.List:get(...)@126 != null
    //#presumption(void wizardFinished()): java.util.List:get(...)@126 != null
    //#presumption(void wizardFinished()): java.util.List:get(...)@126 != null
    //#presumption(void wizardFinished()): java.util.List:get(...)@126.__Tag in {com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep}
    //#presumption(void wizardFinished()): java.util.List:get(...)@126.__Tag in {com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep, com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep}
    //#presumption(void wizardFinished()): java.util.List:get(...)@126.__Tag == com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep
    //#presumption(void wizardFinished()): java.util.List:get(...)@126.__Tag == com/dmdirc/addons/ui_swing/wizard/firstrun/CommunicationStep
    //#presumption(void wizardFinished()): java.util.List:get(...)@126.__Tag == com/dmdirc/addons/ui_swing/wizard/firstrun/ProfileStep
    //#post(void wizardFinished()): com/dmdirc/config/IdentityManager.config.globalConfig == One-of{old com/dmdirc/config/IdentityManager.config.globalConfig, &new ConfigManager(setOption#2*)}
    //#post(void wizardFinished()): init'ed(com/dmdirc/config/IdentityManager.config.globalConfig)
    //#post(void wizardFinished()): possibly_updated(com/dmdirc/config/IdentityManager.config.needSave)
    //#post(void wizardFinished()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void wizardFinished()): new ArrayList(getSources#1) num objects <= 1
    //#post(void wizardFinished()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void wizardFinished()): new ConfigManager(setOption#2*) num objects <= 1
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).__Tag)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).channel)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).ircd)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).listeners)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).network)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).server)
    //#post(void wizardFinished()): init'ed(new ConfigManager(setOption#2*).sources)
    //#post(void wizardFinished()): new MapList(ConfigManager#1) num objects <= 1
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:lastIndexOf
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.io.File
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.io.File:mkdirs
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void wizardFinished()): Effects-of-calling:javax.swing.JCheckBox:isSelected
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void wizardFinished()): Effects-of-calling:hasOption
    //#unanalyzed(void wizardFinished()): Effects-of-calling:getOption
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void wizardFinished()): Effects-of-calling:getSources
    //#unanalyzed(void wizardFinished()): Effects-of-calling:addListener
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void wizardFinished()): Effects-of-calling:addConfigManager
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void wizardFinished()): Effects-of-calling:getDomains
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void wizardFinished()): Effects-of-calling:getOptions
    //#unanalyzed(void wizardFinished()): Effects-of-calling:equals
    //#unanalyzed(void wizardFinished()): Effects-of-calling:removeListener
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void wizardFinished()): Effects-of-calling:setOption
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void wizardFinished()): Effects-of-calling:getTarget
    //#unanalyzed(void wizardFinished()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void wizardFinished()): Effects-of-calling:java.util.List:get
    //#test_vector(void wizardFinished()): this.firstRun: {0}, {1}
    //#test_vector(void wizardFinished()): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@82: Inverse{null}, Addr_Set{null}
    //#test_vector(void wizardFinished()): javax.swing.JCheckBox:isSelected(...)@63: {0}, {1}
    //#test_vector(void wizardFinished()): javax.swing.JCheckBox:isSelected(...)@70: {0}, {1}
    //#test_vector(void wizardFinished()): javax.swing.JCheckBox:isSelected(...)@72: {0}, {1}
            return;
        }
        if (((ExtractionStep) wizardDialog.getStep(0)).getPluginsState()) {
            extractPlugins();
        }
        if (((ExtractionStep) wizardDialog.getStep(0)).getActionsState()) {
            extractActions();
        }

        if (firstRun) {
            IdentityManager.getConfigIdentity().setOption("updater", "enable",
                    ((CommunicationStep) wizardDialog.getStep(1)).checkUpdates());
        }

        if (firstRun) {
            IdentityManager.getConfigIdentity().setOption("general", "submitErrors",
                    ((CommunicationStep) wizardDialog.getStep(1)).checkErrors());
        }

        if (firstRun &&
                ((ProfileStep) wizardDialog.getStep(2)).getProfileManagerState()) {
            ActionManager.addListener(new ActionListener() {
    //#SwingFirstRunWizard.java:104: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)): this
    //#output(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)): this.this$0
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)): init'ed(this.this$0)
    //#SwingFirstRunWizard.java:104: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1(SwingFirstRunWizard)
    //#SwingFirstRunWizard.java:104: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.actions.ActionManager:addListener(ActionListener, ActionType[])
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void wizardFinished()
    //#    unanalyzed callee: void com.dmdirc.actions.ActionManager:addListener(ActionListener, ActionType[])
                /** {@inheritDoc} */
                @Override
                public void processEvent(final ActionType type,
                        final StringBuffer format, final Object... arguments) {
                    ProfileManagerDialog.showProfileManagerDialog((MainFrame) Main.getUI().getMainWindow());
    //#SwingFirstRunWizard.java:109: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.processEvent(ActionType, StringBuffer, Object[])
    //#SwingFirstRunWizard.java:109: Warning: method not available - call not analyzed
    //#    call on UIController com.dmdirc.Main:getUI()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1
    //#    method: void processEvent(ActionType, StringBuffer, Object[])
    //#    unanalyzed callee: UIController com.dmdirc.Main:getUI()
    //#SwingFirstRunWizard.java:109: Warning: method not available - call not analyzed
    //#    call on MainWindow com.dmdirc.ui.interfaces.UIController:getMainWindow()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1
    //#    method: void processEvent(ActionType, StringBuffer, Object[])
    //#    unanalyzed callee: MainWindow com.dmdirc.ui.interfaces.UIController:getMainWindow()
    //#SwingFirstRunWizard.java:109: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog:showProfileManagerDialog(MainFrame)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1
    //#    method: void processEvent(ActionType, StringBuffer, Object[])
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog:showProfileManagerDialog(MainFrame)
    //#presumption(void processEvent(ActionType, StringBuffer, Object[])): com.dmdirc.Main:getUI(...)@109 != null
                }
    //#SwingFirstRunWizard.java:110: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.processEvent(ActionType, StringBuffer, Object[])
            }, CoreActionType.CLIENT_OPENED);
            
        }
        wizardDialog.dispose();
    //#SwingFirstRunWizard.java:114: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardDialog:dispose()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void wizardFinished()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardDialog:dispose()
    }
    //#SwingFirstRunWizard.java:115: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.wizardFinished()

    /** {@inheritDoc} */
    @Override
    public void wizardCancelled() {
        wizardDialog.dispose();
    //#SwingFirstRunWizard.java:120: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.wizardCancelled()
    //#SwingFirstRunWizard.java:120: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.wizard.WizardDialog:dispose()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void wizardCancelled()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.wizard.WizardDialog:dispose()
    //#input(void wizardCancelled()): this
    //#input(void wizardCancelled()): this.wizardDialog
    //#pre[2] (void wizardCancelled()): this.wizardDialog != null
    }
    //#SwingFirstRunWizard.java:121: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.wizardCancelled()

    /** {@inheritDoc} */
    @Override
    public void extractPlugins() {
        extractCorePlugins();
    //#SwingFirstRunWizard.java:126: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractPlugins()
    //#input(void extractPlugins()): "."._tainted
    //#input(void extractPlugins()): "plugins"._tainted
    //#input(void extractPlugins()): com.dmdirc.logger.ErrorLevel.LOW
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void extractPlugins()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void extractPlugins()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void extractPlugins()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.String:lastIndexOf
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.io.File
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.io.File:mkdirs
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void extractPlugins()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile
    //#unanalyzed(void extractPlugins()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void extractPlugins()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    }
    //#SwingFirstRunWizard.java:127: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractPlugins()

    /** Extracts the core plugins. */
    public static void extractCorePlugins() {
        //Copy actions
        final Map<String, byte[]> resources =
    //#SwingFirstRunWizard.java:132: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractCorePlugins()
    //#SwingFirstRunWizard.java:132: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#SwingFirstRunWizard.java:132: Warning: method not available - call not analyzed
    //#    call on Map com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: Map com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(String)
    //#input(void extractCorePlugins()): "."._tainted
    //#input(void extractCorePlugins()): "plugins"._tainted
    //#input(void extractCorePlugins()): com.dmdirc.logger.ErrorLevel.LOW
    //#presumption(void extractCorePlugins()): init'ed(com.dmdirc.logger.ErrorLevel.LOW)
    //#presumption(void extractCorePlugins()): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@132 != null
    //#presumption(void extractCorePlugins()): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@155 != null
    //#presumption(void extractCorePlugins()): com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(...)@132 != null
    //#presumption(void extractCorePlugins()): java.lang.String:lastIndexOf(...)@149 <= 4_294_967_294
    //#presumption(void extractCorePlugins()): java.util.Iterator:next(...)@135 != null
    //#presumption(void extractCorePlugins()): java.util.Map:entrySet(...)@135 != null
    //#presumption(void extractCorePlugins()): java.util.Map_Entry:getKey(...)@137 != null
    //#presumption(void extractCorePlugins()): java.util.Map_Entry:getKey(...)@137 != null
    //#test_vector(void extractCorePlugins()): java.io.File:exists(...)@145: {1}, {0}
    //#test_vector(void extractCorePlugins()): java.io.File:isDirectory(...)@154: {1}, {0}
    //#test_vector(void extractCorePlugins()): java.util.Iterator:hasNext(...)@135: {0}, {1}
                ResourceManager.getResourceManager().
                getResourcesStartingWithAsBytes("plugins");
        for (Entry<String, byte[]> resource : resources.entrySet()) {
            try {
                final String resourceName =
    //#SwingFirstRunWizard.java:137: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.Main:getConfigDir()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: String com.dmdirc.Main:getConfigDir()
                        Main.getConfigDir() + "plugins" +
                        resource.getKey().
                        substring(7, resource.getKey().length());
                final File newDir =
                        new File(resourceName.substring(0,
                        resourceName.lastIndexOf('/')) + "/");

                if (!newDir.exists()) {
                    newDir.mkdirs();
                }

                final File newFile =
                        new File(newDir,
                        resourceName.substring(resourceName.lastIndexOf('/') + 1,
                        resourceName.length()));

                if (!newFile.isDirectory()) {
                    ResourceManager.getResourceManager().
    //#SwingFirstRunWizard.java:155: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#SwingFirstRunWizard.java:155: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile(byte[], File)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: void com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile(byte[], File)
                            resourceToFile(resource.getValue(), newFile);
                }
            } catch (IOException ex) {
                Logger.userError(ErrorLevel.LOW, "Failed to extract plugins");
    //#SwingFirstRunWizard.java:159: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCorePlugins()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            }
        }
    }
    //#SwingFirstRunWizard.java:162: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractCorePlugins()

    /** {@inheritDoc} */
    @Override
    public void extractActions() {
        extractCoreActions();
    //#SwingFirstRunWizard.java:167: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractActions()
    //#input(void extractActions()): "."._tainted
    //#input(void extractActions()): "actions"._tainted
    //#input(void extractActions()): com.dmdirc.logger.ErrorLevel.LOW
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void extractActions()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void extractActions()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void extractActions()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.String:lastIndexOf
    //#unanalyzed(void extractActions()): Effects-of-calling:java.io.File
    //#unanalyzed(void extractActions()): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void extractActions()): Effects-of-calling:java.io.File:mkdirs
    //#unanalyzed(void extractActions()): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void extractActions()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void extractActions()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile
    //#unanalyzed(void extractActions()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void extractActions()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    }
    //#SwingFirstRunWizard.java:168: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractActions()

    /** Extracts the core actions. */
    public static void extractCoreActions() {
        //Copy actions
        final Map<String, byte[]> resources =
    //#SwingFirstRunWizard.java:173: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractCoreActions()
    //#SwingFirstRunWizard.java:173: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#SwingFirstRunWizard.java:173: Warning: method not available - call not analyzed
    //#    call on Map com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: Map com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(String)
    //#input(void extractCoreActions()): "."._tainted
    //#input(void extractCoreActions()): "actions"._tainted
    //#input(void extractCoreActions()): com.dmdirc.logger.ErrorLevel.LOW
    //#presumption(void extractCoreActions()): init'ed(com.dmdirc.logger.ErrorLevel.LOW)
    //#presumption(void extractCoreActions()): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@173 != null
    //#presumption(void extractCoreActions()): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@196 != null
    //#presumption(void extractCoreActions()): com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsBytes(...)@173 != null
    //#presumption(void extractCoreActions()): java.lang.String:lastIndexOf(...)@190 <= 4_294_967_294
    //#presumption(void extractCoreActions()): java.util.Iterator:next(...)@176 != null
    //#presumption(void extractCoreActions()): java.util.Map:entrySet(...)@176 != null
    //#presumption(void extractCoreActions()): java.util.Map_Entry:getKey(...)@178 != null
    //#presumption(void extractCoreActions()): java.util.Map_Entry:getKey(...)@178 != null
    //#test_vector(void extractCoreActions()): java.io.File:exists(...)@186: {1}, {0}
    //#test_vector(void extractCoreActions()): java.io.File:isDirectory(...)@195: {1}, {0}
    //#test_vector(void extractCoreActions()): java.util.Iterator:hasNext(...)@176: {0}, {1}
                ResourceManager.getResourceManager().
                getResourcesStartingWithAsBytes("com/dmdirc/actions/defaults");
        for (Entry<String, byte[]> resource : resources.entrySet()) {
            try {
                final String resourceName =
    //#SwingFirstRunWizard.java:178: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.Main:getConfigDir()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: String com.dmdirc.Main:getConfigDir()
                        Main.getConfigDir() + "actions" +
                        resource.getKey().
                        substring(27, resource.getKey().length());
                final File newDir =
                        new File(resourceName.substring(0,
                        resourceName.lastIndexOf('/')) + "/");

                if (!newDir.exists()) {
                    newDir.mkdirs();
                }

                final File newFile =
                        new File(newDir,
                        resourceName.substring(resourceName.lastIndexOf('/') + 1,
                        resourceName.length()));

                if (!newFile.isDirectory()) {
                    ResourceManager.getResourceManager().
    //#SwingFirstRunWizard.java:196: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#SwingFirstRunWizard.java:196: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile(byte[], File)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: void com.dmdirc.util.resourcemanager.ResourceManager:resourceToFile(byte[], File)
                            resourceToFile(resource.getValue(), newFile);
                }
            } catch (IOException ex) {
                Logger.userError(ErrorLevel.LOW, "Failed to extract actions");
    //#SwingFirstRunWizard.java:200: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
    //#    method: void extractCoreActions()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            }
        }
    }
    //#SwingFirstRunWizard.java:203: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.extractCoreActions()

    /** {@inheritDoc} */
    @Override
    public void display() {
        if (firstRun) {
    //#SwingFirstRunWizard.java:208: method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.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.addStep(Lcom/dmdirc/addons/ui_swing/wizard/Step;)V
    //#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.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/FirstRunExtractionStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/MigrationExtrationStep]
    //#input(void display()): com/dmdirc/addons/ui_swing/wizard/firstrun/ExtractionStep.__Descendant_Table[others]
    //#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/ExtractionStep.__Dispatch_Table.initComponents()V
    //#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/FirstRunExtractionStep.__Dispatch_Table.initComponents()V
    //#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/MigrationExtrationStep.__Dispatch_Table.initComponents()V
    //#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.firstRun
    //#input(void display()): this.wizardDialog
    //#input(void display()): this.wizardDialog.parentWindow
    //#input(void display()): this.wizardDialog.wizard
    //#input(void display()): this.wizardDialog.wizard.__Tag
    //#input(void display()): this.wizardDialog.wizard.next
    //#input(void display()): this.wizardDialog.wizard.prev
    //#input(void display()): this.wizardDialog.wizard.progressLabel
    //#input(void display()): this.wizardDialog.wizard.steps
    //#input(void display()): this.wizardDialog.wizard.steps.__Tag
    //#input(void display()): this.wizardDialog.wizard.steps.steps
    //#input(void display()): this.wizardDialog.wizard.stepsPanel
    //#input(void display()): this.wizardDialog.wizard.titleLabel
    //#output(void display()): this.wizardDialog.wizard.currentStep
    //#output(void display()): this.wizardDialog.wizard.steps.currentStep
    //#pre[4] (void display()): init'ed(this.firstRun)
    //#pre[5] (void display()): this.wizardDialog != null
    //#pre[6] (void display()): init'ed(this.wizardDialog.parentWindow)
    //#pre[7] (void display()): this.wizardDialog.wizard != null
    //#pre[8] (void display()): this.wizardDialog.wizard.__Tag == com/dmdirc/addons/ui_swing/wizard/WizardPanel
    //#pre[12] (void display()): this.wizardDialog.wizard.steps != null
    //#pre[13] (void display()): this.wizardDialog.wizard.steps.__Tag == com/dmdirc/addons/ui_swing/wizard/StepLayout
    //#pre[14] (void display()): this.wizardDialog.wizard.steps.steps != null
    //#pre[15] (void display()): this.wizardDialog.wizard.stepsPanel != null
    //#pre[9] (void display()): (soft) this.wizardDialog.wizard.next != null
    //#pre[10] (void display()): (soft) this.wizardDialog.wizard.prev != null
    //#pre[11] (void display()): (soft) this.wizardDialog.wizard.progressLabel != null
    //#pre[16] (void display()): (soft) this.wizardDialog.wizard.titleLabel != null
    //#post(void display()): this.wizardDialog.wizard.currentStep == One-of{old this.wizardDialog.wizard.currentStep, 0}
    //#post(void display()): possibly_updated(this.wizardDialog.wizard.steps.currentStep)
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.ExtractionStep
    //#unanalyzed(void display()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.FirstRunExtractionStep:setLayout
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.FirstRunExtractionStep:add
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JCheckBox
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JCheckBox:setSelected
    //#unanalyzed(void display()): Effects-of-calling:initComponents
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.MigrationExtrationStep:setLayout
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.MigrationExtrationStep:add
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.CommunicationStep:setLayout
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.CommunicationStep:add
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:setLayout
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.firstrun.ProfileStep:add
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void display()): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.Step:toString
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setLocationRelativeTo
    //#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.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
    //#unanalyzed(void display()): Effects-of-calling:java.util.List:isEmpty
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.ui.CoreUIUtils:centreWindow
    //#unanalyzed(void display()): Effects-of-calling:java.awt.event.WindowAdapter
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:addWindowListener
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setResizable
    //#unanalyzed(void display()): Effects-of-calling:com.dmdirc.addons.ui_swing.wizard.WizardDialog:setVisible
    //#test_vector(void display()): this.firstRun: {0}, {1}
            wizardDialog.addStep(new FirstRunExtractionStep());
            wizardDialog.addStep(new CommunicationStep());
            wizardDialog.addStep(new ProfileStep());
        } else {
            wizardDialog.addStep(new MigrationExtrationStep());
        }
        wizardDialog.display();
    }
    //#SwingFirstRunWizard.java:216: end of method: void com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.display()

    /**
     * Returns the dialog associated with this wizard.
     * 
     * @return Associated wizard dialog
     */
    public WizardDialog getWizardDialog() {
        return wizardDialog;
    //#SwingFirstRunWizard.java:224: method: WizardDialog com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.getWizardDialog()
    //#input(WizardDialog getWizardDialog()): this
    //#input(WizardDialog getWizardDialog()): this.wizardDialog
    //#output(WizardDialog getWizardDialog()): return_value
    //#pre[2] (WizardDialog getWizardDialog()): init'ed(this.wizardDialog)
    //#post(WizardDialog getWizardDialog()): return_value == this.wizardDialog
    //#post(WizardDialog getWizardDialog()): init'ed(return_value)
    //#SwingFirstRunWizard.java:224: end of method: WizardDialog com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.getWizardDialog()
    }
}
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard$1]
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init): __Dispatch_Table.processEvent(Lcom/dmdirc/actions/interfaces/ActionType;Ljava/lang/StringBuffer;[Ljava/lang/Object;)V
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init): __Dispatch_Table.processEvent(Lcom/dmdirc/actions/interfaces/ActionType;Ljava/lang/StringBuffer;[Ljava/lang/Object;)V == &processEvent
    //#SwingFirstRunWizard.java:: end of method: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1__static_init
    //#SwingFirstRunWizard.java:: end of class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard$1
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard]
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.display()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.extractActions()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.extractPlugins()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.getWizardDialog()Lcom/dmdirc/addons/ui_swing/wizard/WizardDialog;
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.wizardCancelled()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.wizardFinished()V
    //#output(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): com/dmdirc/addons/ui_swing/wizard/WizardListener.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard]
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): com/dmdirc/addons/ui_swing/wizard/WizardListener.__Descendant_Table[com/dmdirc/addons/ui_swing/wizard/firstrun/SwingFirstRunWizard] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.display()V == &display
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.extractActions()V == &extractActions
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.extractPlugins()V == &extractPlugins
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.getWizardDialog()Lcom/dmdirc/addons/ui_swing/wizard/WizardDialog; == &getWizardDialog
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.wizardCancelled()V == &wizardCancelled
    //#post(com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init): __Dispatch_Table.wizardFinished()V == &wizardFinished
    //#SwingFirstRunWizard.java:: end of method: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard.com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard__static_init
    //#SwingFirstRunWizard.java:: end of class: com.dmdirc.addons.ui_swing.wizard.firstrun.SwingFirstRunWizard
