//# 2 errors, 541 messages
//#
/*
    //#MenuBar.java:1:1: class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#MenuBar.java:1:1: method: com.dmdirc.addons.ui_swing.components.MenuBar.com.dmdirc.addons.ui_swing.components.MenuBar__static_init
    //#MenuBar.java:1:1: class: com.dmdirc.addons.ui_swing.components.MenuBar$1
    //#MenuBar.java:1:1: method: com.dmdirc.addons.ui_swing.components.MenuBar$1.com.dmdirc.addons.ui_swing.components.MenuBar$1__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.components;

import com.dmdirc.ServerManager;
import com.dmdirc.ServerState;
import com.dmdirc.ui.interfaces.Window;
import com.dmdirc.addons.ui_swing.Apple;
import com.dmdirc.addons.ui_swing.MainFrame;
import com.dmdirc.addons.ui_swing.components.frames.ChannelFrame;
import com.dmdirc.addons.ui_swing.SwingController;
import com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog;
import com.dmdirc.addons.ui_swing.dialogs.NewServerDialog;
import com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog;
import com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog;
import com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog;
import com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog;
import com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog;
import com.dmdirc.addons.ui_swing.framemanager.windowmenu.WindowMenuFrameManager;

import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.Dialog.ModalityType;

import javax.swing.Box;
import javax.swing.JMenu;
import javax.swing.JMenuBar;
import javax.swing.JMenuItem;
import javax.swing.event.MenuEvent;
import javax.swing.event.MenuListener;

import net.miginfocom.layout.PlatformDefaults;
import net.miginfocom.swing.MigLayout;

/**
 * DMDirc menu bar.
 */
public class MenuBar extends JMenuBar implements ActionListener, MenuListener {
    //#MenuBar.java:58: method: SwingController com.dmdirc.addons.ui_swing.components.MenuBar.access$000(MenuBar)
    //#input(SwingController access$000(MenuBar)): x0
    //#input(SwingController access$000(MenuBar)): x0.controller
    //#output(SwingController access$000(MenuBar)): return_value
    //#pre[1] (SwingController access$000(MenuBar)): x0 != null
    //#pre[2] (SwingController access$000(MenuBar)): init'ed(x0.controller)
    //#post(SwingController access$000(MenuBar)): return_value == x0.controller
    //#post(SwingController access$000(MenuBar)): init'ed(return_value)
    //#MenuBar.java:58: end of method: SwingController com.dmdirc.addons.ui_swing.components.MenuBar.access$000(MenuBar)

    /**
     * A version number for this class. It should be changed whenever the class
     * structure is changed (or anything else that would prevent serialized
     * objects being unserialized with the new class).
     */
    private static final long serialVersionUID = 1;
    /** CSD. */
    private JMenuItem csd;
    /** SSD. */
    private JMenuItem ssd;
    /** disconnect. */
    private JMenuItem disconnect;
    /** join. */
    private JMenuItem join;
    /** Swing controller. */
    private SwingController controller;
    /** Main frame. */
    private MainFrame mainFrame;

    /**
     * Instantiates a new menu bar.
     * 
     * @param controller Swing controller
     * @param mainFrame Main frame
     */
    public MenuBar(final SwingController controller, final MainFrame mainFrame) {
        super();
    //#MenuBar.java:86: method: void com.dmdirc.addons.ui_swing.components.MenuBar.com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): controller
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): mainFrame
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.controller
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.csd
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.disconnect
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.join
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.mainFrame
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.ssd
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#2)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#3)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#3)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#4)
    //#presumption(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap(...)@101 != null
    //#presumption(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap(...)@102 != null
    //#presumption(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): net.miginfocom.layout.PlatformDefaults:getPanelInsets(...)@99 != null
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.controller == controller
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): init'ed(this.controller)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.csd == &new JMenuItem(initChannelMenu#3)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.disconnect == &new JMenuItem(initServerMenu#3)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.join == &new JMenuItem(initChannelMenu#2)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.mainFrame == mainFrame
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): init'ed(this.mainFrame)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): this.ssd == &new JMenuItem(initServerMenu#4)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initChannelMenu#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): new JMenuItem(initServerMenu#4) num objects == 1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenu
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenu:setMnemonic
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenu:addMenuListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.MenuBar:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenuItem
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenuItem:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenuItem:setMnemonic
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenuItem:setActionCommand
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenuItem:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JMenu:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.UIManager:getLookAndFeel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.SwingUtilities:isEventDispatchThread
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.lang.Runnable:run
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.ui.IconManager:getIconManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.ui.IconManager:getScaledIcon
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:javax.swing.BorderFactory:createEtchedBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:setBorder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:setContentAreaFilled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:setFocusPainted
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:java.awt.Insets
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:setMargin
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:setFocusable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.MDIBar:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.MDIBar:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.MDIBar:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.ui.WindowManager:addFrameManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.ui.WindowManager:addSelectionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.NoFocusButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)): Effects-of-calling:com.dmdirc.config.ConfigManager:addChangeListener
        this.controller = controller;
        this.mainFrame = mainFrame;
        
        setLayout(new MigLayout("ins 0, fillx"));
    //#MenuBar.java:90: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
    //#MenuBar.java:90: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.MenuBar:setLayout(LayoutManager)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.MenuBar:setLayout(LayoutManager)

        initServerMenu();
        initChannelMenu();
        initSettingsMenu();
        add(new WindowMenuFrameManager());
    //#MenuBar.java:95: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.framemanager.windowmenu.WindowMenuFrameManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.framemanager.windowmenu.WindowMenuFrameManager()
    //#MenuBar.java:95: Warning: method not available - call not analyzed
    //#    call on JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
        initHelpMenu();
        add(Box.createHorizontalGlue(), "growx, pushx");
    //#MenuBar.java:97: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.MenuBar:add(Component, Object)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.MenuBar:add(Component, Object)
        add(new MDIBar(mainFrame));
    //#MenuBar.java:98: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.components.MenuBar:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.components.MenuBar:add(Component)
        add(Box.createHorizontalStrut(PlatformDefaults.getPanelInsets(1).getUnit()));
    //#MenuBar.java:99: Warning: method not available - call not analyzed
    //#    call on UnitValue net.miginfocom.layout.PlatformDefaults:getPanelInsets(int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: UnitValue net.miginfocom.layout.PlatformDefaults:getPanelInsets(int)
    //#MenuBar.java:99: Warning: method not available - call not analyzed
    //#    call on int net.miginfocom.layout.UnitValue:getUnit()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: int net.miginfocom.layout.UnitValue:getUnit()
    //#MenuBar.java:99: Warning: method not available - call not analyzed
    //#    call on Component com.dmdirc.addons.ui_swing.components.MenuBar:add(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: Component com.dmdirc.addons.ui_swing.components.MenuBar:add(Component)

        getActionMap().setParent(null);
    //#MenuBar.java:101: Warning: method not available - call not analyzed
    //#    call on ActionMap com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: ActionMap com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap()
        getActionMap().clear();
    //#MenuBar.java:102: Warning: method not available - call not analyzed
    //#    call on ActionMap com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)
    //#    unanalyzed callee: ActionMap com.dmdirc.addons.ui_swing.components.MenuBar:getActionMap()
    }
    //#MenuBar.java:103: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.com.dmdirc.addons.ui_swing.components.MenuBar(SwingController, MainFrame)

    /**
     * Initialises the server menu.
     */
    private void initServerMenu() {
        JMenuItem menuItem;
        final JMenu menu = new JMenu("Server");
    //#MenuBar.java:110: method: void com.dmdirc.addons.ui_swing.components.MenuBar.initServerMenu()
    //#input(void initServerMenu()): this
    //#output(void initServerMenu()): new JMenuItem(initServerMenu#3) num objects
    //#output(void initServerMenu()): new JMenuItem(initServerMenu#4) num objects
    //#output(void initServerMenu()): this.disconnect
    //#output(void initServerMenu()): this.ssd
    //#new obj(void initServerMenu()): new JMenuItem(initServerMenu#3)
    //#new obj(void initServerMenu()): new JMenuItem(initServerMenu#4)
    //#post(void initServerMenu()): this.disconnect == &new JMenuItem(initServerMenu#3)
    //#post(void initServerMenu()): this.ssd == &new JMenuItem(initServerMenu#4)
    //#post(void initServerMenu()): new JMenuItem(initServerMenu#3) num objects == 1
    //#post(void initServerMenu()): new JMenuItem(initServerMenu#4) num objects == 1
    //#unanalyzed(void initServerMenu()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void initServerMenu()): Effects-of-calling:javax.swing.UIManager:getLookAndFeel
    //#unanalyzed(void initServerMenu()): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void initServerMenu()): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void initServerMenu()): Effects-of-calling:java.lang.String:equals
        menu.setMnemonic('s');
        menu.addMenuListener(this);
        add(menu);
    //#MenuBar.java:113: Warning: method not available - call not analyzed
    //#    call on JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void initServerMenu()
    //#    unanalyzed callee: JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)

        menuItem = new JMenuItem();
        menuItem.setText("New Server...");
        menuItem.setMnemonic('n');
        menuItem.setActionCommand("NewServer");
        menuItem.addActionListener(this);
        menu.add(menuItem);

        disconnect = new JMenuItem();
        disconnect.setText("Disconnect");
        disconnect.setMnemonic('d');
        disconnect.setActionCommand("Disconnect");
        disconnect.addActionListener(this);
        menu.add(disconnect);

        ssd = new JMenuItem();
        ssd.setMnemonic('s');
        ssd.setText("Server settings");
        ssd.setActionCommand("ServerSettings");
        ssd.addActionListener(this);
        menu.add(ssd);

        if (!Apple.isAppleUI()) {
            menuItem = new JMenuItem();
            menuItem.setText("Exit");
            menuItem.setMnemonic('x');
            menuItem.setActionCommand("Exit");
            menuItem.addActionListener(this);
            menu.add(menuItem);
        }
    }
    //#MenuBar.java:144: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.initServerMenu()

    /**
     * Initialises the channel menu.
     */
    private void initChannelMenu() {
        final JMenu menu = new JMenu("Channel");
    //#MenuBar.java:150: method: void com.dmdirc.addons.ui_swing.components.MenuBar.initChannelMenu()
    //#input(void initChannelMenu()): this
    //#output(void initChannelMenu()): new JMenuItem(initChannelMenu#2) num objects
    //#output(void initChannelMenu()): new JMenuItem(initChannelMenu#3) num objects
    //#output(void initChannelMenu()): this.csd
    //#output(void initChannelMenu()): this.join
    //#new obj(void initChannelMenu()): new JMenuItem(initChannelMenu#2)
    //#new obj(void initChannelMenu()): new JMenuItem(initChannelMenu#3)
    //#post(void initChannelMenu()): this.csd == &new JMenuItem(initChannelMenu#3)
    //#post(void initChannelMenu()): this.join == &new JMenuItem(initChannelMenu#2)
    //#post(void initChannelMenu()): new JMenuItem(initChannelMenu#2) num objects == 1
    //#post(void initChannelMenu()): new JMenuItem(initChannelMenu#3) num objects == 1
        menu.setMnemonic('c');
        menu.addMenuListener(this);
        add(menu);
    //#MenuBar.java:153: Warning: method not available - call not analyzed
    //#    call on JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void initChannelMenu()
    //#    unanalyzed callee: JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)

        join = new JMenuItem();
        join.setText("Join Channel...");
        join.setMnemonic('j');
        join.setActionCommand("JoinChannel");
        join.addActionListener(this);
        menu.add(join);

        csd = new JMenuItem();
        csd.setMnemonic('c');
        csd.setText("Channel Settings");
        csd.setActionCommand("ChannelSettings");
        csd.addActionListener(this);
        menu.add(csd);
    }
    //#MenuBar.java:168: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.initChannelMenu()

    /**
     * Initialises the settings menu.
     */
    private void initSettingsMenu() {
        JMenuItem menuItem;
        final JMenu menu = new JMenu("Settings");
    //#MenuBar.java:175: method: void com.dmdirc.addons.ui_swing.components.MenuBar.initSettingsMenu()
    //#input(void initSettingsMenu()): this
    //#unanalyzed(void initSettingsMenu()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void initSettingsMenu()): Effects-of-calling:javax.swing.UIManager:getLookAndFeel
    //#unanalyzed(void initSettingsMenu()): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void initSettingsMenu()): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void initSettingsMenu()): Effects-of-calling:java.lang.String:equals
        menu.setMnemonic('e');
        menu.addMenuListener(this);
        add(menu);
    //#MenuBar.java:178: Warning: method not available - call not analyzed
    //#    call on JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void initSettingsMenu()
    //#    unanalyzed callee: JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)

        if (!Apple.isAppleUI()) {
            menuItem = new JMenuItem();
            menuItem.setText("Preferences");
            menuItem.setMnemonic('p');
            menuItem.setActionCommand("Preferences");
            menuItem.addActionListener(this);
            menu.add(menuItem);
        }

        menuItem = new JMenuItem();
        menuItem.setMnemonic('m');
        menuItem.setText("Profile Manager");
        menuItem.setActionCommand("Profile");
        menuItem.addActionListener(this);
        menu.add(menuItem);

        menuItem = new JMenuItem();
        menuItem.setMnemonic('a');
        menuItem.setText("Actions Manager");
        menuItem.setActionCommand("Actions");
        menuItem.addActionListener(this);
        menu.add(menuItem);

        menuItem = new JMenuItem();
        menuItem.setMnemonic('l');
        menuItem.setText("Alias Manager");
        menuItem.setActionCommand("Aliases");
        menuItem.addActionListener(this);
        menu.add(menuItem);
    }
    //#MenuBar.java:209: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.initSettingsMenu()

    /**
     * Initialises the help menu.
     */
    private void initHelpMenu() {
        JMenuItem menuItem;
        final JMenu menu = new JMenu("Help");
    //#MenuBar.java:216: method: void com.dmdirc.addons.ui_swing.components.MenuBar.initHelpMenu()
    //#input(void initHelpMenu()): this
    //#unanalyzed(void initHelpMenu()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void initHelpMenu()): Effects-of-calling:javax.swing.UIManager:getLookAndFeel
    //#unanalyzed(void initHelpMenu()): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(void initHelpMenu()): Effects-of-calling:java.lang.Class:getName
    //#unanalyzed(void initHelpMenu()): Effects-of-calling:java.lang.String:equals
        menu.setMnemonic('h');
        add(menu);
    //#MenuBar.java:218: Warning: method not available - call not analyzed
    //#    call on JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void initHelpMenu()
    //#    unanalyzed callee: JMenu com.dmdirc.addons.ui_swing.components.MenuBar:add(JMenu)

        menuItem = new JMenuItem();
        menuItem.setMnemonic('j');
        menuItem.setText("Join Dev channel");
        menuItem.setActionCommand("JoinDevChat");
        menuItem.addActionListener(this);
        menu.add(menuItem);

        menuItem = new JMenuItem();
        menuItem.setMnemonic('f');
        menuItem.setText("Send Feedback");
        menuItem.setActionCommand("feedback");
        menuItem.addActionListener(this);
        menu.add(menuItem);

        if (!Apple.isAppleUI()) {
            menuItem = new JMenuItem();
            menuItem.setMnemonic('a');
            menuItem.setText("About");
            menuItem.setActionCommand("About");
            menuItem.addActionListener(this);
            menu.add(menuItem);
        }
    }
    //#MenuBar.java:242: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.initHelpMenu()

    /** 
     * {@inheritDoc}
     *  
     * @param e Action event    
     */
    @Override
    public void actionPerformed(final ActionEvent e) {
        if ("NewServer".equals(e.getActionCommand())) {
    //#MenuBar.java:251: method: void com.dmdirc.addons.ui_swing.components.MenuBar.actionPerformed(ActionEvent)
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/nickcolours/NickColourInputDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/nickcolours/NickColourInputDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/UIUtilities.com.dmdirc.logger.ErrorLevel.HIGH
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/ColourPickerDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/ColourPickerDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/MenuBar$1.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/MenuBar$1.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/nickcolours/NickColourInputDialog]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/ColourPickerDialog]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/StandardDialog]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/StandardInputDialog]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[others]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/frames/ChannelFrame.__Descendant_Table[com/dmdirc/addons/ui_swing/components/frames/ChannelFrame]
    //#input(void actionPerformed(ActionEvent)): com/dmdirc/addons/ui_swing/components/frames/ChannelFrame.__Descendant_Table[others]
    //#input(void actionPerformed(ActionEvent)): e
    //#input(void actionPerformed(ActionEvent)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.controller
    //#input(void actionPerformed(ActionEvent)): this.controller.mainFrameCreated
    //#input(void actionPerformed(ActionEvent)): this.controller.me
    //#input(void actionPerformed(ActionEvent)): this.mainFrame
    //#output(void actionPerformed(ActionEvent)): this.mainFrame.exitCode
    //#pre[1] (void actionPerformed(ActionEvent)): e != null
    //#pre[4] (void actionPerformed(ActionEvent)): (soft) this.controller != null
    //#pre[5] (void actionPerformed(ActionEvent)): (soft) this.controller.mainFrameCreated != null
    //#pre[6] (void actionPerformed(ActionEvent)): (soft) this.controller.me != null
    //#pre[7] (void actionPerformed(ActionEvent)): (soft) this.mainFrame != null
    //#presumption(void actionPerformed(ActionEvent)): com.dmdirc.ServerManager:getServerManager(...)@266 != null
    //#presumption(void actionPerformed(ActionEvent)): init'ed(java.awt.Dialog$ModalityType.MODELESS)
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@255 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@257 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@259 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@261 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@263 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@265 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@267 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@269 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@275 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@277 != null
    //#presumption(void actionPerformed(ActionEvent)): java.awt.event.ActionEvent:getActionCommand(...)@279 != null
    //#post(void actionPerformed(ActionEvent)): possibly_updated(this.mainFrame.exitCode)
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.SwingUtilities:isEventDispatchThread
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Runnable:run
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:invokeLater
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:getActiveFrame
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.util.concurrent.atomic.AtomicBoolean:get
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.ui.interfaces.Window:getContainer
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.FrameContainer:getServer
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.config.ConfigManager:getOptionBool
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JOptionPane:showConfirmDialog
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.LoggingSwingWorker
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.MainFrame$8:execute
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.SwingUtilities:invokeAndWait
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread:run
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread:getObject
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:getParent
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.SwingWorker
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:getText
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:getOkButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setEnabled
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:orderButtons
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:getCancelButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.awt.event.WindowAdapter
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:addWindowListener
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:getDocument
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.text.Document:addDocumentListener
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.KeyStroke:getKeyStroke
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:getRootPane
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JRootPane:registerKeyboardAction
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setLayout
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:add
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:getLeftButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:getRightButton
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setTitle
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setDefaultCloseOperation
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setDefaultCapable
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.awt.Dimension
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setPreferredSize
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JButton:setMinimumSize
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog:setIconImages
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:javax.swing.JDialog
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.awt.Window:getIconImages
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@251: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@253: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@255: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@257: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@259: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@261: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@263: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@265: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@267: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@269: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@275: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@277: {0}, {1}
    //#test_vector(void actionPerformed(ActionEvent)): java.lang.String:equals(...)@279: {0}, {1}
            NewServerDialog.showNewServerDialog(mainFrame);
    //#MenuBar.java:252: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog:showNewServerDialog(MainFrame)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.NewServerDialog:showNewServerDialog(MainFrame)
        } else if ("Preferences".equals(e.getActionCommand())) {
            SwingPreferencesDialog.showSwingPreferencesDialog(mainFrame);
    //#MenuBar.java:254: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog:showSwingPreferencesDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.prefs.SwingPreferencesDialog:showSwingPreferencesDialog(Window)
        } else if (e.getActionCommand().equals("About")) {
            AboutDialog.showAboutDialog(mainFrame);
    //#MenuBar.java:256: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:showAboutDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:showAboutDialog(Window)
        } else if (e.getActionCommand().equals("Profile")) {
            ProfileManagerDialog.showProfileManagerDialog(mainFrame);
    //#MenuBar.java:258: 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.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.profiles.ProfileManagerDialog:showProfileManagerDialog(MainFrame)
        } else if (e.getActionCommand().equals("Exit")) {
            mainFrame.quit();
        } else if (e.getActionCommand().equals("Actions")) {
            ActionsManagerDialog.showActionsManagerDialog(mainFrame);
    //#MenuBar.java:262: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog:showActionsManagerDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.actionsmanager.ActionsManagerDialog:showActionsManagerDialog(Window)
        } else if (e.getActionCommand().equals("Aliases")) {
            AliasManagerDialog.showAliasManagerDialog(mainFrame);
    //#MenuBar.java:264: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog:showAliasManagerDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.aliases.AliasManagerDialog:showAliasManagerDialog(Window)
        } else if (e.getActionCommand().equals("JoinDevChat")) {
            ServerManager.getServerManager().joinDevChat();
    //#MenuBar.java:266: Warning: method not available - call not analyzed
    //#    call on ServerManager com.dmdirc.ServerManager:getServerManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: ServerManager com.dmdirc.ServerManager:getServerManager()
    //#MenuBar.java:266: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ServerManager:joinDevChat()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.ServerManager:joinDevChat()
        } else if (e.getActionCommand().equals("feedback")) {
            FeedbackDialog.showFeedbackDialog(mainFrame);
    //#MenuBar.java:268: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:showFeedbackDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.FeedbackDialog:showFeedbackDialog(Window)
        } else if (e.getActionCommand().equals("ChannelSettings")) {
            final Window activeWindow = controller.getActiveWindow();
            if (activeWindow instanceof ChannelFrame) {
                controller.showChannelSettingsDialog(((ChannelFrame) activeWindow).
                        getChannel());
            }
        } else if (e.getActionCommand().equals("ServerSettings")) {
            controller.showServerSettingsDialog(controller.getActiveServer());
        } else if (e.getActionCommand().equals("Disconnect")) {
            controller.getActiveServer().disconnect();
    //#MenuBar.java:278: ?null dereference
    //#    getActiveServer(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    basic block: bb_26
    //#    assertion: getActiveServer(...) != null
    //#    VN: getActiveServer(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#MenuBar.java:278: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.Server:disconnect()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: void com.dmdirc.Server:disconnect()
        } else if (e.getActionCommand().equals("JoinChannel")) {
            new StandardInputDialog(mainFrame, ModalityType.MODELESS,
                    "Join channel", "Enter the name of the channel to join.") {
    //#MenuBar.java:281: method: void com.dmdirc.addons.ui_swing.components.MenuBar$1.com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)
    //#MenuBar.java:281: Warning: suspicious precondition
    //#    The precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar$1
    //#    method: void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)
    //#    suspicious precondition index: [2]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): __Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): __Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/nickcolours/NickColourInputDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/nickcolours/NickColourInputDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/ColourPickerDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/ColourPickerDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/nickcolours/NickColourInputDialog]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/ColourPickerDialog]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/StandardDialog]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/StandardInputDialog]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[others]
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor.__Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor.__Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.__Tag
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): x0
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): x1
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): x2
    //#input(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): x3
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#2) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new StandardInputDialog$1(StandardInputDialog#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new StandardInputDialog$1(StandardInputDialog#1).__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new TextLabel(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new ValidatingJTextField(initComponents#3) num objects
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.__Tag
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.blurb
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.cancelButton
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.message
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.okButton
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.textField
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.this$0
    //#output(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.validator
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#1)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#2)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new StandardInputDialog$1(StandardInputDialog#1)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new TextLabel(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new ValidatingJTextField(initComponents#3)
    //#pre[2] (void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.__Tag in {com/dmdirc/addons/nickcolours/NickColourInputDialog, com/dmdirc/addons/ui_swing/components/ColourPickerDialog, com/dmdirc/addons/ui_swing/components/MenuBar$1, com/dmdirc/addons/ui_swing/components/StandardDialog, com/dmdirc/addons/ui_swing/components/StandardInputDialog, com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.__Tag == old this.__Tag
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.__Tag in {com/dmdirc/addons/nickcolours/NickColourInputDialog, com/dmdirc/addons/ui_swing/components/ColourPickerDialog, com/dmdirc/addons/ui_swing/components/MenuBar$1, com/dmdirc/addons/ui_swing/components/StandardDialog, com/dmdirc/addons/ui_swing/components/StandardInputDialog, com/dmdirc/addons/ui_swing/components/durationeditor/DurationEditor}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.blurb == &new TextLabel(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.cancelButton == One-of{&new JButton(initComponents#2), &new JButton(initComponents#1)}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.cancelButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.message == x3
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): init'ed(this.message)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.okButton == One-of{&new JButton(initComponents#1), &new JButton(initComponents#2)}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.okButton in Addr_Set{&new JButton(initComponents#1),&new JButton(initComponents#2)}
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.textField == &new ValidatingJTextField(initComponents#3)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): init'ed(this.this$0)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): this.validator == &new StandardInputDialog$1(StandardInputDialog#1)
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new JButton(initComponents#2) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new StandardInputDialog$1(StandardInputDialog#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new TextLabel(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new ValidatingJTextField(initComponents#3) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): new StandardInputDialog$1(StandardInputDialog#1).__Tag == com/dmdirc/addons/ui_swing/components/StandardInputDialog$1
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:getText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:getOkButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.config.prefs.validator.Validator:validate
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.config.prefs.validator.ValidationResponse:isFailure
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:setEnabled
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:orderButtons
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.TextLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:getCancelButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.awt.event.WindowAdapter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:addWindowListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.text.Document:addDocumentListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.KeyStroke:getKeyStroke
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:getRootPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JRootPane:registerKeyboardAction
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:getLeftButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:getRightButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setTitle
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardInputDialog:setDefaultCloseOperation
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:setDefaultCapable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.lang.String:startsWith
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.awt.Dimension
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:setPreferredSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JButton:setMinimumSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog:setIconImages
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:javax.swing.JDialog
    //#unanalyzed(void com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)): Effects-of-calling:java.awt.Window:getIconImages
    //#MenuBar.java:281: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar$1.com.dmdirc.addons.ui_swing.components.MenuBar$1(MenuBar, Window, Dialog$ModalityType, String, String)

                /** Serial version UID. */
                private static final long serialVersionUID = 1;

                /** {@inheritDoc} */
                @Override
                public boolean save() {
                    controller.getActiveServer().join(getText());
    //#MenuBar.java:289: method: bool com.dmdirc.addons.ui_swing.components.MenuBar$1.save()
    //#MenuBar.java:289: ?null dereference
    //#    getActiveServer(...) != null
    //#    severity: MEDIUM
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar$1
    //#    method: bool save()
    //#    basic block: Entry_BB_1
    //#    assertion: getActiveServer(...) != null
    //#    VN: getActiveServer(...)
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#MenuBar.java:289: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.Server:join(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar$1
    //#    method: bool save()
    //#    unanalyzed callee: void com.dmdirc.Server:join(String)
    //#input(bool save()): com/dmdirc/addons/ui_swing/UIUtilities.com.dmdirc.logger.ErrorLevel.HIGH
    //#input(bool save()): this
    //#input(bool save()): this.textField
    //#input(bool save()): this.this$0
    //#input(bool save()): this.this$0.controller
    //#input(bool save()): this.this$0.controller.mainFrameCreated
    //#input(bool save()): this.this$0.controller.me
    //#output(bool save()): return_value
    //#pre[2] (bool save()): this.textField != null
    //#pre[3] (bool save()): this.this$0 != null
    //#pre[4] (bool save()): this.controller != null
    //#pre[5] (bool save()): this.controller.mainFrameCreated != null
    //#pre[6] (bool save()): (soft) this.controller.me != null
    //#post(bool save()): return_value == 1
    //#unanalyzed(bool save()): Effects-of-calling:java.util.concurrent.atomic.AtomicBoolean:get
    //#unanalyzed(bool save()): Effects-of-calling:getActiveFrame
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.ui.interfaces.Window:getContainer
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.FrameContainer:getServer
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.validating.ValidatingJTextField:getText
    //#unanalyzed(bool save()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(bool save()): Effects-of-calling:javax.swing.SwingUtilities:isEventDispatchThread
    //#unanalyzed(bool save()): Effects-of-calling:javax.swing.SwingUtilities:invokeAndWait
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.util.ReturnableThread:run
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.util.ReturnableThread:getObject
    //#unanalyzed(bool save()): Effects-of-calling:com.dmdirc.util.ReturnableThread
                    return true;
    //#MenuBar.java:290: end of method: bool com.dmdirc.addons.ui_swing.components.MenuBar$1.save()
                }

                /** {@inheritDoc} */
                @Override
                public void cancelled() {
                    //Ignore
                }
    //#MenuBar.java:297: method: void com.dmdirc.addons.ui_swing.components.MenuBar$1.cancelled()
    //#MenuBar.java:297: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar$1.cancelled()
            }.display();
        }
    }
    //#MenuBar.java:300: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.actionPerformed(ActionEvent)

    /** {@inheritDoc} */
    @Override
    public void menuSelected(final MenuEvent e) {
        final Window activeWindow = controller.getActiveWindow();
    //#MenuBar.java:305: method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuSelected(MenuEvent)
    //#input(void menuSelected(MenuEvent)): com.dmdirc.ServerState.CONNECTED
    //#input(void menuSelected(MenuEvent)): com/dmdirc/addons/ui_swing/UIUtilities.com.dmdirc.logger.ErrorLevel.HIGH
    //#input(void menuSelected(MenuEvent)): com/dmdirc/addons/ui_swing/components/frames/ChannelFrame.__Descendant_Table[com/dmdirc/addons/ui_swing/components/frames/ChannelFrame]
    //#input(void menuSelected(MenuEvent)): com/dmdirc/addons/ui_swing/components/frames/ChannelFrame.__Descendant_Table[others]
    //#input(void menuSelected(MenuEvent)): this
    //#input(void menuSelected(MenuEvent)): this.controller
    //#input(void menuSelected(MenuEvent)): this.controller.me
    //#input(void menuSelected(MenuEvent)): this.csd
    //#input(void menuSelected(MenuEvent)): this.disconnect
    //#input(void menuSelected(MenuEvent)): this.join
    //#input(void menuSelected(MenuEvent)): this.ssd
    //#pre[2] (void menuSelected(MenuEvent)): this.controller != null
    //#pre[3] (void menuSelected(MenuEvent)): this.controller.me != null
    //#pre[4] (void menuSelected(MenuEvent)): this.csd != null
    //#pre[5] (void menuSelected(MenuEvent)): this.disconnect != null
    //#pre[6] (void menuSelected(MenuEvent)): this.join != null
    //#pre[7] (void menuSelected(MenuEvent)): this.ssd != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.FrameContainer:getServer(...)@307 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.FrameContainer:getServer(...)@310 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.FrameContainer:getServer(...)@313 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.FrameContainer:getServer(...)@316 != null
    //#presumption(void menuSelected(MenuEvent)): init'ed(com.dmdirc.ServerState.CONNECTED)
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@307 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@307 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@310 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@310 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@313 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@313 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@316 != null
    //#presumption(void menuSelected(MenuEvent)): com.dmdirc.ui.interfaces.Window:getContainer(...)@316 != null
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:javax.swing.SwingUtilities:isEventDispatchThread
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:getActiveFrame
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:javax.swing.SwingUtilities:invokeAndWait
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread:run
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread:getObject
    //#unanalyzed(void menuSelected(MenuEvent)): Effects-of-calling:com.dmdirc.util.ReturnableThread

        ssd.setEnabled(activeWindow != null && activeWindow.getContainer().
    //#MenuBar.java:307: Warning: method not available - call not analyzed
    //#    call on FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#MenuBar.java:307: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.FrameContainer:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: Server com.dmdirc.FrameContainer:getServer()
    //#MenuBar.java:307: Warning: method not available - call not analyzed
    //#    call on ServerState com.dmdirc.Server:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: ServerState com.dmdirc.Server:getState()
                getServer() != null && activeWindow.getContainer().
                getServer().getState() == ServerState.CONNECTED);
        csd.setEnabled(activeWindow instanceof ChannelFrame && activeWindow.getContainer().
    //#MenuBar.java:310: Warning: method not available - call not analyzed
    //#    call on FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#MenuBar.java:310: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.FrameContainer:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: Server com.dmdirc.FrameContainer:getServer()
    //#MenuBar.java:310: Warning: method not available - call not analyzed
    //#    call on ServerState com.dmdirc.Server:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: ServerState com.dmdirc.Server:getState()
                getServer() != null && activeWindow.getContainer().
                getServer().getState() == ServerState.CONNECTED);
        disconnect.setEnabled(activeWindow != null && activeWindow.getContainer().
    //#MenuBar.java:313: Warning: method not available - call not analyzed
    //#    call on FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#MenuBar.java:313: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.FrameContainer:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: Server com.dmdirc.FrameContainer:getServer()
    //#MenuBar.java:313: Warning: method not available - call not analyzed
    //#    call on ServerState com.dmdirc.Server:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: ServerState com.dmdirc.Server:getState()
                getServer() != null && activeWindow.getContainer().
                getServer().getState() == ServerState.CONNECTED);
        join.setEnabled(activeWindow != null && activeWindow.getContainer().
    //#MenuBar.java:316: Warning: method not available - call not analyzed
    //#    call on FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: FrameContainer com.dmdirc.ui.interfaces.Window:getContainer()
    //#MenuBar.java:316: Warning: method not available - call not analyzed
    //#    call on Server com.dmdirc.FrameContainer:getServer()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: Server com.dmdirc.FrameContainer:getServer()
    //#MenuBar.java:316: Warning: method not available - call not analyzed
    //#    call on ServerState com.dmdirc.Server:getState()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#    method: void menuSelected(MenuEvent)
    //#    unanalyzed callee: ServerState com.dmdirc.Server:getState()
                getServer() != null && activeWindow.getContainer().
                getServer().getState() == ServerState.CONNECTED);
    }
    //#MenuBar.java:319: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuSelected(MenuEvent)

    /** {@inheritDoc} */
    @Override
    public void menuDeselected(final MenuEvent e) {
        //Ignore
    }
    //#MenuBar.java:325: method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuDeselected(MenuEvent)
    //#MenuBar.java:325: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuDeselected(MenuEvent)

    /** {@inheritDoc} */
    @Override
    public void menuCanceled(final MenuEvent e) {
        //Ignore
    }
    //#MenuBar.java:331: method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuCanceled(MenuEvent)
    //#MenuBar.java:331: end of method: void com.dmdirc.addons.ui_swing.components.MenuBar.menuCanceled(MenuEvent)
}
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar]
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initChannelMenu()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initHelpMenu()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initServerMenu()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initSettingsMenu()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuCanceled(Ljavax/swing/event/MenuEvent;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuDeselected(Ljavax/swing/event/MenuEvent;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuSelected(Ljavax/swing/event/MenuEvent;)V
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initChannelMenu()V == &initChannelMenu
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initHelpMenu()V == &initHelpMenu
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initServerMenu()V == &initServerMenu
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.initSettingsMenu()V == &initSettingsMenu
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuCanceled(Ljavax/swing/event/MenuEvent;)V == &menuCanceled
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuDeselected(Ljavax/swing/event/MenuEvent;)V == &menuDeselected
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar__static_init): __Dispatch_Table.menuSelected(Ljavax/swing/event/MenuEvent;)V == &menuSelected
    //#MenuBar.java:: end of method: com.dmdirc.addons.ui_swing.components.MenuBar.com.dmdirc.addons.ui_swing.components.MenuBar__static_init
    //#MenuBar.java:: end of class: com.dmdirc.addons.ui_swing.components.MenuBar
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1]
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.addListeners()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.cancelled()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.createRootPane()Ljavax/swing/JRootPane;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.display()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.display(Ljava/awt/Component;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.executeAction(Ljavax/swing/JButton;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getCancelButton()Ljavax/swing/JButton;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getLeftButton()Ljavax/swing/JButton;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getOkButton()Ljavax/swing/JButton;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getRightButton()Ljavax/swing/JButton;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getText()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.layoutComponents()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.orderButtons(Ljavax/swing/JButton;Ljavax/swing/JButton;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.save()Z
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.validateText()V
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1]
    //#output(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1]
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): com/dmdirc/addons/ui_swing/components/StandardDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): com/dmdirc/addons/ui_swing/components/StandardInputDialog.__Descendant_Table[com/dmdirc/addons/ui_swing/components/MenuBar$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.addListeners()V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.addListeners
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.cancelled()V == &cancelled
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.createRootPane()Ljavax/swing/JRootPane; == &com/dmdirc/addons/ui_swing/components/StandardDialog.createRootPane
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.display()V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.display
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.display(Ljava/awt/Component;)V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.display
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.executeAction(Ljavax/swing/JButton;)V == &com/dmdirc/addons/ui_swing/components/StandardDialog.executeAction
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getCancelButton()Ljavax/swing/JButton; == &com/dmdirc/addons/ui_swing/components/StandardDialog.getCancelButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getLeftButton()Ljavax/swing/JButton; == &com/dmdirc/addons/ui_swing/components/StandardDialog.getLeftButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getOkButton()Ljavax/swing/JButton; == &com/dmdirc/addons/ui_swing/components/StandardDialog.getOkButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getRightButton()Ljavax/swing/JButton; == &com/dmdirc/addons/ui_swing/components/StandardDialog.getRightButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.getText()Ljava/lang/String; == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.getText
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.initComponents()V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.initComponents
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.layoutComponents()V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.layoutComponents
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.orderButtons(Ljavax/swing/JButton;Ljavax/swing/JButton;)V == &com/dmdirc/addons/ui_swing/components/StandardDialog.orderButtons
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.save()Z == &save
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setCancelButton(Ljavax/swing/JButton;)V == &com/dmdirc/addons/ui_swing/components/StandardDialog.setCancelButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setOkButton(Ljavax/swing/JButton;)V == &com/dmdirc/addons/ui_swing/components/StandardDialog.setOkButton
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.setText(Ljava/lang/String;)V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.setText
    //#post(com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init): __Dispatch_Table.validateText()V == &com/dmdirc/addons/ui_swing/components/StandardInputDialog.validateText
    //#MenuBar.java:: end of method: com.dmdirc.addons.ui_swing.components.MenuBar$1.com.dmdirc.addons.ui_swing.components.MenuBar$1__static_init
    //#MenuBar.java:: end of class: com.dmdirc.addons.ui_swing.components.MenuBar$1
