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

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

import com.dmdirc.addons.ui_swing.components.StandardDialog;

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

import java.awt.event.KeyEvent;
import javax.swing.JButton;
import javax.swing.JComponent;
import javax.swing.JTabbedPane;
import javax.swing.KeyStroke;
import javax.swing.WindowConstants;
import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener;

import net.miginfocom.swing.MigLayout;

/**
 * About dialog.
 */
public final class AboutDialog extends StandardDialog implements
        ActionListener, ChangeListener {

    /**
     * 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 = 5;
    /** Previously created instance of AboutDialog. */
    private static volatile AboutDialog me = null;
    //#AboutDialog.java:55: method: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog]
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.dispose()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.initComponents()V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.stateChanged(Ljavax/swing/event/ChangeEvent;)V
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): me
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.dispose()V == &dispose
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.initComponents()V == &initComponents
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): __Dispatch_Table.stateChanged(Ljavax/swing/event/ChangeEvent;)V == &stateChanged
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init): me == null
    //#AboutDialog.java:55: end of method: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog__static_init
    /** Tabbed pane to use. */
    private JTabbedPane tabbedPane;
    /** Credits panel. */
    private CreditsPanel cp;
    /** Tab history. */
    private int history = 0;

    /** 
     * Creates a new instance of AboutDialog. 
     * 
     * @param parentWindow Parent window
     */
    private AboutDialog(final Window parentWindow) {
        super(parentWindow, ModalityType.MODELESS);
    //#AboutDialog.java:69: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)
    //#AboutDialog.java:69: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog(Window, Dialog$ModalityType)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "; "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<.h1>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<.html>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<.li>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<.ul>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<b>Java version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<b>Look and Feel: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<b>MiG Layout version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<b>OS Version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<b>Profile directory: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<br>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<h1>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<html>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<html><b>DMDirc version: <.b>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "<li>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "Below are the licenses used in various components of DMDirc: <br><ul>"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "Error loading licenses."._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "body { font-family: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "font-size: "._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): "pt; }"._tainted
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): java.awt.Dialog$ModalityType.MODELESS
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): parentWindow
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4).__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4).about
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new HTMLLabel(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new HTMLLabel(initComponents#1).__Tag
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new JTabbedPane(initComponents#1) num objects
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this.cp
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this.history
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this.tabbedPane
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new HTMLLabel(initComponents#1)
    //#new obj(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new JTabbedPane(initComponents#1)
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getRootPane(...)@80 != null
    //#presumption(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): init'ed(java.awt.Dialog$ModalityType.MODELESS)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this.cp == &new CreditsPanel(initComponents#4)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): init'ed(this.history)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): this.tabbedPane == &new JTabbedPane(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new HTMLLabel(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new JTabbedPane(initComponents#1) num objects == 1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4).__Tag == com/dmdirc/addons/ui_swing/dialogs/about/CreditsPanel
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new CreditsPanel(initComponents#4).about == &new HTMLLabel(initComponents#1)
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): new HTMLLabel(initComponents#1).__Tag == com/dmdirc/addons/ui_swing/components/text/HTMLLabel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JTabbedPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setDefaultCloseOperation
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setTitle
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setResizable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:orderButtons
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JButton:addActionListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getCancelButton
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setUI
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setHighlighter
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setFont
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JEditorPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:addHyperlinkListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JScrollPane:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JScrollPane:getViewport
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JViewport:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JTabbedPane:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.io.InputStreamReader
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.io.BufferedReader
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.io.BufferedReader:readLine
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JEditorPane:setEditorKit
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JEditorPane:getDocument
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsInputStreams
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.String:lastIndexOf
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JEditorPane:setText
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JEditorPane:setEditable
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.ui.core.util.Info:getDMDircVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.ui.core.util.Info:getJavaVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.ui.core.util.Info:getOSVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.SwingController:getLookAndFeel
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:net.miginfocom.layout.LayoutUtil:getVersion
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setOpaque
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:javax.swing.JTabbedPane:addChangeListener
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.awt.Container:setLayout
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:java.awt.Container:add
    //#unanalyzed(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:pack
        initComponents();
        final ActionListener enterListener = new ActionListener() {
    //#AboutDialog.java:71: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)): Param_1
    //#input(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)): this
    //#output(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)): this.this$0
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)): this.this$0 == Param_1
    //#post(void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)): init'ed(this.this$0)
    //#AboutDialog.java:71: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1(AboutDialog)

            /** {@inheritDoc} */
            @Override
            public void actionPerformed(final ActionEvent actionEvent) {
                getOkButton().doClick();
    //#AboutDialog.java:76: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1.actionPerformed(ActionEvent)
    //#AboutDialog.java:76: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1
    //#    method: void actionPerformed(ActionEvent)
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()
    //#input(void actionPerformed(ActionEvent)): this
    //#input(void actionPerformed(ActionEvent)): this.this$0
    //#pre[2] (void actionPerformed(ActionEvent)): this.this$0 != null
    //#presumption(void actionPerformed(ActionEvent)): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton(...)@76 != null
            }
    //#AboutDialog.java:77: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1.actionPerformed(ActionEvent)
        };
        final KeyStroke enter = KeyStroke.getKeyStroke(KeyEvent.VK_ENTER, 0);
        getRootPane().registerKeyboardAction(enterListener, enter,
    //#AboutDialog.java:80: Warning: method not available - call not analyzed
    //#    call on JRootPane com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getRootPane()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)
    //#    unanalyzed callee: JRootPane com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getRootPane()
                JComponent.WHEN_IN_FOCUSED_WINDOW);
    }
    //#AboutDialog.java:82: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)

    /** 
     * Creates the dialog if one doesn't exist, and displays it. 
     * 
     * @param parentWindow Parent window*/
    public static void showAboutDialog(final Window parentWindow) {
        me = getAboutDialog(parentWindow);
    //#AboutDialog.java:89: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.showAboutDialog(Window)
    //#input(void showAboutDialog(Window)): __Class_Obj.__Lock
    //#input(void showAboutDialog(Window)): me
    //#input(void showAboutDialog(Window)): parentWindow
    //#output(void showAboutDialog(Window)): me
    //#output(void showAboutDialog(Window)): new AboutDialog(getAboutDialog#1) num objects
    //#output(void showAboutDialog(Window)): new AboutDialog(getAboutDialog#1).__Tag
    //#new obj(void showAboutDialog(Window)): new AboutDialog(getAboutDialog#1)
    //#pre[1] (void showAboutDialog(Window)): init'ed(me)
    //#post(void showAboutDialog(Window)): me == One-of{old me, &new AboutDialog(getAboutDialog#1)}
    //#post(void showAboutDialog(Window)): me != null
    //#post(void showAboutDialog(Window)): new AboutDialog(getAboutDialog#1) num objects <= 1
    //#post(void showAboutDialog(Window)): new AboutDialog(getAboutDialog#1).__Tag == com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog
    //#unanalyzed(void showAboutDialog(Window)): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#unanalyzed(void showAboutDialog(Window)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj

        me.setLocationRelativeTo(parentWindow);
    //#AboutDialog.java:91: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setLocationRelativeTo(Component)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void showAboutDialog(Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setLocationRelativeTo(Component)
        me.setVisible(true);
    //#AboutDialog.java:92: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setVisible(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void showAboutDialog(Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setVisible(bool)
        me.requestFocusInWindow();
    //#AboutDialog.java:93: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:requestFocusInWindow()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void showAboutDialog(Window)
    //#    unanalyzed callee: bool com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:requestFocusInWindow()
    }
    //#AboutDialog.java:94: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.showAboutDialog(Window)

    /**
     * Returns the current instance of the AboutDialog.
     * 
     * @param parentWindow Parent window
     *
     * @return The current AboutDialog instance
     */
    public static AboutDialog getAboutDialog(final Window parentWindow) {
        synchronized (AboutDialog.class) {
    //#AboutDialog.java:104: method: AboutDialog com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.getAboutDialog(Window)
    //#input(AboutDialog getAboutDialog(Window)): __Class_Obj.__Lock
    //#input(AboutDialog getAboutDialog(Window)): me
    //#input(AboutDialog getAboutDialog(Window)): parentWindow
    //#output(AboutDialog getAboutDialog(Window)): me
    //#output(AboutDialog getAboutDialog(Window)): new AboutDialog(getAboutDialog#1) num objects
    //#output(AboutDialog getAboutDialog(Window)): new AboutDialog(getAboutDialog#1).__Tag
    //#output(AboutDialog getAboutDialog(Window)): return_value
    //#new obj(AboutDialog getAboutDialog(Window)): new AboutDialog(getAboutDialog#1)
    //#pre[1] (AboutDialog getAboutDialog(Window)): init'ed(me)
    //#post(AboutDialog getAboutDialog(Window)): me == One-of{old me, &new AboutDialog(getAboutDialog#1)}
    //#post(AboutDialog getAboutDialog(Window)): me != null
    //#post(AboutDialog getAboutDialog(Window)): return_value == One-of{old me, &new AboutDialog(getAboutDialog#1)}
    //#post(AboutDialog getAboutDialog(Window)): return_value != null
    //#post(AboutDialog getAboutDialog(Window)): new AboutDialog(getAboutDialog#1) num objects <= 1
    //#post(AboutDialog getAboutDialog(Window)): new AboutDialog(getAboutDialog#1).__Tag == com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog
            if (me == null) {
                me = new AboutDialog(parentWindow);
    //#AboutDialog.java:106: Warning: call too complex - analysis skipped
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: AboutDialog getAboutDialog(Window)
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog(Window)
            }
        }

        return me;
    //#AboutDialog.java:110: end of method: AboutDialog com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.getAboutDialog(Window)
    }

    /** Initialises the main UI components. */
    private void initComponents() {
        tabbedPane = new JTabbedPane();
    //#AboutDialog.java:115: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.initComponents()
    //#input(void initComponents()): "; "._tainted
    //#input(void initComponents()): "<.h1>"._tainted
    //#input(void initComponents()): "<.html>"._tainted
    //#input(void initComponents()): "<.li>"._tainted
    //#input(void initComponents()): "<.ul>"._tainted
    //#input(void initComponents()): "<b>Java version: <.b>"._tainted
    //#input(void initComponents()): "<b>Look and Feel: <.b>"._tainted
    //#input(void initComponents()): "<b>MiG Layout version: <.b>"._tainted
    //#input(void initComponents()): "<b>OS Version: <.b>"._tainted
    //#input(void initComponents()): "<b>Profile directory: <.b>"._tainted
    //#input(void initComponents()): "<br>"._tainted
    //#input(void initComponents()): "<h1>"._tainted
    //#input(void initComponents()): "<html>"._tainted
    //#input(void initComponents()): "<html><b>DMDirc version: <.b>"._tainted
    //#input(void initComponents()): "<li>"._tainted
    //#input(void initComponents()): "Below are the licenses used in various components of DMDirc: <br><ul>"._tainted
    //#input(void initComponents()): "Error loading licenses."._tainted
    //#input(void initComponents()): "body { font-family: "._tainted
    //#input(void initComponents()): "font-size: "._tainted
    //#input(void initComponents()): "pt; }"._tainted
    //#input(void initComponents()): this
    //#output(void initComponents()): new CreditsPanel(initComponents#4) num objects
    //#output(void initComponents()): this.cp.__Tag
    //#output(void initComponents()): this.cp.about
    //#output(void initComponents()): new HTMLLabel(initComponents#1) num objects
    //#output(void initComponents()): new HTMLLabel(initComponents#1).__Tag
    //#output(void initComponents()): new JTabbedPane(initComponents#1) num objects
    //#output(void initComponents()): this.cp
    //#output(void initComponents()): this.tabbedPane
    //#new obj(void initComponents()): new CreditsPanel(initComponents#4)
    //#new obj(void initComponents()): new HTMLLabel(initComponents#1)
    //#new obj(void initComponents()): new JTabbedPane(initComponents#1)
    //#presumption(void initComponents()): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getCancelButton(...)@124 != null
    //#presumption(void initComponents()): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane(...)@134 != null
    //#presumption(void initComponents()): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane(...)@135 != null
    //#presumption(void initComponents()): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane(...)@136 != null
    //#presumption(void initComponents()): com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton(...)@123 != null
    //#post(void initComponents()): this.cp == &new CreditsPanel(initComponents#4)
    //#post(void initComponents()): this.tabbedPane == &new JTabbedPane(initComponents#1)
    //#post(void initComponents()): new CreditsPanel(initComponents#4) num objects == 1
    //#post(void initComponents()): new HTMLLabel(initComponents#1) num objects == 1
    //#post(void initComponents()): new JTabbedPane(initComponents#1) num objects == 1
    //#post(void initComponents()): this.cp.__Tag == com/dmdirc/addons/ui_swing/dialogs/about/CreditsPanel
    //#post(void initComponents()): this.cp.about == &new HTMLLabel(initComponents#1)
    //#post(void initComponents()): new HTMLLabel(initComponents#1).__Tag == com/dmdirc/addons/ui_swing/components/text/HTMLLabel
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.plaf.basic.BasicTextPaneUI
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setUI
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setEditable
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setHighlighter
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.UIManager:getFont
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setFont
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:getDocument
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.text.html.HTMLDocument:getStyleSheet
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void initComponents()): Effects-of-calling:java.awt.Font:getFamily
    //#unanalyzed(void initComponents()): Effects-of-calling:java.awt.Font:getSize
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.text.html.StyleSheet:addRule
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:addHyperlinkListener
    //#unanalyzed(void initComponents()): Effects-of-calling:net.miginfocom.swing.MigLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JScrollPane
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.UIUtilities:getTabbedPaneOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JScrollPane:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JScrollPane:getViewport
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JViewport:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JPanel
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.AboutPanel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:java.io.InputStreamReader
    //#unanalyzed(void initComponents()): Effects-of-calling:java.io.BufferedReader
    //#unanalyzed(void initComponents()): Effects-of-calling:java.io.BufferedReader:readLine
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.text.html.HTMLEditorKit
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane:setEditorKit
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane:getDocument
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourcesStartingWithAsInputStreams
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.TreeMap
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:lastIndexOf
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:substring
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:length
    //#unanalyzed(void initComponents()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void initComponents()): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane:setText
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JEditorPane:setEditable
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.SwingUtilities:invokeLater
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.LicensePanel:setOpaque
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getDMDircVersion
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getJavaVersion
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.ui.core.util.Info:getOSVersion
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.SwingController:getLookAndFeel
    //#unanalyzed(void initComponents()): Effects-of-calling:net.miginfocom.layout.LayoutUtil:getVersion
    //#unanalyzed(void initComponents()): Effects-of-calling:javax.swing.JScrollPane:setViewportView
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setLayout
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:add
    //#unanalyzed(void initComponents()): Effects-of-calling:com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel:setOpaque

        setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);
    //#AboutDialog.java:117: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setDefaultCloseOperation(int)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setDefaultCloseOperation(int)
        setTitle("About DMDirc");
    //#AboutDialog.java:118: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setTitle(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setTitle(String)
        setResizable(false);
    //#AboutDialog.java:119: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setResizable(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:setResizable(bool)

        orderButtons(new JButton(), new JButton());
    //#AboutDialog.java:121: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:orderButtons(JButton, JButton)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:orderButtons(JButton, JButton)

        getOkButton().addActionListener(this);
    //#AboutDialog.java:123: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()
        getCancelButton().addActionListener(this);
    //#AboutDialog.java:124: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getCancelButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getCancelButton()

        cp = new CreditsPanel();

        tabbedPane.add("About", new AboutPanel());
        tabbedPane.add("Credits", cp);
        tabbedPane.add("License", new LicensePanel());
        tabbedPane.add("Information", new InfoPanel());
        tabbedPane.addChangeListener(this);

        getContentPane().setLayout(new MigLayout("ins rel, wrap 1, fill, wmax 550, hmax 300"));
    //#AboutDialog.java:134: Warning: method not available - call not analyzed
    //#    call on Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
    //#AboutDialog.java:134: Warning: method not available - call not analyzed
    //#    call on void net.miginfocom.swing.MigLayout(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void net.miginfocom.swing.MigLayout(String)
        getContentPane().add(tabbedPane, "grow, push");
    //#AboutDialog.java:135: Warning: method not available - call not analyzed
    //#    call on Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
        getContentPane().add(getOkButton(), "right");
    //#AboutDialog.java:136: Warning: method not available - call not analyzed
    //#    call on Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: Container com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getContentPane()
    //#AboutDialog.java:136: Warning: method not available - call not analyzed
    //#    call on JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: JButton com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:getOkButton()

        pack();
    //#AboutDialog.java:138: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:pack()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void initComponents()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog:pack()
    }
    //#AboutDialog.java:139: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.initComponents()

    /** 
     * {@inheritDoc}.
     * 
     * @param e Action event
     */
    @Override
    public void actionPerformed(final ActionEvent e) {
        dispose();
    //#AboutDialog.java:148: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.actionPerformed(ActionEvent)
    //#input(void actionPerformed(ActionEvent)): me
    //#input(void actionPerformed(ActionEvent)): this
    //#output(void actionPerformed(ActionEvent)): me
    //#pre[2] (void actionPerformed(ActionEvent)): init'ed(me)
    //#post(void actionPerformed(ActionEvent)): me == null
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void actionPerformed(ActionEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.StandardDialog:dispose
    }
    //#AboutDialog.java:149: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.actionPerformed(ActionEvent)

    /** {@inheritDoc} */
    @Override
    public void dispose() {
        if (me == null) {
    //#AboutDialog.java:154: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.dispose()
    //#input(void dispose()): me
    //#input(void dispose()): me.__Lock
    //#input(void dispose()): this
    //#output(void dispose()): me
    //#pre[1] (void dispose()): init'ed(me)
    //#post(void dispose()): me == null
    //#test_vector(void dispose()): me: Inverse{null}, Addr_Set{null}
            return;
        }
        synchronized (me) {
            super.dispose();
    //#AboutDialog.java:158: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
    //#    method: void dispose()
    //#    unanalyzed callee: void com.dmdirc.addons.ui_swing.components.StandardDialog:dispose()
            me = null;
        }
    }
    //#AboutDialog.java:161: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.dispose()

    /** {@inheritDoc} */
    @Override
    public void stateChanged(ChangeEvent e) {
        history = 10 * (history % 10000) + tabbedPane.getSelectedIndex();
    //#AboutDialog.java:166: method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.stateChanged(ChangeEvent)
    //#input(void stateChanged(ChangeEvent)): this
    //#input(void stateChanged(ChangeEvent)): this.cp
    //#input(void stateChanged(ChangeEvent)): this.cp.about
    //#input(void stateChanged(ChangeEvent)): this.history
    //#input(void stateChanged(ChangeEvent)): this.tabbedPane
    //#output(void stateChanged(ChangeEvent)): this.history
    //#pre[1] (void stateChanged(ChangeEvent)): init'ed(this.history)
    //#pre[6] (void stateChanged(ChangeEvent)): this.tabbedPane != null
    //#pre[4] (void stateChanged(ChangeEvent)): (soft) this.cp != null
    //#pre[5] (void stateChanged(ChangeEvent)): (soft) this.cp.about != null
    //#presumption(void stateChanged(ChangeEvent)): (this.history%10_000)*10 + javax.swing.JTabbedPane:getSelectedIndex(...)@166 in {-2_147_483_648..4_294_967_295}
    //#post(void stateChanged(ChangeEvent)): init'ed(this.history)
    //#unanalyzed(void stateChanged(ChangeEvent)): Effects-of-calling:com.dmdirc.addons.ui_swing.components.text.HTMLLabel:setText
    //#test_vector(void stateChanged(ChangeEvent)): (this.history%10_000)*10 + javax.swing.JTabbedPane:getSelectedIndex(...)@166: {-2_147_483_648..30_320, 30_322..4_294_967_295}, {30_321}

        if (history == 30321) {
            cp.showEE();
        }
    }
    //#AboutDialog.java:171: end of method: void com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog.stateChanged(ChangeEvent)
}
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog$1]
    //#output(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/dialogs/about/AboutDialog$1] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init): __Dispatch_Table.actionPerformed(Ljava/awt/event/ActionEvent;)V == &actionPerformed
    //#AboutDialog.java:: end of method: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1.com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1__static_init
    //#AboutDialog.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog$1
    //#AboutDialog.java:: end of class: com.dmdirc.addons.ui_swing.dialogs.about.AboutDialog
