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

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

import com.dmdirc.Server;
import com.dmdirc.config.Identity;
import com.dmdirc.addons.ui_swing.UIUtilities;
import com.dmdirc.addons.ui_swing.components.StandardDialog;
import com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel;
import com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel.OptionType;

import java.awt.Window;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;

import javax.swing.JButton;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;

import net.miginfocom.swing.MigLayout;

/**
 * Allows the user to modify server settings and the ignore list.
 */
public final class ServerSettingsDialog extends StandardDialog implements ActionListener {

    /**
     * A version number for this class. It should be changed whenever the class
     * structure is changed (or anything else that would prevent serialized
     * objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 2;
    /** Server settings dialogs, semi singleton use. */
    private static volatile ServerSettingsDialog me;
    /** Parent server. */
    private final Server server;
    /** User modes panel. */
    private UserModesPane modesPanel;
    /** Ignore list panel. */
    private IgnoreListPanel ignoreList;
    /** Perform panel. */
    private PerformPanel performPanel;
    /** Settings panel. */
    private SettingsPanel settingsPanel;    
    /** The tabbed pane. */
    private JTabbedPane tabbedPane;
    /** Parent window. */
    private Window parentWindow;

    /**
     * Creates a new instance of ServerSettingsDialog.
     *
     * @param server The server object that we're editing settings for
     * @param parentWindow Parent window
     */
    private ServerSettingsDialog(final Server server, final Window parentWindow) {
        super(parentWindow, ModalityType.MODELESS);
    //#ServerSettingsDialog.java:77: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)
    //#ServerSettingsDialog.java:77: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): parentWindow
    //#input(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): server
    //#input(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): this.parentWindow
    //#output(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): this.server
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): init'ed(java.awt.Dialog$ModalityType.MODELESS)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): this.parentWindow == parentWindow
    //#post(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): init'ed(this.parentWindow)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): this.server == server
    //#post(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): init'ed(this.server)
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton

        this.server = server;
        this.parentWindow = parentWindow;

        setTitle("Server settings");
    //#ServerSettingsDialog.java:82: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setTitle(String)
        setResizable(false);
    //#ServerSettingsDialog.java:83: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setResizable(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setResizable(bool)

        initComponents();
    //#ServerSettingsDialog.java:85: Warning: call too complex - analysis skipped
    //#    call on void initComponents()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void initComponents()
        initListeners();
    }
    //#ServerSettingsDialog.java:87: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)

    /**
     * Creates the dialog if one doesn't exist, and displays it.
     *
     * @param server The server object that we're editing settings for
     * @param parentWindow Parent window
     */
    public static void showServerSettingsDialog(final Server server, 
            final Window parentWindow) {
        me = getServerSettingsDialog(server, parentWindow);
    //#ServerSettingsDialog.java:97: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.showServerSettingsDialog(Server, Window)
    //#input(void showServerSettingsDialog(Server, Window)): __Class_Obj.__Lock
    //#input(void showServerSettingsDialog(Server, Window)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void showServerSettingsDialog(Server, Window)): me
    //#input(void showServerSettingsDialog(Server, Window)): parentWindow
    //#input(void showServerSettingsDialog(Server, Window)): server
    //#output(void showServerSettingsDialog(Server, Window)): me
    //#output(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1) num objects
    //#output(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).__Tag
    //#output(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow
    //#output(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).server
    //#new obj(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1)
    //#pre[1] (void showServerSettingsDialog(Server, Window)): init'ed(me)
    //#post(void showServerSettingsDialog(Server, Window)): me == One-of{old me, &new ServerSettingsDialog(getServerSettingsDialog#1)}
    //#post(void showServerSettingsDialog(Server, Window)): me != null
    //#post(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
    //#post(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/ServerSettingsDialog
    //#post(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow == parentWindow
    //#post(void showServerSettingsDialog(Server, Window)): init'ed(new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow)
    //#post(void showServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).server == server
    //#post(void showServerSettingsDialog(Server, Window)): init'ed(new ServerSettingsDialog(getServerSettingsDialog#1).server)
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setTitle
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setResizable
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:initComponents
    //#unanalyzed(void showServerSettingsDialog(Server, Window)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
        
        me.pack();
    //#ServerSettingsDialog.java:99: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:pack()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void showServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:pack()
        me.setLocationRelativeTo(parentWindow);
    //#ServerSettingsDialog.java:100: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setLocationRelativeTo(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void showServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setLocationRelativeTo(Component)
        me.setVisible(true);
    //#ServerSettingsDialog.java:101: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void showServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setVisible(bool)
        me.requestFocusInWindow();
    //#ServerSettingsDialog.java:102: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:requestFocusInWindow()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void showServerSettingsDialog(Server, Window)
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:requestFocusInWindow()
    }
    //#ServerSettingsDialog.java:103: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.showServerSettingsDialog(Server, Window)

    /**
     * Returns the current instance of the ServerSettingsDialog.
     *
     * @param server The server object that we're editing settings for
     * @param parentWindow Parent window
     * 
     * @return The current ServerSettingsDialog instance
     */
    public static ServerSettingsDialog getServerSettingsDialog(
            final Server server, final Window parentWindow) {
        synchronized (ServerSettingsDialog.class) {
    //#ServerSettingsDialog.java:115: method: ServerSettingsDialog com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.getServerSettingsDialog(Server, Window)
    //#input(ServerSettingsDialog getServerSettingsDialog(Server, Window)): __Class_Obj.__Lock
    //#input(ServerSettingsDialog getServerSettingsDialog(Server, Window)): java.awt.Dialog$ModalityType.MODELESS
    //#input(ServerSettingsDialog getServerSettingsDialog(Server, Window)): me
    //#input(ServerSettingsDialog getServerSettingsDialog(Server, Window)): parentWindow
    //#input(ServerSettingsDialog getServerSettingsDialog(Server, Window)): server
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): me
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1) num objects
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).__Tag
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).server
    //#output(ServerSettingsDialog getServerSettingsDialog(Server, Window)): return_value
    //#new obj(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1)
    //#pre[1] (ServerSettingsDialog getServerSettingsDialog(Server, Window)): init'ed(me)
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): me == One-of{old me, &new ServerSettingsDialog(getServerSettingsDialog#1)}
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): me != null
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): return_value == One-of{old me, &new ServerSettingsDialog(getServerSettingsDialog#1)}
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): return_value != null
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/ServerSettingsDialog
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow == parentWindow
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): init'ed(new ServerSettingsDialog(getServerSettingsDialog#1).parentWindow)
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): new ServerSettingsDialog(getServerSettingsDialog#1).server == server
    //#post(ServerSettingsDialog getServerSettingsDialog(Server, Window)): init'ed(new ServerSettingsDialog(getServerSettingsDialog#1).server)
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setTitle
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setResizable
    //#unanalyzed(ServerSettingsDialog getServerSettingsDialog(Server, Window)): Effects-of-calling:initComponents
            if (me == null) {
                me = new ServerSettingsDialog(server, parentWindow);
            }
        }

        return me;
    //#ServerSettingsDialog.java:121: end of method: ServerSettingsDialog com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.getServerSettingsDialog(Server, Window)
    }

    /** Initialises the main UI components. */
    private void initComponents() {
        orderButtons(new JButton(), new JButton());
    //#ServerSettingsDialog.java:126: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.initComponents()
    //#ServerSettingsDialog.java:126: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:orderButtons(JButton, JButton)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:orderButtons(JButton, JButton)
    //#input(void initComponents()): " entr"._tainted
    //#input(void initComponents()): ")"._tainted
    //#input(void initComponents()): ": "._tainted
    //#input(void initComponents()): ": Unknown"._tainted
    //#input(void initComponents()): "Mode "._tainted
    //#input(void initComponents()): "Network perform ("._tainted
    //#input(void initComponents()): "Server perform ("._tainted
    //#input(void initComponents()): "ies"._tainted
    //#input(void initComponents()): "umode"._tainted
    //#input(void initComponents()): "y"._tainted
    //#input(void initComponents()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.CHECKBOX
    //#input(void initComponents()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.COLOUR
    //#input(void initComponents()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.SPINNER
    //#input(void initComponents()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.TEXTFIELD
    //#input(void initComponents()): this
    //#input(void initComponents()): this.parentWindow
    //#input(void initComponents()): this.server
    //#output(void initComponents()): new Hashtable(initModesPanel#1) num objects
    //#output(void initComponents()): new IgnoreList(initComponents#1) num objects
    //#output(void initComponents()): new IgnoreListModel(initComponents#2) num objects
    //#output(void initComponents()): new IgnoreListModel(initComponents#2).__Tag
    //#output(void initComponents()): new IgnoreListModel(initComponents#2).ignoreList
    //#output(void initComponents()): new IgnoreListModel(initComponents#2).isSimple
    //#output(void initComponents()): new IgnoreListPanel(initComponents#5) num objects
    //#output(void initComponents()): this.ignoreList.__Tag
    //#output(void initComponents()): this.ignoreList.addButton
    //#output(void initComponents()): this.ignoreList.cachedIgnoreList
    //#output(void initComponents()): this.ignoreList.delButton
    //#output(void initComponents()): this.ignoreList.list
    //#output(void initComponents()): this.ignoreList.listModel
    //#output(void initComponents()): this.ignoreList.parentWindow
    //#output(void initComponents()): this.ignoreList.server
    //#output(void initComponents()): this.ignoreList.sizeLabel
    //#output(void initComponents()): this.ignoreList.viewToggle
    //#output(void initComponents()): new JButton(initComponents#5) num objects
    //#output(void initComponents()): new JButton(initComponents#6) num objects
    //#output(void initComponents()): new JCheckBox(initComponents#8) num objects
    //#output(void initComponents()): new JComboBox(initComponents#3) num objects
    //#output(void initComponents()): new JLabel(initComponents#7) num objects
    //#output(void initComponents()): new JList(initComponents#3) num objects
    //#output(void initComponents()): new JTabbedPane(initComponents#3) num objects
    //#output(void initComponents()): new JTextArea(initComponents#6) num objects
    //#output(void initComponents()): new PerformPanel(initComponents#6) num objects
    //#output(void initComponents()): this.performPanel.__Tag
    //#output(void initComponents()): this.performPanel.isNetworkPerform
    //#output(void initComponents()): this.performPanel.networkAction
    //#output(void initComponents()): this.performPanel.networkPerform
    //#output(void initComponents()): this.performPanel.server
    //#output(void initComponents()): this.performPanel.serverAction
    //#output(void initComponents()): this.performPanel.serverPerform
    //#output(void initComponents()): this.performPanel.target
    //#output(void initComponents()): this.performPanel.textarea
    //#output(void initComponents()): new SettingsPanel(initComponents#7) num objects
    //#output(void initComponents()): new UserModesPane(initComponents#4) num objects
    //#output(void initComponents()): this.modesPanel.__Tag
    //#output(void initComponents()): this.modesPanel.modeCheckBoxes
    //#output(void initComponents()): this.modesPanel.server
    //#output(void initComponents()): this.ignoreList
    //#output(void initComponents()): this.modesPanel
    //#output(void initComponents()): this.performPanel
    //#output(void initComponents()): this.settingsPanel
    //#output(void initComponents()): this.tabbedPane
    //#new obj(void initComponents()): new Hashtable(initModesPanel#1)
    //#new obj(void initComponents()): new IgnoreList(initComponents#1)
    //#new obj(void initComponents()): new IgnoreListModel(initComponents#2)
    //#new obj(void initComponents()): new IgnoreListPanel(initComponents#5)
    //#new obj(void initComponents()): new JButton(initComponents#5)
    //#new obj(void initComponents()): new JButton(initComponents#6)
    //#new obj(void initComponents()): new JCheckBox(initComponents#8)
    //#new obj(void initComponents()): new JComboBox(initComponents#3)
    //#new obj(void initComponents()): new JLabel(initComponents#7)
    //#new obj(void initComponents()): new JList(initComponents#3)
    //#new obj(void initComponents()): new JTabbedPane(initComponents#3)
    //#new obj(void initComponents()): new JTextArea(initComponents#6)
    //#new obj(void initComponents()): new PerformPanel(initComponents#6)
    //#new obj(void initComponents()): new SettingsPanel(initComponents#7)
    //#new obj(void initComponents()): new UserModesPane(initComponents#4)
    //#pre[2] (void initComponents()): init'ed(this.parentWindow)
    //#pre[3] (void initComponents()): this.server != null
    //#presumption(void initComponents()): com.dmdirc.Server:getConfigManager(...)@167 != null
    //#presumption(void initComponents()): javax.swing.JScrollPane:getViewport(...)@151 != null
    //#post(void initComponents()): this.ignoreList == &new IgnoreListPanel(initComponents#5)
    //#post(void initComponents()): this.modesPanel == &new UserModesPane(initComponents#4)
    //#post(void initComponents()): this.performPanel == &new PerformPanel(initComponents#6)
    //#post(void initComponents()): this.settingsPanel == &new SettingsPanel(initComponents#7)
    //#post(void initComponents()): this.tabbedPane == &new JTabbedPane(initComponents#3)
    //#post(void initComponents()): new Hashtable(initModesPanel#1) num objects == 1
    //#post(void initComponents()): new IgnoreList(initComponents#1) num objects == 1
    //#post(void initComponents()): new IgnoreListModel(initComponents#2) num objects == 1
    //#post(void initComponents()): new IgnoreListPanel(initComponents#5) num objects == 1
    //#post(void initComponents()): new JButton(initComponents#5) num objects == 1
    //#post(void initComponents()): new JButton(initComponents#6) num objects == 1
    //#post(void initComponents()): new JCheckBox(initComponents#8) num objects == 1
    //#post(void initComponents()): new JComboBox(initComponents#3) num objects == 1
    //#post(void initComponents()): new JLabel(initComponents#7) num objects == 1
    //#post(void initComponents()): new JList(initComponents#3) num objects == 1
    //#post(void initComponents()): new JTabbedPane(initComponents#3) num objects == 1
    //#post(void initComponents()): new JTextArea(initComponents#6) num objects == 1
    //#post(void initComponents()): new PerformPanel(initComponents#6) num objects == 1
    //#post(void initComponents()): new SettingsPanel(initComponents#7) num objects == 1
    //#post(void initComponents()): new UserModesPane(initComponents#4) num objects == 1
    //#post(void initComponents()): new IgnoreListModel(initComponents#2).__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/IgnoreListModel
    //#post(void initComponents()): new IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1)
    //#post(void initComponents()): this.ignoreList.cachedIgnoreList == &new IgnoreList(initComponents#1)
    //#post(void initComponents()): init'ed(new IgnoreListModel(initComponents#2).isSimple)
    //#post(void initComponents()): this.ignoreList.__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/IgnoreListPanel
    //#post(void initComponents()): this.ignoreList.addButton == &new JButton(initComponents#5)
    //#post(void initComponents()): this.ignoreList.delButton == &new JButton(initComponents#6)
    //#post(void initComponents()): this.ignoreList.list == &new JList(initComponents#3)
    //#post(void initComponents()): this.ignoreList.listModel == &new IgnoreListModel(initComponents#2)
    //#post(void initComponents()): this.ignoreList.parentWindow == this.parentWindow
    //#post(void initComponents()): init'ed(this.ignoreList.parentWindow)
    //#post(void initComponents()): this.ignoreList.server == this.server
    //#post(void initComponents()): this.ignoreList.server != null
    //#post(void initComponents()): this.performPanel.server == this.ignoreList.server
    //#post(void initComponents()): this.modesPanel.server == this.ignoreList.server
    //#post(void initComponents()): this.ignoreList.sizeLabel == &new JLabel(initComponents#7)
    //#post(void initComponents()): this.ignoreList.viewToggle == &new JCheckBox(initComponents#8)
    //#post(void initComponents()): this.performPanel.__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/PerformPanel
    //#post(void initComponents()): init'ed(this.performPanel.isNetworkPerform)
    //#post(void initComponents()): init'ed(this.performPanel.networkAction)
    //#post(void initComponents()): this.performPanel.networkPerform != null
    //#post(void initComponents()): init'ed(this.performPanel.serverAction)
    //#post(void initComponents()): this.performPanel.serverPerform != null
    //#post(void initComponents()): this.performPanel.target == &new JComboBox(initComponents#3)
    //#post(void initComponents()): this.performPanel.textarea == &new JTextArea(initComponents#6)
    //#post(void initComponents()): this.modesPanel.__Tag == com/dmdirc/addons/ui_swing/dialogs/serversetting/UserModesPane
    //#post(void initComponents()): this.modesPanel.modeCheckBoxes == &new Hashtable(initModesPanel#1)
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Server:getParser
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getUserModeString
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getMyself
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getUserModeStr
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Hashtable
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:subSequence
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Server:getConfigManager
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOptionBool
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionString
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox
    //#unanalyzed(void initComponents()): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:setMargin
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:setToolTipText
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void initComponents()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Map:values
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Collection:iterator
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.BorderFactory:createTitledBorder
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel:setBorder
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.UserModesPane:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.UserModesPane:add
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.UserModesPane:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.UserModesPane:setVisible
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Server:getIgnoreList
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.IgnoreList:getRegexList
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.IgnoreList
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.AbstractListModel
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.IgnoreList:canConvert
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JList
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JList:setSelectionMode
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JLabel
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:setSelected
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JCheckBox:addActionListener
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JList:getSelectionModel
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.ListSelectionModel:addListSelectionListener
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.IgnoreList:count
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JLabel:setText
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JList:getSelectedIndex
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JButton:setEnabled
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.PerformPanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.DefaultComboBoxModel
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JComboBox
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Server:getNetwork
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.DefaultComboBoxModel:addElement
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Server:getName
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.PerformPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JTextArea
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JTextArea:setColumns
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JComboBox:addActionListener
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:length
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:substring
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:getPerformWrapper
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:getActionForServer
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:getActionForNetwork
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.actions.Action:getResponse
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JComboBox:getSelectedIndex
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JTextArea:setText
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.serversetting.PerformPanel:setOpaque

        tabbedPane = new JTabbedPane();

        modesPanel = new UserModesPane(server);

        ignoreList =
                new IgnoreListPanel(server, parentWindow);

        performPanel =
                new PerformPanel(server);

        settingsPanel =
    //#ServerSettingsDialog.java:138: Warning: method not available - call not analyzed
    //#    call on Identity com.dmdirc.Server:getNetworkIdentity()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: Identity com.dmdirc.Server:getNetworkIdentity()
    //#ServerSettingsDialog.java:138: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel(Identity, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel(Identity, String)
                new SettingsPanel(server.getNetworkIdentity(),
                "These settings are specific to this " +
                "network, any settings specified here will overwrite global " +
                "settings");

        if (settingsPanel != null) {
    //#ServerSettingsDialog.java:144: Warning: test always goes same way
    //#    Test predetermined because this.settingsPanel != null
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    from bb: Entry_BB_1
    //#    live edge: Entry_BB_1-->bb_2
    //#    tested vn: 0
    //#    tested vn values: {0}
            addSettings();
        }

        final JScrollPane userModesSP = new JScrollPane(modesPanel);
        userModesSP.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
        userModesSP.setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#ServerSettingsDialog.java:150: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        userModesSP.getViewport().setOpaque(UIUtilities.getTabbedPaneOpaque());
    //#ServerSettingsDialog.java:151: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque()
        userModesSP.setBorder(null);

        tabbedPane.add("User modes", userModesSP);
        tabbedPane.add("Ignore list", ignoreList);
        tabbedPane.add("Perform", performPanel);
        if (settingsPanel != null) {
    //#ServerSettingsDialog.java:157: Warning: test always goes same way
    //#    Test predetermined because this.settingsPanel != null
    //#    severity: LOW
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    from bb: bb_3
    //#    live edge: bb_3-->bb_4
    //#    tested vn: 0
    //#    tested vn values: {0}
            tabbedPane.add("Settings", settingsPanel);
        }

        setLayout(new MigLayout("fill, wrap 1, hmax 80sp"));
    //#ServerSettingsDialog.java:161: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#ServerSettingsDialog.java:161: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:setLayout(LayoutManager)

        add(tabbedPane, "grow");
    //#ServerSettingsDialog.java:163: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)
        add(getLeftButton(), "split 2, right");
    //#ServerSettingsDialog.java:164: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getLeftButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getLeftButton()
    //#ServerSettingsDialog.java:164: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)
        add(getRightButton(), "right");
    //#ServerSettingsDialog.java:165: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getRightButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getRightButton()
    //#ServerSettingsDialog.java:165: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:add(Component, Object)

        tabbedPane.setSelectedIndex(server.getConfigManager().
    //#ServerSettingsDialog.java:167: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.Server:getConfigManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: ConfigManager com.dmdirc.Server:getConfigManager()
    //#ServerSettingsDialog.java:167: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.config.ConfigManager:getOptionInt(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: int com.dmdirc.config.ConfigManager:getOptionInt(String, String)
                getOptionInt("dialogstate", "serversettingsdialog"));
    }
    //#ServerSettingsDialog.java:169: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.initComponents()

    /** Adds the settings to the panel. */
    private void addSettings() {
        settingsPanel.addOption("channel.splitusermodes", "Split user modes",
    //#ServerSettingsDialog.java:173: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.addSettings()
    //#ServerSettingsDialog.java:173: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#input(void addSettings()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.CHECKBOX
    //#input(void addSettings()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.COLOUR
    //#input(void addSettings()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.SPINNER
    //#input(void addSettings()): com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.TEXTFIELD
    //#input(void addSettings()): this
    //#input(void addSettings()): this.settingsPanel
    //#pre[2] (void addSettings()): this.settingsPanel != null
    //#presumption(void addSettings()): init'ed(com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.CHECKBOX)
    //#presumption(void addSettings()): init'ed(com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.COLOUR)
    //#presumption(void addSettings()): init'ed(com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.SPINNER)
    //#presumption(void addSettings()): init'ed(com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel$OptionType.TEXTFIELD)
                OptionType.CHECKBOX);
        settingsPanel.addOption("channel.sendwho", "Send WHO",
    //#ServerSettingsDialog.java:175: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.CHECKBOX);
        settingsPanel.addOption("channel.showmodeprefix", "Show mode prefix",
    //#ServerSettingsDialog.java:177: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.CHECKBOX);

        settingsPanel.addOption("general.cyclemessage", "Cycle message",
    //#ServerSettingsDialog.java:180: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);
        settingsPanel.addOption("general.kickmessage", "Kick message",
    //#ServerSettingsDialog.java:182: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);
        settingsPanel.addOption("general.partmessage", "Part message",
    //#ServerSettingsDialog.java:184: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);

        settingsPanel.addOption("ui.backgroundcolour", "Background colour",
    //#ServerSettingsDialog.java:187: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.COLOUR);
        settingsPanel.addOption("ui.foregroundcolour", "Foreground colour",
    //#ServerSettingsDialog.java:189: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.COLOUR);
        settingsPanel.addOption("ui.frameBufferSize", "Textpane buffer limit",
    //#ServerSettingsDialog.java:191: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.SPINNER);
        
        settingsPanel.addOption("ui.inputBufferSize", "Input buffer size",
    //#ServerSettingsDialog.java:194: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.SPINNER);
        settingsPanel.addOption("ui.textPaneFontName", "Textpane font name",
    //#ServerSettingsDialog.java:196: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);
        //TODO issue 2251
        //settingsPanel.addOption("ui.textPaneFontSize", "Textpane font size",
        //        OptionType.SPINNER);
        
        settingsPanel.addOption("ui.inputbackgroundcolour",
    //#ServerSettingsDialog.java:202: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Input field background colour",
                OptionType.COLOUR);
        settingsPanel.addOption("ui.inputforegroundcolour",
    //#ServerSettingsDialog.java:205: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Input field foreground colour",
                OptionType.COLOUR);
        settingsPanel.addOption("ui.nicklistbackgroundcolour",
    //#ServerSettingsDialog.java:208: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Nicklist background colour",
                OptionType.COLOUR);
        settingsPanel.addOption("ui.nicklistforegroundcolour",
    //#ServerSettingsDialog.java:211: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Nicklist foreground colour",
                OptionType.COLOUR);
        settingsPanel.addOption("ui.shownickcoloursinnicklist",
    //#ServerSettingsDialog.java:214: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Show coloured nicks in nicklist",
                OptionType.CHECKBOX);
        settingsPanel.addOption("ui.shownickcoloursintext",
    //#ServerSettingsDialog.java:217: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Show coloured nicks in textpane",
                OptionType.CHECKBOX);

        settingsPanel.addOption("general.closechannelsonquit",
    //#ServerSettingsDialog.java:221: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Close channels on quit",
                OptionType.CHECKBOX);
        settingsPanel.addOption("general.closechannelsondisconnect",
    //#ServerSettingsDialog.java:224: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Close channels on disconnect",
                OptionType.CHECKBOX);
        settingsPanel.addOption("general.closequeriesonquit",
    //#ServerSettingsDialog.java:227: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Close queries on quit",
                OptionType.CHECKBOX);
        settingsPanel.addOption("general.closequeriesondisconnect",
    //#ServerSettingsDialog.java:230: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Close queries on disconnect",
                OptionType.CHECKBOX);
        settingsPanel.addOption("general.quitmessage", "Quit message",
    //#ServerSettingsDialog.java:233: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);
        settingsPanel.addOption("general.reconnectmessage", "Reconnect message",
    //#ServerSettingsDialog.java:235: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.TEXTFIELD);
        settingsPanel.addOption("general.rejoinchannels",
    //#ServerSettingsDialog.java:237: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                "Rejoin channels on reconnect",
                OptionType.CHECKBOX);

        settingsPanel.addOption("general.friendlymodes", "Show friendly modes",
    //#ServerSettingsDialog.java:241: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.CHECKBOX);
        settingsPanel.addOption("general.pingtimeout", "Ping timeout",
    //#ServerSettingsDialog.java:243: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void addSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)
                OptionType.SPINNER);
    }
    //#ServerSettingsDialog.java:245: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.addSettings()

    /** Initialises listeners for this dialog. */
    private void initListeners() {
        getOkButton().addActionListener(this);
    //#ServerSettingsDialog.java:249: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.initListeners()
    //#ServerSettingsDialog.java:249: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initListeners()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton()
    //#input(void initListeners()): this
    //#presumption(void initListeners()): com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton(...)@250 != null
    //#presumption(void initListeners()): com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton(...)@249 != null
        getCancelButton().addActionListener(this);
    //#ServerSettingsDialog.java:250: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void initListeners()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton()
    }
    //#ServerSettingsDialog.java:251: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.initListeners()

    /** Saves the settings from this dialog. */
    public void saveSettings() {
        modesPanel.save();
    //#ServerSettingsDialog.java:255: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.saveSettings()
    //#input(void saveSettings()): this
    //#input(void saveSettings()): this.ignoreList
    //#input(void saveSettings()): this.ignoreList.cachedIgnoreList
    //#input(void saveSettings()): this.ignoreList.server
    //#input(void saveSettings()): this.modesPanel
    //#input(void saveSettings()): this.modesPanel.modeCheckBoxes
    //#input(void saveSettings()): this.modesPanel.server
    //#input(void saveSettings()): this.performPanel
    //#input(void saveSettings()): this.performPanel.isNetworkPerform
    //#input(void saveSettings()): this.performPanel.networkAction
    //#input(void saveSettings()): this.performPanel.networkPerform
    //#input(void saveSettings()): this.performPanel.networkPerform._tainted
    //#input(void saveSettings()): this.performPanel.server
    //#input(void saveSettings()): this.performPanel.serverAction
    //#input(void saveSettings()): this.performPanel.serverPerform
    //#input(void saveSettings()): this.performPanel.serverPerform._tainted
    //#input(void saveSettings()): this.performPanel.textarea
    //#input(void saveSettings()): this.server
    //#input(void saveSettings()): this.settingsPanel
    //#input(void saveSettings()): this.tabbedPane
    //#output(void saveSettings()): this.performPanel.networkAction
    //#output(void saveSettings()): this.performPanel.networkPerform
    //#output(void saveSettings()): this.performPanel.serverAction
    //#output(void saveSettings()): this.performPanel.serverPerform
    //#pre[1] (void saveSettings()): init'ed(this.performPanel.networkAction)
    //#pre[2] (void saveSettings()): init'ed(this.performPanel.networkPerform)
    //#pre[3] (void saveSettings()): init'ed(this.performPanel.serverAction)
    //#pre[4] (void saveSettings()): init'ed(this.performPanel.serverPerform)
    //#pre[6] (void saveSettings()): this.ignoreList != null
    //#pre[7] (void saveSettings()): this.ignoreList.cachedIgnoreList != null
    //#pre[8] (void saveSettings()): this.ignoreList.server != null
    //#pre[9] (void saveSettings()): this.modesPanel != null
    //#pre[12] (void saveSettings()): this.performPanel != null
    //#pre[13] (void saveSettings()): init'ed(this.performPanel.isNetworkPerform)
    //#pre[17] (void saveSettings()): this.performPanel.textarea != null
    //#pre[18] (void saveSettings()): this.server != null
    //#pre[19] (void saveSettings()): this.settingsPanel != null
    //#pre[20] (void saveSettings()): this.tabbedPane != null
    //#pre[10] (void saveSettings()): (soft) this.modesPanel.modeCheckBoxes != null
    //#pre[15] (void saveSettings()): (soft) this.performPanel.server != null
    //#presumption(void saveSettings()): com.dmdirc.Server:getNetworkIdentity(...)@260 != null
    //#post(void saveSettings()): init'ed(this.performPanel.networkAction)
    //#post(void saveSettings()): this.performPanel.networkPerform != null
    //#post(void saveSettings()): init'ed(this.performPanel.serverAction)
    //#post(void saveSettings()): this.performPanel.serverPerform != null
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.Server:getParser
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getUserModeString
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getMyself
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getUserModeStr
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:subSequence
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.Server:getIgnoreList
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.IgnoreList:getRegexList
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.Server:getNetwork
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.Server:getName
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:getPerformWrapper
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void saveSettings()): Effects-of-calling:javax.swing.JCheckBox:isSelected
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void saveSettings()): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:alterMode
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:sendModes
    //#unanalyzed(void saveSettings()): Effects-of-calling:javax.swing.JTextArea:getText
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:createActionForServer
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.actions.Action:setResponse
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.actions.Action:save
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:createActionForNetwork
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.IgnoreList:clear
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.IgnoreList:addAll
    //#unanalyzed(void saveSettings()): Effects-of-calling:com.dmdirc.Server:saveIgnoreList
        settingsPanel.save();
    //#ServerSettingsDialog.java:256: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:save()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void saveSettings()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:save()
        performPanel.savePerforms();
        ignoreList.saveList();

        final Identity identity = server.getNetworkIdentity();
    //#ServerSettingsDialog.java:260: Warning: method not available - call not analyzed
    //#    call on Identity com.dmdirc.Server:getNetworkIdentity()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void saveSettings()
    //#    unanalyzed callee: Identity com.dmdirc.Server:getNetworkIdentity()
        identity.setOption("dialogstate", "serversettingsdialog",
    //#ServerSettingsDialog.java:261: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.config.Identity:setOption(String, String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void saveSettings()
    //#    unanalyzed callee: void com.dmdirc.config.Identity:setOption(String, String, String)
                String.valueOf(tabbedPane.getSelectedIndex()));
    }
    //#ServerSettingsDialog.java:263: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.saveSettings()

    /**
     * {@inheritDoc}
     * 
     * @param e Action event
     */
    @Override
    public void actionPerformed(final ActionEvent e) {
        if (e.getSource() == getOkButton()) {
    //#ServerSettingsDialog.java:272: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.actionPerformed(ActionEvent)
    //#ServerSettingsDialog.java:272: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getOkButton()
    //#input(void actionPerformed(ActionEvent)): e
    //#input(void actionPerformed(ActionEvent)): me
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.ignoreList
    //#input(void actionPerformed(ActionEvent)): this.ignoreList.cachedIgnoreList
    //#input(void actionPerformed(ActionEvent)): this.ignoreList.server
    //#input(void actionPerformed(ActionEvent)): this.modesPanel
    //#input(void actionPerformed(ActionEvent)): this.modesPanel.modeCheckBoxes
    //#input(void actionPerformed(ActionEvent)): this.modesPanel.server
    //#input(void actionPerformed(ActionEvent)): this.performPanel
    //#input(void actionPerformed(ActionEvent)): this.performPanel.isNetworkPerform
    //#input(void actionPerformed(ActionEvent)): this.performPanel.networkAction
    //#input(void actionPerformed(ActionEvent)): this.performPanel.networkPerform
    //#input(void actionPerformed(ActionEvent)): this.performPanel.networkPerform._tainted
    //#input(void actionPerformed(ActionEvent)): this.performPanel.server
    //#input(void actionPerformed(ActionEvent)): this.performPanel.serverAction
    //#input(void actionPerformed(ActionEvent)): this.performPanel.serverPerform
    //#input(void actionPerformed(ActionEvent)): this.performPanel.serverPerform._tainted
    //#input(void actionPerformed(ActionEvent)): this.performPanel.textarea
    //#input(void actionPerformed(ActionEvent)): this.server
    //#input(void actionPerformed(ActionEvent)): this.settingsPanel
    //#input(void actionPerformed(ActionEvent)): this.tabbedPane
    //#output(void actionPerformed(ActionEvent)): me
    //#output(void actionPerformed(ActionEvent)): this.performPanel.networkAction
    //#output(void actionPerformed(ActionEvent)): this.performPanel.networkPerform
    //#output(void actionPerformed(ActionEvent)): this.performPanel.serverAction
    //#output(void actionPerformed(ActionEvent)): this.performPanel.serverPerform
    //#pre[1] (void actionPerformed(ActionEvent)): e != null
    //#pre[3] (void actionPerformed(ActionEvent)): (soft) init'ed(me)
    //#pre[4] (void actionPerformed(ActionEvent)): (soft) init'ed(this.performPanel.networkAction)
    //#pre[5] (void actionPerformed(ActionEvent)): (soft) init'ed(this.performPanel.networkPerform)
    //#pre[6] (void actionPerformed(ActionEvent)): (soft) init'ed(this.performPanel.serverAction)
    //#pre[7] (void actionPerformed(ActionEvent)): (soft) init'ed(this.performPanel.serverPerform)
    //#pre[9] (void actionPerformed(ActionEvent)): (soft) this.ignoreList != null
    //#pre[10] (void actionPerformed(ActionEvent)): (soft) this.ignoreList.cachedIgnoreList != null
    //#pre[11] (void actionPerformed(ActionEvent)): (soft) this.ignoreList.server != null
    //#pre[12] (void actionPerformed(ActionEvent)): (soft) this.modesPanel != null
    //#pre[13] (void actionPerformed(ActionEvent)): (soft) this.modesPanel.modeCheckBoxes != null
    //#pre[15] (void actionPerformed(ActionEvent)): (soft) this.performPanel != null
    //#pre[16] (void actionPerformed(ActionEvent)): (soft) init'ed(this.performPanel.isNetworkPerform)
    //#pre[18] (void actionPerformed(ActionEvent)): (soft) this.performPanel.server != null
    //#pre[20] (void actionPerformed(ActionEvent)): (soft) this.performPanel.textarea != null
    //#pre[21] (void actionPerformed(ActionEvent)): (soft) this.server != null
    //#pre[22] (void actionPerformed(ActionEvent)): (soft) this.settingsPanel != null
    //#pre[23] (void actionPerformed(ActionEvent)): (soft) this.tabbedPane != null
    //#post(void actionPerformed(ActionEvent)): me == One-of{old me, null}
    //#post(void actionPerformed(ActionEvent)): init'ed(me)
    //#post(void actionPerformed(ActionEvent)): init'ed(this.performPanel.networkAction)
    //#post(void actionPerformed(ActionEvent)): init'ed(this.performPanel.networkPerform)
    //#post(void actionPerformed(ActionEvent)): init'ed(this.performPanel.serverAction)
    //#post(void actionPerformed(ActionEvent)): init'ed(this.performPanel.serverPerform)
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:getParser
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getUserModeString
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.parser.irc.IRCParser:getMyself
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:getUserModeStr
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:subSequence
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:contains
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:getIgnoreList
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.IgnoreList:getRegexList
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:getNetwork
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:getName
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:getPerformWrapper
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:getNetworkIdentity
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JCheckBox:isSelected
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:toCharArray
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:alterMode
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.parser.irc.ClientInfo:sendModes
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.expandingsettings.SettingsPanel:save
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JTextArea:getText
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:createActionForServer
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.actions.Action:setResponse
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.actions.Action:save
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.actions.wrappers.PerformWrapper:createActionForNetwork
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.IgnoreList:clear
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.IgnoreList:addAll
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.Server:saveIgnoreList
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JTabbedPane:getSelectedIndex
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.config.Identity:setOption
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog:dispose
            saveSettings();
            dispose();
        } else if (e.getSource() == getCancelButton()) {
    //#ServerSettingsDialog.java:275: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog:getCancelButton()
            dispose();
        }
    }
    //#ServerSettingsDialog.java:278: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.actionPerformed(ActionEvent)
    
    /** {@inheritDoc} */
    @Override
    public void dispose() {
        if (me == null) {
    //#ServerSettingsDialog.java:283: method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.dispose()
    //#input(void dispose()): me
    //#input(void dispose()): me.__Lock
    //#input(void dispose()): this
    //#output(void dispose()): me
    //#pre[1] (void dispose()): init'ed(me)
    //#post(void dispose()): me == null
    //#test_vector(void dispose()): me: Inverse{null}, Addr_Set{null}
            return;
        }
        synchronized (me) {
            super.dispose();
    //#ServerSettingsDialog.java:287: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
    //#    method: void dispose()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
            me = null;
        }
    }
    //#ServerSettingsDialog.java:290: end of method: void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.dispose()
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/serversetting/ServerSettingsDialog]
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.addSettings()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.dispose()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.initListeners()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.saveSettings()V
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/serversetting/ServerSettingsDialog] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.addSettings()V == &addSettings
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.dispose()V == &dispose
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.initListeners()V == &initListeners
    //#post(com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init): __Dispatch_Table.saveSettings()V == &saveSettings
    //#ServerSettingsDialog.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog.com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init
    //#ServerSettingsDialog.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog
