//# 18 errors, 285 messages
//#
/*
    //#ChangeServer.java:1:1: class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#ChangeServer.java:1:1: method: com.dmdirc.commandparser.commands.server.ChangeServer.com.dmdirc.commandparser.commands.server.ChangeServer__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.commandparser.commands.server;

import com.dmdirc.Server;
import com.dmdirc.commandparser.CommandArguments;
import com.dmdirc.commandparser.CommandManager;
import com.dmdirc.commandparser.commands.ServerCommand;
import com.dmdirc.logger.ErrorLevel;
import com.dmdirc.logger.Logger;
import com.dmdirc.ui.interfaces.InputWindow;

/**
 * The /server command allows the user to connect to a new server.
 * 
 * @author chris
 */
public final class ChangeServer extends ServerCommand {
    
    /**
     * Creates a new instance of ChangeServer.
     */
    public ChangeServer() {
        super();
    //#ChangeServer.java:44: method: void com.dmdirc.commandparser.commands.server.ChangeServer.com.dmdirc.commandparser.commands.server.ChangeServer()
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): __Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/addons/urlcatcher/UrlListCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/addons/urlcatcher/UrlListCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandInfo.__Descendant_Table[others]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandInfo.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandInfo.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandManager.com.dmdirc.ui.input.TabCompletionType.COMMAND
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandManager.commandChar
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandManager.commands
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandManager.parsers
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandType.TYPE_CHANNEL
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandType.TYPE_CHAT
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandType.TYPE_GLOBAL
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandType.TYPE_QUERY
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/CommandType.TYPE_SERVER
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ChannelCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ChannelCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ChatCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ChatCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/GlobalCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/GlobalCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/QueryCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/QueryCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ServerCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/ServerCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Ban.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Ban.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/ChannelSettings.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/ChannelSettings.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Cycle.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Cycle.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/KickReason.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/KickReason.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Mode.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Mode.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Names.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Names.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Part.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/Part.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/SetNickColour.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/SetNickColour.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/ShowTopic.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/channel/ShowTopic.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/chat/Me.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/chat/Me.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Active.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Active.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/AliasCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/AliasCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/AllServers.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/AllServers.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Clear.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Clear.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Debug.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Debug.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Echo.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Echo.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Exit.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Exit.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Help.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Help.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Ifplugin.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Ifplugin.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/LoadPlugin.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/LoadPlugin.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/NewServer.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/NewServer.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Notify.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Notify.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/OpenWindow.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/OpenWindow.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadActions.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadActions.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadIdentities.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadIdentities.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadPlugin.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/ReloadPlugin.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/SaveConfig.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/SaveConfig.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Set.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/Set.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/UnloadPlugin.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/global/UnloadPlugin.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/AllChannels.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/AllChannels.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Away.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Away.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Back.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Back.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Ctcp.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Ctcp.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Disconnect.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Disconnect.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Ignore.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Ignore.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/JoinChannelCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/JoinChannelCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Message.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Message.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Nick.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Nick.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Notice.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Notice.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/OpenQuery.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/OpenQuery.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Raw.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Raw.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/RawServerCommand.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/RawServerCommand.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Reconnect.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Reconnect.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Umode.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/commands/server/Umode.__Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[com/dmdirc/commandparser/parsers/ChannelCommandParser]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[com/dmdirc/commandparser/parsers/CommandParser]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[com/dmdirc/commandparser/parsers/GlobalCommandParser]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[com/dmdirc/commandparser/parsers/QueryCommandParser]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[com/dmdirc/commandparser/parsers/ServerCommandParser]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): com/dmdirc/commandparser/parsers/CommandParser.__Descendant_Table[others]
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): this
    //#input(void com.dmdirc.commandparser.commands.server.ChangeServer()): this.__Tag
    //#output(void com.dmdirc.commandparser.commands.server.ChangeServer()): this.__Tag
    //#pre[1] (void com.dmdirc.commandparser.commands.server.ChangeServer()): init'ed(com/dmdirc/commandparser/CommandManager.commandChar)
    //#post(void com.dmdirc.commandparser.commands.server.ChangeServer()): this.__Tag == old this.__Tag
    //#post(void com.dmdirc.commandparser.commands.server.ChangeServer()): init'ed(this.__Tag)
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.commandparser.commands.Command
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:getName
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.lang.String:toLowerCase
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.ui.input.TabCompleter:addEntry
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.ui.input.TabCompleter:removeEntry
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.ServerManager:getServerManager
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.ServerManager:getServers
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:getType
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Server:getTabCompleter
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Server:getChannels
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Server:getChannel
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Channel:getTabCompleter
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Server:getQueries
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.Query:getTabCompleter
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void com.dmdirc.commandparser.commands.server.ChangeServer()): Effects-of-calling:com.dmdirc.util.MapList:get
        
        CommandManager.registerCommand(this);
    }
    //#ChangeServer.java:47: end of method: void com.dmdirc.commandparser.commands.server.ChangeServer.com.dmdirc.commandparser.commands.server.ChangeServer()
    
    /** {@inheritDoc} */
    @Override
    public void execute(final InputWindow origin, final Server server,
            final boolean isSilent, final CommandArguments args) {
        if (args.getArguments().length == 0) {
    //#ChangeServer.java:53: method: void com.dmdirc.commandparser.commands.server.ChangeServer.execute(InputWindow, Server, bool, CommandArguments)
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): "((\S+\s*){"._tainted
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): "(\S+\s*){"._tainted
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): "}"._tainted
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): "}).*?"._tainted
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args.__Tag
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args.line
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args.line._tainted
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args.words
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): args.words.length
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com.dmdirc.logger.ErrorLevel.LOW
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Descendant_Table[com/dmdirc/commandparser/CommandArguments]
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Descendant_Table[others]
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Dispatch_Table.getArguments()[Ljava/lang/String;
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Dispatch_Table.getArgumentsAsString(I)Ljava/lang/String;
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Dispatch_Table.getWordsAsString(I)Ljava/lang/String;
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Dispatch_Table.getWordsAsString(II)Ljava/lang/String;
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandArguments.__Dispatch_Table.parse()V
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): com/dmdirc/commandparser/CommandManager.commandChar
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): isSilent
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): origin
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): server
    //#input(void execute(InputWindow, Server, bool, CommandArguments)): this
    //#output(void execute(InputWindow, Server, bool, CommandArguments)): args.words
    //#output(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:split(...)._tainted
    //#output(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:split(...).length
    //#new obj(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:split(...)
    //#pre[1] (void execute(InputWindow, Server, bool, CommandArguments)): args != null
    //#pre[3] (void execute(InputWindow, Server, bool, CommandArguments)): args.__Tag == com/dmdirc/commandparser/CommandArguments
    //#pre[9] (void execute(InputWindow, Server, bool, CommandArguments)): init'ed(args.words)
    //#pre[4] (void execute(InputWindow, Server, bool, CommandArguments)): (soft) args.line != null
    //#pre[7] (void execute(InputWindow, Server, bool, CommandArguments)): (soft) init'ed(com/dmdirc/commandparser/CommandManager.commandChar)
    //#pre[11] (void execute(InputWindow, Server, bool, CommandArguments)): (soft) server != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): offset < getArguments(...).length@75
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): offset < getArguments(...).length@76
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): offset < getArguments(...).length@96
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): init'ed(com.dmdirc.logger.ErrorLevel.LOW)
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...).length@65 >= 1
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...).length@75 >= 1
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...).length@76 >= 1
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...).length@96 >= 1
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...)[offset]@65 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...)[offset]@75 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...)[offset]@76 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#presumption(void execute(InputWindow, Server, bool, CommandArguments)): java.util.Arrays:copyOfRange(...)@99 != null
    //#post(void execute(InputWindow, Server, bool, CommandArguments)): args.words != null
    //#post(void execute(InputWindow, Server, bool, CommandArguments)): init'ed(java.lang.String:split(...)._tainted)
    //#post(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:split(...)._tainted == 0
    //#post(void execute(InputWindow, Server, bool, CommandArguments)): init'ed(java.lang.String:split(...).length)
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.lang.String:split
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.util.Arrays:copyOfRange
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:com.dmdirc.ui.interfaces.InputWindow:addLine
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:getCommandChar
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.lang.Character:valueOf
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.util.regex.Pattern:compile
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.util.regex.Pattern:matcher
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.util.regex.Matcher:matches
    //#unanalyzed(void execute(InputWindow, Server, bool, CommandArguments)): Effects-of-calling:java.util.regex.Matcher:group
    //#test_vector(void execute(InputWindow, Server, bool, CommandArguments)): getArguments(...).length@53: {1..+Inf}, {0}
    //#test_vector(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:charAt(...)@79: {0..42, 44..65_535}, {43}
    //#test_vector(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:equalsIgnoreCase(...)@65: {0}, {1}
    //#test_vector(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:indexOf(...)@75: {-2_147_483_648..-1}, {0..4_294_967_295}
    //#test_vector(void execute(InputWindow, Server, bool, CommandArguments)): java.lang.String:length(...)@79: {0}, {1..4_294_967_295}
            showUsage(origin, isSilent, "server", "<host[:[+]port]> [password]");
            return;
        }
        
        boolean ssl = false;
        String host = "";
    //#ChangeServer.java:59: Warning: unused assignment
    //#    Unused assignment into host
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
        String pass = "";
        int port = 6667;
        int offset = 0;
        
        // Check for SSL
        if (args.getArguments()[offset].equalsIgnoreCase("--ssl")) {
            Logger.userError(ErrorLevel.LOW,
    //#ChangeServer.java:66: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    "Using /server --ssl is deprecated, and may be removed in the future."
                    + " Use /server <host>:+<port> instead.");
            
            ssl = true;
            offset++;
        }
        
        // Check for port
        if (args.getArguments()[offset].indexOf(':') > -1) {
            final String[] parts = args.getArguments()[offset].split(":");
            host = parts[0];
    //#ChangeServer.java:77: ?use of default init
    //#    init'ed(parts.length)
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: init'ed(parts.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChangeServer.java:77: ?use of default init
    //#    init'ed(parts[0])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: init'ed(parts[0])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
            
            if (parts[1].length() > 0 && parts[1].charAt(0) == '+') {
    //#ChangeServer.java:79: ?use of default init
    //#    init'ed(parts.length)
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: init'ed(parts.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChangeServer.java:79: ?!array index out of bounds
    //#    parts.length >= 2
    //#    severity: HIGH
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: parts.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-1}
    //#    Attribs:  Int  Bad singleton  Bad overlaps +/-1000  Bad < Exp
    //#ChangeServer.java:79: ?use of default init
    //#    init'ed(parts[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChangeServer.java:79: ?null dereference
    //#    not_init'ed(parts[1])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_6
    //#    assertion: not_init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#ChangeServer.java:79: ?use of default init
    //#    init'ed(parts.length)
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_7
    //#    assertion: init'ed(parts.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChangeServer.java:79: ?array index out of bounds
    //#    parts.length >= 2
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_7
    //#    assertion: parts.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-Inf..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
    //#ChangeServer.java:79: ?use of default init
    //#    init'ed(parts[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_7
    //#    assertion: init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChangeServer.java:79: ?null dereference
    //#    not_init'ed(parts[1])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_7
    //#    assertion: not_init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
                ssl = true;
                parts[1] = parts[1].substring(1);
    //#ChangeServer.java:81: ?use of default init
    //#    init'ed(parts.length)
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_8
    //#    assertion: init'ed(parts.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChangeServer.java:81: ?array index out of bounds
    //#    parts.length >= 2
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_8
    //#    assertion: parts.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-Inf..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
    //#ChangeServer.java:81: ?use of default init
    //#    init'ed(parts[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_8
    //#    assertion: init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#ChangeServer.java:81: ?null dereference
    //#    not_init'ed(parts[1])
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_8
    //#    assertion: not_init'ed(parts[1])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
            }            
            
            try {
                port = Integer.parseInt(parts[1]);
    //#ChangeServer.java:85: ?use of default init
    //#    init'ed(parts.length)
    //#    severity: LOW
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_10
    //#    assertion: init'ed(parts.length)
    //#    VN: undefined
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid
    //#ChangeServer.java:85: ?array index out of bounds
    //#    parts.length >= 2
    //#    severity: MEDIUM
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_10
    //#    assertion: parts.length >= 2
    //#    VN: undefined - 1
    //#    Expected: {1..+Inf}
    //#    Bad: {-Inf..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Bad < Exp
    //#ChangeServer.java:85: ?use of default init
    //#    init'ed(parts[1])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_10
    //#    assertion: init'ed(parts[1])
    //#    VN: parts[1]
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
            } catch (NumberFormatException ex) {
                sendLine(origin, isSilent, FORMAT_ERROR, "Invalid port specified");
                return;
            }
            
            if (port <= 0 || port > 65535) {
                sendLine(origin, isSilent, FORMAT_ERROR, "Port must be between 1 and 65535");
                return;
            }
        } else {
            host = args.getArguments()[offset];
        }
        
        // Check for password
        if (args.getArguments().length > ++offset) {
            pass = args.getArgumentsAsString(offset);
        }

        server.connect(host, port, pass, ssl, server.getProfile());
    //#ChangeServer.java:104: Warning: method not available - call not analyzed
    //#    call on Identity com.dmdirc.Server:getProfile()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    unanalyzed callee: Identity com.dmdirc.Server:getProfile()
    //#ChangeServer.java:104: ?use of default init
    //#    init'ed(host)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    basic block: bb_19
    //#    assertion: init'ed(host)
    //#    VN: host
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid  Uncertain
    //#ChangeServer.java:104: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.Server:connect(String, int, String, bool, Identity)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.commandparser.commands.server.ChangeServer
    //#    method: void execute(InputWindow, Server, bool, CommandArguments)
    //#    unanalyzed callee: void com.dmdirc.Server:connect(String, int, String, bool, Identity)
    }
    //#ChangeServer.java:105: end of method: void com.dmdirc.commandparser.commands.server.ChangeServer.execute(InputWindow, Server, bool, CommandArguments)
    
    /** {@inheritDoc} */
    @Override
    public String getName() {
        return "server";
    //#ChangeServer.java:110: method: String com.dmdirc.commandparser.commands.server.ChangeServer.getName()
    //#output(String getName()): return_value
    //#post(String getName()): return_value == &"server"
    //#ChangeServer.java:110: end of method: String com.dmdirc.commandparser.commands.server.ChangeServer.getName()
    }
    
    /** {@inheritDoc} */
    @Override
    public boolean showInHelp() {
        return true;
    //#ChangeServer.java:116: method: bool com.dmdirc.commandparser.commands.server.ChangeServer.showInHelp()
    //#output(bool showInHelp()): return_value
    //#post(bool showInHelp()): return_value == 1
    //#ChangeServer.java:116: end of method: bool com.dmdirc.commandparser.commands.server.ChangeServer.showInHelp()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getHelp() {
        return "server <host[:[+]port]> [password] - connect to a different server";
    //#ChangeServer.java:122: method: String com.dmdirc.commandparser.commands.server.ChangeServer.getHelp()
    //#output(String getHelp()): return_value
    //#post(String getHelp()): return_value == &"server <host[:[+]port]> [password] - connect to a different server"
    //#ChangeServer.java:122: end of method: String com.dmdirc.commandparser.commands.server.ChangeServer.getHelp()
    }
    
}
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer]
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.execute(Lcom/dmdirc/ui/interfaces/InputWindow;Lcom/dmdirc/Server;ZLcom/dmdirc/commandparser/CommandArguments;)V
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getHelp()Ljava/lang/String;
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType;
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.sendLine(Lcom/dmdirc/ui/interfaces/InputWindow;ZLjava/lang/String;[Ljava/lang/Object;)V
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.showInHelp()Z
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.showUsage(Lcom/dmdirc/ui/interfaces/InputWindow;ZLjava/lang/String;Ljava/lang/String;)V
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/CommandInfo.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer]
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/commands/Command.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer]
    //#output(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/commands/ServerCommand.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer]
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer] == &__Dispatch_Table
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/CommandInfo.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer] == &__Dispatch_Table
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/commands/Command.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer] == &__Dispatch_Table
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): com/dmdirc/commandparser/commands/ServerCommand.__Descendant_Table[com/dmdirc/commandparser/commands/server/ChangeServer] == &__Dispatch_Table
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.execute(Lcom/dmdirc/ui/interfaces/InputWindow;Lcom/dmdirc/Server;ZLcom/dmdirc/commandparser/CommandArguments;)V == &execute
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getHelp()Ljava/lang/String; == &getHelp
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.getType()Lcom/dmdirc/commandparser/CommandType; == &com/dmdirc/commandparser/commands/ServerCommand.getType
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.sendLine(Lcom/dmdirc/ui/interfaces/InputWindow;ZLjava/lang/String;[Ljava/lang/Object;)V == &com/dmdirc/commandparser/commands/Command.sendLine
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.showInHelp()Z == &showInHelp
    //#post(com.dmdirc.commandparser.commands.server.ChangeServer__static_init): __Dispatch_Table.showUsage(Lcom/dmdirc/ui/interfaces/InputWindow;ZLjava/lang/String;Ljava/lang/String;)V == &com/dmdirc/commandparser/commands/Command.showUsage
    //#ChangeServer.java:: end of method: com.dmdirc.commandparser.commands.server.ChangeServer.com.dmdirc.commandparser.commands.server.ChangeServer__static_init
    //#ChangeServer.java:: end of class: com.dmdirc.commandparser.commands.server.ChangeServer
