//# 3 errors, 2,336 messages
//#
/*
    //#IdentityManager.java:1:1: class: com.dmdirc.config.IdentityManager
 * 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.config;

import com.dmdirc.Main;
import com.dmdirc.Precondition;
import com.dmdirc.logger.ErrorLevel;
import com.dmdirc.logger.Logger;
import com.dmdirc.updater.Version;
import com.dmdirc.util.ConfigFile;
import com.dmdirc.util.InvalidConfigFileException;
import com.dmdirc.util.WeakList;
import com.dmdirc.util.resourcemanager.ResourceManager;

import java.io.File;
import java.io.IOException;
import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
    
/**
 * The identity manager manages all known identities, providing easy methods
 * to access them.
 * 
 * @author chris
 */
public final class IdentityManager {
    
    /** The identities that have been loaded into this manager. */
    private final static List<Identity> identities = new ArrayList<Identity>();
    //#IdentityManager.java:52: method: com.dmdirc.config.IdentityManager.com.dmdirc.config.IdentityManager__static_init
    //#output(com.dmdirc.config.IdentityManager__static_init): __Descendant_Table[com/dmdirc/config/IdentityManager]
    //#output(com.dmdirc.config.IdentityManager__static_init): identities
    //#output(com.dmdirc.config.IdentityManager__static_init): managers
    //#output(com.dmdirc.config.IdentityManager__static_init): new ArrayList(IdentityManager__static_init#1) num objects
    //#output(com.dmdirc.config.IdentityManager__static_init): new WeakList(IdentityManager__static_init#2) num objects
    //#new obj(com.dmdirc.config.IdentityManager__static_init): new ArrayList(IdentityManager__static_init#1)
    //#new obj(com.dmdirc.config.IdentityManager__static_init): new WeakList(IdentityManager__static_init#2)
    //#post(com.dmdirc.config.IdentityManager__static_init): __Descendant_Table[com/dmdirc/config/IdentityManager] == &__Dispatch_Table
    //#post(com.dmdirc.config.IdentityManager__static_init): identities == &new ArrayList(IdentityManager__static_init#1)
    //#post(com.dmdirc.config.IdentityManager__static_init): managers == &new WeakList(IdentityManager__static_init#2)
    //#post(com.dmdirc.config.IdentityManager__static_init): new ArrayList(IdentityManager__static_init#1) num objects == 1
    //#post(com.dmdirc.config.IdentityManager__static_init): new WeakList(IdentityManager__static_init#2) num objects == 1
    
    /** The config managers that have registered with this manager. */
    private final static List<ConfigManager> managers = new WeakList<ConfigManager>();
    //#IdentityManager.java:55: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.WeakList()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: com.dmdirc.config.IdentityManager__static_init
    //#    unanalyzed callee: void com.dmdirc.util.WeakList()
    //#IdentityManager.java:55: end of method: com.dmdirc.config.IdentityManager.com.dmdirc.config.IdentityManager__static_init
    
    /** The identity file used for the global config. */
    private static Identity config;
    
    /** The identity file used for addon defaults. */
    private static Identity addonConfig;
    
    /** The config manager used for global settings. */
    private static ConfigManager globalconfig;
    
    /** Creates a new instance of IdentityManager. */
    private IdentityManager() {
    //#IdentityManager.java:67: method: void com.dmdirc.config.IdentityManager.com.dmdirc.config.IdentityManager()
    }
    //#IdentityManager.java:68: end of method: void com.dmdirc.config.IdentityManager.com.dmdirc.config.IdentityManager()
    
    /** Loads all identity files. */
    public static void load() {
        identities.clear();
    //#IdentityManager.java:72: method: void com.dmdirc.config.IdentityManager.load()
    //#input(void load()): " to "._tainted
    //#input(void load()): ""._tainted
    //#input(void load()): "&#10;"._tainted
    //#input(void load()): "."._tainted
    //#input(void load()): ": setting "._tainted
    //#input(void load()): "<Unknown>"._tainted
    //#input(void load()): "@"._tainted
    //#input(void load()): "Config option not found: "._tainted
    //#input(void load()): "Unnamed"._tainted
    //#input(void load()): "defaultsversion"._tainted
    //#input(void load()): "identity"._tainted
    //#input(void load()): "nicknames"._tainted
    //#input(void load()): "order"._tainted
    //#input(void load()): __Class_Obj.__Lock
    //#input(void load()): addonConfig.__Tag
    //#input(void load()): addonConfig.file
    //#input(void load()): addonConfig.listeners
    //#input(void load()): addonConfig.myTarget
    //#input(void load()): addonConfig.myTarget.__Tag
    //#input(void load()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void load()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void load()): com.dmdirc.logger.ErrorLevel.FATAL
    //#input(void load()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void load()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void load()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOptionString(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void load()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void load()): com/dmdirc/config/ConfigManager.stats
    //#input(void load()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void load()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void load()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void load()): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void load()): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void load()): com/dmdirc/config/ConfigSource.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void load()): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void load()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/Identity.DOMAIN
    //#input(void load()): com/dmdirc/config/Identity.LOGGER
    //#input(void load()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void load()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void load()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void load()): com/dmdirc/config/Identity.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void load()): globalconfig
    //#input(void load()): globalconfig.__Lock
    //#input(void load()): globalconfig.__Tag
    //#input(void load()): globalconfig.file
    //#input(void load()): globalconfig.sources
    //#input(void load()): globalconfig.sources.__Lock
    //#input(void load()): identities
    //#input(void load()): managers
    //#output(void load()): addonConfig
    //#output(void load()): globalconfig
    //#output(void load()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void load()): new ArrayList(getSources#1) num objects
    //#output(void load()): new ArrayList(getSources#1).__Lock
    //#output(void load()): new ConfigFile(load#2) num objects
    //#output(void load()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void load()): new ConfigManager(getGlobalConfig#1).__Lock
    //#output(void load()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void load()): new ConfigManager(getGlobalConfig#1).channel
    //#output(void load()): new ConfigManager(getGlobalConfig#1).file
    //#output(void load()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void load()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void load()): new ConfigManager(getGlobalConfig#1).network
    //#output(void load()): new ConfigManager(getGlobalConfig#1).server
    //#output(void load()): new ConfigManager(getGlobalConfig#1).sources
    //#output(void load()): new ConfigManager(setOption#2) num objects
    //#output(void load()): new ConfigManager(setOption#2).__Tag
    //#output(void load()): new ConfigManager(setOption#2).channel
    //#output(void load()): new ConfigManager(setOption#2).ircd
    //#output(void load()): new ConfigManager(setOption#2).listeners
    //#output(void load()): new ConfigManager(setOption#2).network
    //#output(void load()): new ConfigManager(setOption#2).server
    //#output(void load()): new ConfigManager(setOption#2).sources
    //#output(void load()): new ConfigTarget(load#1) num objects
    //#output(void load()): addonConfig.myTarget.__Tag
    //#output(void load()): addonConfig.myTarget.data
    //#output(void load()): addonConfig.myTarget.order
    //#output(void load()): addonConfig.myTarget.type
    //#output(void load()): new Identity(load#4) num objects
    //#output(void load()): addonConfig.__Lock
    //#output(void load()): addonConfig.__Tag
    //#output(void load()): addonConfig.file
    //#output(void load()): addonConfig.globalConfig
    //#output(void load()): addonConfig.listeners
    //#output(void load()): addonConfig.myTarget
    //#output(void load()): addonConfig.needSave
    //#output(void load()): new MapList(ConfigManager#1) num objects
    //#output(void load()): new WeakList(Identity#1) num objects
    //#new obj(void load()): java.lang.StringBuilder:toString(...)
    //#new obj(void load()): new ArrayList(getSources#1)
    //#new obj(void load()): new ConfigFile(load#2)
    //#new obj(void load()): new ConfigManager(getGlobalConfig#1)
    //#new obj(void load()): new ConfigManager(setOption#2)
    //#new obj(void load()): new ConfigTarget(load#1)
    //#new obj(void load()): new Identity(load#4)
    //#new obj(void load()): new MapList(ConfigManager#1)
    //#new obj(void load()): new WeakList(Identity#1)
    //#pre[12] (void load()): init'ed(globalconfig)
    //#pre[9] (void load()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void load()): init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
    //#presumption(void load()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#post(void load()): addonConfig == &new Identity(load#4)
    //#post(void load()): globalconfig == One-of{old globalconfig, &new ConfigManager(getGlobalConfig#1)}
    //#post(void load()): globalconfig != null
    //#post(void load()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void load()): new ArrayList(getSources#1) num objects == 0
    //#post(void load()): new ConfigManager(setOption#2) num objects == 0
    //#post(void load()): new MapList(ConfigManager#1) num objects == 0
    //#post(void load()): new ArrayList(getSources#1) num objects <= 1
    //#post(void load()): new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void load()): new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void load()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void load()): new ConfigFile(load#2) num objects == 1
    //#post(void load()): new ConfigTarget(load#1) num objects == 1
    //#post(void load()): new Identity(load#4) num objects == 1
    //#post(void load()): new WeakList(Identity#1) num objects == 1
    //#post(void load()): init'ed(new ConfigManager(getGlobalConfig#1).__Lock)
    //#post(void load()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(void load()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(void load()): init'ed(new ConfigManager(getGlobalConfig#1).file)
    //#post(void load()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(void load()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(void load()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(void load()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(void load()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).__Tag)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).channel)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).ircd)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).listeners)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).network)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).server)
    //#post(void load()): init'ed(new ConfigManager(setOption#2).sources)
    //#post(void load()): addonConfig.myTarget.__Tag == com/dmdirc/config/ConfigTarget
    //#post(void load()): addonConfig.myTarget.data == &""
    //#post(void load()): addonConfig.myTarget.order == 500_000
    //#post(void load()): addonConfig.myTarget.type == &com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1)
    //#post(void load()): possibly_updated(addonConfig.__Lock)
    //#post(void load()): addonConfig.__Tag == com/dmdirc/config/Identity
    //#post(void load()): addonConfig.file == &new ConfigFile(load#2)
    //#post(void load()): init'ed(addonConfig.globalConfig)
    //#post(void load()): addonConfig.listeners == &new WeakList(Identity#1)
    //#post(void load()): addonConfig.myTarget == &new ConfigTarget(load#1)
    //#post(void load()): init'ed(addonConfig.needSave)
    //#unanalyzed(void load()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void load()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void load()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void load()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void load()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void load()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void load()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void load()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void load()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void load()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void load()): Effects-of-calling:hasOption
    //#unanalyzed(void load()): Effects-of-calling:getDomains
    //#unanalyzed(void load()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void load()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void load()): Effects-of-calling:getOptions
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void load()): Effects-of-calling:equals
    //#unanalyzed(void load()): Effects-of-calling:removeListener
    //#unanalyzed(void load()): Effects-of-calling:getTarget
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void load()): Effects-of-calling:addListener
    //#unanalyzed(void load()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Class:getResourceAsStream
    //#unanalyzed(void load()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void load()): Effects-of-calling:getOption
    //#unanalyzed(void load()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void load()): Effects-of-calling:getSources
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void load()): Effects-of-calling:addConfigManager
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void load()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void load()): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void load()): Effects-of-calling:addIdentity
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void load()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void load()): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:write
    //#unanalyzed(void load()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(void load()): Effects-of-calling:java.io.File
    //#unanalyzed(void load()): Effects-of-calling:java.io.File:exists
    //#unanalyzed(void load()): Effects-of-calling:com.dmdirc.util.ConfigFile:addDomain
    //#unanalyzed(void load()): Effects-of-calling:java.util.HashMap
    //#unanalyzed(void load()): Effects-of-calling:createIdentity
    //#unanalyzed(void load()): Effects-of-calling:java.lang.String:replace
    //#unanalyzed(void load()): Effects-of-calling:java.util.HashSet
    //#test_vector(void load()): globalconfig: Addr_Set{null}, Inverse{null}
    //#test_vector(void load()): java.util.List:size(...)@85: {-2_147_483_648..-1, 1..4_294_967_295}, {0}
        managers.clear();
        
        if (globalconfig != null) {
            // May have been created earlier
            managers.add(globalconfig);
        }

        loadVersion();
        loadDefaults();
    //#IdentityManager.java:81: Warning: call too complex - analysis skipped
    //#    call on void loadDefaults()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void loadDefaults()
        loadUser();
    //#IdentityManager.java:82: Warning: call too complex - analysis skipped
    //#    call on void loadUser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void loadUser()
        loadConfig();
    //#IdentityManager.java:83: Warning: call too complex - analysis skipped
    //#    call on void loadConfig()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void loadConfig()
        
        if (getProfiles().size() == 0) {
            try {
                Identity.buildProfile("Default Profile");
            } catch (IOException ex) {
                Logger.userError(ErrorLevel.FATAL, "Unable to write default profile", ex);
    //#IdentityManager.java:89: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
            }
        }
        
        // Set up the identity used for the addons defaults
        final ConfigTarget target = new ConfigTarget();
        target.setGlobalDefault();
        target.setOrder(500000);
        
        final ConfigFile addonConfigFile = new ConfigFile((File) null);
    //#IdentityManager.java:98: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.ConfigFile(File)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void com.dmdirc.util.ConfigFile(File)
        final Map<String, String> addonSettings = new HashMap<String, String>();
        addonSettings.put("name", "Addon defaults");
        addonConfigFile.addDomain("identity", addonSettings);
    //#IdentityManager.java:101: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.ConfigFile:addDomain(String, Map)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void com.dmdirc.util.ConfigFile:addDomain(String, Map)
        
        addonConfig = new Identity(addonConfigFile, target);
        IdentityManager.addIdentity(addonConfig);
        
        if (!getGlobalConfig().hasOptionString("identity", "defaultsversion")) {
            Logger.userError(ErrorLevel.FATAL, "Default settings "
    //#IdentityManager.java:107: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void load()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    + "could not be loaded");
        }
    }
    //#IdentityManager.java:110: end of method: void com.dmdirc.config.IdentityManager.load()
    
    /** Loads the default (built in) identities. */
    private static void loadDefaults() {
        final String[] targets = {"default", "modealiases"};
    //#IdentityManager.java:114: method: void com.dmdirc.config.IdentityManager.loadDefaults()
    //#input(void loadDefaults()): " ("._tainted
    //#input(void loadDefaults()): " to "._tainted
    //#input(void loadDefaults()): ""._tainted
    //#input(void loadDefaults()): "&#10;"._tainted
    //#input(void loadDefaults()): ")"._tainted
    //#input(void loadDefaults()): "."._tainted
    //#input(void loadDefaults()): ": setting "._tainted
    //#input(void loadDefaults()): "<Unknown>"._tainted
    //#input(void loadDefaults()): "@"._tainted
    //#input(void loadDefaults()): "Config option not found: "._tainted
    //#input(void loadDefaults()): "I.O error when reading identity file: "._tainted
    //#input(void loadDefaults()): "I.O error when reloading identity file: "._tainted
    //#input(void loadDefaults()): "Invalid identity file: "._tainted
    //#input(void loadDefaults()): "Unable to extract default identities: "._tainted
    //#input(void loadDefaults()): "Unable to load user identity files from "._tainted
    //#input(void loadDefaults()): "Unnamed"._tainted
    //#input(void loadDefaults()): "bundleddefaultsversion"._tainted
    //#input(void loadDefaults()): "com.dmdirc.config.defaults."._tainted
    //#input(void loadDefaults()): "default"._tainted
    //#input(void loadDefaults()): "defaultsversion"._tainted
    //#input(void loadDefaults()): "identities"._tainted
    //#input(void loadDefaults()): "identity"._tainted
    //#input(void loadDefaults()): "modealiases"._tainted
    //#input(void loadDefaults()): "nicknames"._tainted
    //#input(void loadDefaults()): "order"._tainted
    //#input(void loadDefaults()): "updater"._tainted
    //#input(void loadDefaults()): __Class_Obj.__Lock
    //#input(void loadDefaults()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadDefaults()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadDefaults()): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOptionString(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigManager.stats
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadDefaults()): com/dmdirc/config/ConfigSource.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadDefaults()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadDefaults()): com/dmdirc/config/Identity.LOGGER
    //#input(void loadDefaults()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getFile()Lcom/dmdirc/util/ConfigFile;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.reload()V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadDefaults()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadDefaults()): globalconfig
    //#input(void loadDefaults()): globalconfig.__Lock
    //#input(void loadDefaults()): globalconfig.__Tag
    //#input(void loadDefaults()): globalconfig.file
    //#input(void loadDefaults()): globalconfig.sources
    //#input(void loadDefaults()): globalconfig.sources.__Lock
    //#input(void loadDefaults()): identities
    //#input(void loadDefaults()): managers
    //#output(void loadDefaults()): globalconfig
    //#output(void loadDefaults()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void loadDefaults()): new ArrayList(getSources#1) num objects
    //#output(void loadDefaults()): new ArrayList(getSources#1).__Lock
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).__Lock
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).channel
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).file
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).network
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).server
    //#output(void loadDefaults()): new ConfigManager(getGlobalConfig#1).sources
    //#output(void loadDefaults()): new MapList(ConfigManager#1) num objects
    //#new obj(void loadDefaults()): java.lang.StringBuilder:toString(...)
    //#new obj(void loadDefaults()): new ArrayList(getSources#1)
    //#new obj(void loadDefaults()): new ConfigManager(getGlobalConfig#1)
    //#new obj(void loadDefaults()): new MapList(ConfigManager#1)
    //#pre[4] (void loadDefaults()): init'ed(globalconfig)
    //#pre[1] (void loadDefaults()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadDefaults()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void loadDefaults()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void loadDefaults()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void loadDefaults()): getGlobalConfig(...).__Tag == com/dmdirc/config/ConfigManager
    //#presumption(void loadDefaults()): getGlobalConfig(...).sources != null
    //#presumption(void loadDefaults()): getGlobalConfig(...).sources != null
    //#presumption(void loadDefaults()): java.io.File:listFiles(...)@119 != null
    //#post(void loadDefaults()): globalconfig != null
    //#post(void loadDefaults()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void loadDefaults()): new ArrayList(getSources#1) num objects <= 1
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void loadDefaults()): new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    //#post(void loadDefaults()): new ArrayList(getSources#1) num objects == 0
    //#post(void loadDefaults()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1) num objects == 0
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).__Lock)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).__Tag)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).__Tag)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).channel)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).channel)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).file)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).ircd)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).ircd)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).listeners)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).listeners)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).network)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).network)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).server)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).server)
    //#post(void loadDefaults()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#post(void loadDefaults()): init'ed(new ConfigManager(getGlobalConfig#1).sources)
    //#post(void loadDefaults()): possibly_updated(new ConfigManager(getGlobalConfig#1).sources)
    //#post(void loadDefaults()): new MapList(ConfigManager#1) num objects == 0
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadDefaults()): Effects-of-calling:hasOption
    //#unanalyzed(void loadDefaults()): Effects-of-calling:getDomains
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadDefaults()): Effects-of-calling:getOptions
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadDefaults()): Effects-of-calling:equals
    //#unanalyzed(void loadDefaults()): Effects-of-calling:removeListener
    //#unanalyzed(void loadDefaults()): Effects-of-calling:getTarget
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadDefaults()): Effects-of-calling:addListener
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadDefaults()): Effects-of-calling:getOption
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadDefaults()): Effects-of-calling:getSources
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadDefaults()): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.resourcemanager.ResourceManager:extractResources
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.IOException:getMessage
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:getFile
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.File:equals
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.File:getAbsolutePath
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void loadDefaults()): Effects-of-calling:com.dmdirc.config.InvalidIdentityFileException:getMessage
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.io.File:listFiles
    //#unanalyzed(void loadDefaults()): Effects-of-calling:loadUser
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadDefaults()): Effects-of-calling:java.util.HashMap
    //#test_vector(void loadDefaults()): com.dmdirc.updater.Version:compareTo(...)@136: {-2_147_483_648..0}, {1..4_294_967_295}
    //#test_vector(void loadDefaults()): java.io.File:exists(...)@119: {0}, {1}
    //#test_vector(void loadDefaults()): java.io.File:listFiles(...).length@119: {1..+Inf}, {0}
    //#test_vector(void loadDefaults()): java.io.File:listFiles(...)@119: Addr_Set{null}, Inverse{null}
        final String dir = getDirectory();
        
        for (String target : targets) {
            final File file = new File(dir + target);
            if (!file.exists() || file.listFiles() == null || file.listFiles().length == 0) {
                file.mkdirs();
                extractIdentities(target);
            }

            loadUser(file);
        }

        // If the bundled defaults are newer than the ones the user is
        // currently using, extract them.
        if (getGlobalConfig().hasOptionString("identity", "defaultsversion")
                && getGlobalConfig().hasOptionString("updater", "bundleddefaultsversion")) {
            final Version installedVersion = new Version(getGlobalConfig()
    //#IdentityManager.java:131: ?use of default init
    //#    init'ed(getGlobalConfig(...).__Tag)
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadDefaults()
    //#    basic block: bb_10
    //#    assertion: init'ed(getGlobalConfig(...).__Tag)
    //#    VN: getGlobalConfig(...).__Tag
    //#    Expected: {-Inf..+Inf}
    //#    Bad: {Invalid}
    //#    Attribs:  Int  Bad only invalid  Uncertain
    //#IdentityManager.java:131: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.updater.Version(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadDefaults()
    //#    unanalyzed callee: void com.dmdirc.updater.Version(String)
                    .getOption("identity", "defaultsversion"));
            final Version bundledVersion = new Version(getGlobalConfig()
    //#IdentityManager.java:133: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.updater.Version(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadDefaults()
    //#    unanalyzed callee: void com.dmdirc.updater.Version(String)
                    .getOption("updater", "bundleddefaultsversion"));

            if (bundledVersion.compareTo(installedVersion) > 0) {
    //#IdentityManager.java:136: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.updater.Version:compareTo(Version)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadDefaults()
    //#    unanalyzed callee: int com.dmdirc.updater.Version:compareTo(Version)
                extractIdentities("default");
                loadUser(new File(dir, "default"));
            }
        }
    }
    //#IdentityManager.java:141: end of method: void com.dmdirc.config.IdentityManager.loadDefaults()
    
    /**
     * Extracts the specific set of default identities to the user's identity
     * folder.
     * 
     * @param target The target to be extracted
     */
    private static void extractIdentities(final String target) {
        try {
            ResourceManager.getResourceManager().extractResources(
    //#IdentityManager.java:151: method: void com.dmdirc.config.IdentityManager.extractIdentities(String)
    //#IdentityManager.java:151: Warning: method not available - call not analyzed
    //#    call on ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void extractIdentities(String)
    //#    unanalyzed callee: ResourceManager com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager()
    //#IdentityManager.java:151: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.util.resourcemanager.ResourceManager:extractResources(String, String, bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void extractIdentities(String)
    //#    unanalyzed callee: void com.dmdirc.util.resourcemanager.ResourceManager:extractResources(String, String, bool)
    //#input(void extractIdentities(String)): "Unable to extract default identities: "._tainted
    //#input(void extractIdentities(String)): "com.dmdirc.config.defaults."._tainted
    //#input(void extractIdentities(String)): "identities"._tainted
    //#input(void extractIdentities(String)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void extractIdentities(String)): target
    //#input(void extractIdentities(String)): target._tainted
    //#presumption(void extractIdentities(String)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#presumption(void extractIdentities(String)): com.dmdirc.util.resourcemanager.ResourceManager:getResourceManager(...)@151 != null
    //#unanalyzed(void extractIdentities(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void extractIdentities(String)): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void extractIdentities(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void extractIdentities(String)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void extractIdentities(String)): Effects-of-calling:java.lang.StringBuilder:toString
                    "com/dmdirc/config/defaults/" + target,
                    getDirectory() + target, false);
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.MEDIUM, "Unable to extract default "
    //#IdentityManager.java:155: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void extractIdentities(String)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    + "identities: " + ex.getMessage());
        }
    }
    //#IdentityManager.java:158: end of method: void com.dmdirc.config.IdentityManager.extractIdentities(String)

    /**
     * Retrieves the directory used to store identities in.
     * 
     * @return The identity directory path
     */
    public static String getDirectory() {
        return Main.getConfigDir() + "identities" + System.getProperty("file.separator"); 
    //#IdentityManager.java:166: method: String com.dmdirc.config.IdentityManager.getDirectory()
    //#IdentityManager.java:166: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.Main:getConfigDir()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: String getDirectory()
    //#    unanalyzed callee: String com.dmdirc.Main:getConfigDir()
    //#input(String getDirectory()): "identities"._tainted
    //#output(String getDirectory()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getDirectory()): return_value
    //#new obj(String getDirectory()): java.lang.StringBuilder:toString(...)
    //#post(String getDirectory()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String getDirectory()): return_value == &java.lang.StringBuilder:toString(...)
    //#IdentityManager.java:166: end of method: String com.dmdirc.config.IdentityManager.getDirectory()
    }
    
    /** Loads user-defined identity files. */
    public static void loadUser() {
        final File dir = new File(getDirectory());
    //#IdentityManager.java:171: method: void com.dmdirc.config.IdentityManager.loadUser()
    //#IdentityManager.java:171: Warning: unused assignment in callee
    //#    Unused assignment to (java.lang.StringBuilder:toString(...)._tainted) in getDirectory
    //#    severity: LOW
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadUser()
    //#input(void loadUser()): " ("._tainted
    //#input(void loadUser()): " to "._tainted
    //#input(void loadUser()): ""._tainted
    //#input(void loadUser()): "&#10;"._tainted
    //#input(void loadUser()): ")"._tainted
    //#input(void loadUser()): "."._tainted
    //#input(void loadUser()): ": setting "._tainted
    //#input(void loadUser()): "<Unknown>"._tainted
    //#input(void loadUser()): "@"._tainted
    //#input(void loadUser()): "Config option not found: "._tainted
    //#input(void loadUser()): "I.O error when reading identity file: "._tainted
    //#input(void loadUser()): "I.O error when reloading identity file: "._tainted
    //#input(void loadUser()): "Invalid identity file: "._tainted
    //#input(void loadUser()): "Unable to load user identity files from "._tainted
    //#input(void loadUser()): "Unnamed"._tainted
    //#input(void loadUser()): "identities"._tainted
    //#input(void loadUser()): "nicknames"._tainted
    //#input(void loadUser()): "order"._tainted
    //#input(void loadUser()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadUser()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadUser()): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void loadUser()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigManager.stats
    //#input(void loadUser()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadUser()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadUser()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadUser()): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadUser()): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadUser()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadUser()): com/dmdirc/config/Identity.LOGGER
    //#input(void loadUser()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadUser()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadUser()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getFile()Lcom/dmdirc/util/ConfigFile;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.reload()V
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser()): identities
    //#input(void loadUser()): managers
    //#pre[1] (void loadUser()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadUser()): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadUser()): Effects-of-calling:hasOption
    //#unanalyzed(void loadUser()): Effects-of-calling:getDomains
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadUser()): Effects-of-calling:getOptions
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadUser()): Effects-of-calling:equals
    //#unanalyzed(void loadUser()): Effects-of-calling:removeListener
    //#unanalyzed(void loadUser()): Effects-of-calling:getTarget
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadUser()): Effects-of-calling:addListener
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadUser()): Effects-of-calling:getOption
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadUser()): Effects-of-calling:getSources
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadUser()): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(void loadUser()): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.IOException:getMessage
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:getFile
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.File:equals
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.File:getAbsolutePath
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void loadUser()): Effects-of-calling:com.dmdirc.config.InvalidIdentityFileException:getMessage
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void loadUser()): Effects-of-calling:java.io.File:listFiles
    //#unanalyzed(void loadUser()): Effects-of-calling:loadUser
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadUser()): Effects-of-calling:java.util.HashMap
    //#test_vector(void loadUser()): java.io.File:exists(...)@173: {1}, {0}
        
        if (!dir.exists()) {
            try {
                dir.mkdirs();
                dir.createNewFile();
            } catch (IOException ex) {
                Logger.userError(ErrorLevel.MEDIUM, "Unable to create identity dir");
    //#IdentityManager.java:178: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadUser()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            }
        }
        
        loadUser(dir);
    }
    //#IdentityManager.java:183: end of method: void com.dmdirc.config.IdentityManager.loadUser()
     
    /**
     * Recursively loads files from the specified directory.
     * 
     * @param dir The directory to be loaded
     */
    @Precondition({
        "The specified File is not null",
        "The specified File is a directory"
    })
    private static void loadUser(final File dir) {
        Logger.assertTrue(dir != null);
    //#IdentityManager.java:195: method: void com.dmdirc.config.IdentityManager.loadUser(File)
    //#IdentityManager.java:195: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadUser(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
    //#input(void loadUser(File)): " ("._tainted
    //#input(void loadUser(File)): " to "._tainted
    //#input(void loadUser(File)): ""._tainted
    //#input(void loadUser(File)): "&#10;"._tainted
    //#input(void loadUser(File)): ")"._tainted
    //#input(void loadUser(File)): "."._tainted
    //#input(void loadUser(File)): ": setting "._tainted
    //#input(void loadUser(File)): "<Unknown>"._tainted
    //#input(void loadUser(File)): "@"._tainted
    //#input(void loadUser(File)): "Config option not found: "._tainted
    //#input(void loadUser(File)): "I.O error when reading identity file: "._tainted
    //#input(void loadUser(File)): "I.O error when reloading identity file: "._tainted
    //#input(void loadUser(File)): "Invalid identity file: "._tainted
    //#input(void loadUser(File)): "Unable to load user identity files from "._tainted
    //#input(void loadUser(File)): "Unnamed"._tainted
    //#input(void loadUser(File)): "nicknames"._tainted
    //#input(void loadUser(File)): "order"._tainted
    //#input(void loadUser(File)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadUser(File)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadUser(File)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigManager.stats
    //#input(void loadUser(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadUser(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadUser(File)): com/dmdirc/config/Identity.LOGGER
    //#input(void loadUser(File)): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getFile()Lcom/dmdirc/util/ConfigFile;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.reload()V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser(File)): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadUser(File)): dir
    //#input(void loadUser(File)): identities
    //#input(void loadUser(File)): managers
    //#pre[2] (void loadUser(File)): dir != null
    //#pre[1] (void loadUser(File)): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadUser(File)): arr$.length@203 <= 4_294_967_295
    //#presumption(void loadUser(File)): arr$[i$]@203 != null
    //#presumption(void loadUser(File)): arr$[i$]@203 != null
    //#presumption(void loadUser(File)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#presumption(void loadUser(File)): java.io.File:listFiles(...)@203 != null
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadUser(File)): Effects-of-calling:hasOption
    //#unanalyzed(void loadUser(File)): Effects-of-calling:getDomains
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadUser(File)): Effects-of-calling:getOptions
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadUser(File)): Effects-of-calling:equals
    //#unanalyzed(void loadUser(File)): Effects-of-calling:removeListener
    //#unanalyzed(void loadUser(File)): Effects-of-calling:getTarget
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadUser(File)): Effects-of-calling:addListener
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadUser(File)): Effects-of-calling:getOption
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadUser(File)): Effects-of-calling:getSources
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadUser(File)): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.IOException:getMessage
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:getFile
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.File:equals
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.File:getAbsolutePath
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void loadUser(File)): Effects-of-calling:com.dmdirc.config.InvalidIdentityFileException:getMessage
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.File:isDirectory
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.io.File:listFiles
    //#unanalyzed(void loadUser(File)): Effects-of-calling:loadUser
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadUser(File)): Effects-of-calling:java.util.HashMap
    //#test_vector(void loadUser(File)): java.io.File:isDirectory(...)@204: {0}, {1}
    //#test_vector(void loadUser(File)): java.io.File:listFiles(...)@198: Inverse{null}, Addr_Set{null}
        Logger.assertTrue(dir.isDirectory());
    //#IdentityManager.java:196: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadUser(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
        
        if (dir.listFiles() == null) {
            Logger.userError(ErrorLevel.MEDIUM,
    //#IdentityManager.java:199: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadUser(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    "Unable to load user identity files from "
                    + dir.getAbsolutePath());
        } else {
            for (File file : dir.listFiles()) {
                if (file.isDirectory()) {
                    loadUser(file);
                } else {
                    loadIdentity(file);
                }
            }
        }
    }
    //#IdentityManager.java:211: end of method: void com.dmdirc.config.IdentityManager.loadUser(File)
    
    /**
     * Loads an identity from the specified file. If the identity already
     * exists, it is told to reload instead.
     * 
     * @param file The file to load the identity from.
     */
    @SuppressWarnings("deprecation")
    private static void loadIdentity(final File file) {
        synchronized (identities) {
    //#IdentityManager.java:221: method: void com.dmdirc.config.IdentityManager.loadIdentity(File)
    //#input(void loadIdentity(File)): " ("._tainted
    //#input(void loadIdentity(File)): " to "._tainted
    //#input(void loadIdentity(File)): ""._tainted
    //#input(void loadIdentity(File)): "&#10;"._tainted
    //#input(void loadIdentity(File)): ")"._tainted
    //#input(void loadIdentity(File)): "."._tainted
    //#input(void loadIdentity(File)): ": setting "._tainted
    //#input(void loadIdentity(File)): "<Unknown>"._tainted
    //#input(void loadIdentity(File)): "@"._tainted
    //#input(void loadIdentity(File)): "Config option not found: "._tainted
    //#input(void loadIdentity(File)): "I.O error when reading identity file: "._tainted
    //#input(void loadIdentity(File)): "I.O error when reloading identity file: "._tainted
    //#input(void loadIdentity(File)): "Invalid identity file: "._tainted
    //#input(void loadIdentity(File)): "Unnamed"._tainted
    //#input(void loadIdentity(File)): "nicknames"._tainted
    //#input(void loadIdentity(File)): "order"._tainted
    //#input(void loadIdentity(File)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadIdentity(File)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadIdentity(File)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigManager.stats
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadIdentity(File)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.LOGGER
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getFile()Lcom/dmdirc/util/ConfigFile;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.reload()V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadIdentity(File)): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadIdentity(File)): file
    //#input(void loadIdentity(File)): identities
    //#input(void loadIdentity(File)): managers
    //#pre[1] (void loadIdentity(File)): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#pre[2] (void loadIdentity(File)): (soft) file != null
    //#presumption(void loadIdentity(File)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#presumption(void loadIdentity(File)): identity.file@222 != null
    //#presumption(void loadIdentity(File)): java.util.Iterator:next(...).__Tag@222 == com/dmdirc/config/Identity
    //#presumption(void loadIdentity(File)): java.util.Iterator:next(...)@222 != null
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:hasOption
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:getDomains
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:getOptions
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:equals
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:removeListener
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:getTarget
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:addListener
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:getOption
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:getSources
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.LinkedList
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadIdentity(File)): Effects-of-calling:java.util.HashMap
    //#test_vector(void loadIdentity(File)): java.io.File:equals(...)@223: {0}, {1}
    //#test_vector(void loadIdentity(File)): java.util.Iterator:hasNext(...)@222: {1}, {0}
            for (Identity identity : identities) {
                if (file.equals(identity.getFile().getFile())) {
    //#IdentityManager.java:223: Warning: method not available - call not analyzed
    //#    call on File com.dmdirc.util.ConfigFile:getFile()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    unanalyzed callee: File com.dmdirc.util.ConfigFile:getFile()
                    try {
                        identity.reload();
                    } catch (IOException ex) {
                        Logger.userError(ErrorLevel.MEDIUM,
    //#IdentityManager.java:227: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                                "I/O error when reloading identity file: "
                                + file.getAbsolutePath() + " (" + ex.getMessage() + ")");
                    } catch (InvalidConfigFileException ex) {
                        // Do nothing
                    }

                    return;
                }
            }
        }
        
        try {
            addIdentity(new Identity(file, false));
    //#IdentityManager.java:240: ?!precondition failure
    //#    com/dmdirc/config/Identity.com.dmdirc.config.Identity: (soft) forceDefault == 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    basic block: bb_15
    //#    assertion: (soft) false
    //#    callee: void com/dmdirc/config/Identity.com.dmdirc.config.Identity(File, bool)
    //#    callee assertion: (soft) forceDefault == 1
    //#    callee file: Identity.java
    //#    callee precondition index: [5]
    //#    callee srcpos: 106
    //#    VN: 0
    //#    Expected: {1}
    //#    Bad: {0}
    //#    Attribs:  Int  Exp in +/-1000  Exp singleton  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp
        } catch (InvalidIdentityFileException ex) {
            Logger.userError(ErrorLevel.MEDIUM,
    //#IdentityManager.java:242: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.config.InvalidIdentityFileException:getMessage()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    unanalyzed callee: String com.dmdirc.config.InvalidIdentityFileException:getMessage()
    //#IdentityManager.java:242: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    "Invalid identity file: " + file.getAbsolutePath()
                    + " (" + ex.getMessage() + ")");
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.MEDIUM,
    //#IdentityManager.java:246: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadIdentity(File)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    "I/O error when reading identity file: "
                    + file.getAbsolutePath());
        }
    }
    //#IdentityManager.java:250: end of method: void com.dmdirc.config.IdentityManager.loadIdentity(File)

    /** Loads the version information. */
    public static void loadVersion() {
        try {
            addIdentity(new Identity(Main.class.getResourceAsStream("version.config"), false));
    //#IdentityManager.java:255: method: void com.dmdirc.config.IdentityManager.loadVersion()
    //#IdentityManager.java:255: ?!precondition failure
    //#    com/dmdirc/config/Identity.com.dmdirc.config.Identity: (soft) forceDefault == 1
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadVersion()
    //#    basic block: bb_2
    //#    assertion: (soft) false
    //#    callee: void com/dmdirc/config/Identity.com.dmdirc.config.Identity(InputStream, bool)
    //#    callee assertion: (soft) forceDefault == 1
    //#    callee file: Identity.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 129
    //#    VN: 0
    //#    Expected: {1}
    //#    Bad: {0}
    //#    Attribs:  Int  Exp in +/-1000  Exp singleton  Bad singleton  Bad overlaps +/-1000  Soft  Bad < Exp
    //#input(void loadVersion()): " to "._tainted
    //#input(void loadVersion()): ""._tainted
    //#input(void loadVersion()): "&#10;"._tainted
    //#input(void loadVersion()): "."._tainted
    //#input(void loadVersion()): ": setting "._tainted
    //#input(void loadVersion()): "<Unknown>"._tainted
    //#input(void loadVersion()): "@"._tainted
    //#input(void loadVersion()): "Config option not found: "._tainted
    //#input(void loadVersion()): "Unnamed"._tainted
    //#input(void loadVersion()): "nicknames"._tainted
    //#input(void loadVersion()): "order"._tainted
    //#input(void loadVersion()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadVersion()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadVersion()): com.dmdirc.logger.ErrorLevel.FATAL
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigManager.stats
    //#input(void loadVersion()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadVersion()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadVersion()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadVersion()): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadVersion()): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadVersion()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadVersion()): com/dmdirc/config/Identity.LOGGER
    //#input(void loadVersion()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadVersion()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadVersion()): identities
    //#input(void loadVersion()): managers
    //#pre[1] (void loadVersion()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadVersion()): init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadVersion()): Effects-of-calling:hasOption
    //#unanalyzed(void loadVersion()): Effects-of-calling:getDomains
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadVersion()): Effects-of-calling:getOptions
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadVersion()): Effects-of-calling:equals
    //#unanalyzed(void loadVersion()): Effects-of-calling:removeListener
    //#unanalyzed(void loadVersion()): Effects-of-calling:getTarget
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadVersion()): Effects-of-calling:addListener
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadVersion()): Effects-of-calling:getOption
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadVersion()): Effects-of-calling:getSources
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadVersion()): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadVersion()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadVersion()): Effects-of-calling:java.util.HashMap
        } catch (IOException ex) {
            Logger.appError(ErrorLevel.FATAL, "Unable to load version information", ex);
    //#IdentityManager.java:257: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadVersion()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
        } catch (InvalidIdentityFileException ex) {
            Logger.appError(ErrorLevel.FATAL, "Unable to load version information", ex);
    //#IdentityManager.java:259: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadVersion()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
        }
    }
    //#IdentityManager.java:261: end of method: void com.dmdirc.config.IdentityManager.loadVersion()
    
    /** Loads the config identity. */
    private static void loadConfig() {
        try {
            final File file = new File(Main.getConfigDir() + "dmdirc.config");
    //#IdentityManager.java:266: method: void com.dmdirc.config.IdentityManager.loadConfig()
    //#IdentityManager.java:266: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.Main:getConfigDir()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadConfig()
    //#    unanalyzed callee: String com.dmdirc.Main:getConfigDir()
    //#input(void loadConfig()): " to "._tainted
    //#input(void loadConfig()): ""._tainted
    //#input(void loadConfig()): "&#10;"._tainted
    //#input(void loadConfig()): "."._tainted
    //#input(void loadConfig()): ": setting "._tainted
    //#input(void loadConfig()): "<Unknown>"._tainted
    //#input(void loadConfig()): "@"._tainted
    //#input(void loadConfig()): "Config option not found: "._tainted
    //#input(void loadConfig()): "Global config"._tainted
    //#input(void loadConfig()): "I.O error when loading file: "._tainted
    //#input(void loadConfig()): "Unnamed"._tainted
    //#input(void loadConfig()): "dmdirc.config"._tainted
    //#input(void loadConfig()): "identity"._tainted
    //#input(void loadConfig()): "name"._tainted
    //#input(void loadConfig()): "nicknames"._tainted
    //#input(void loadConfig()): "order"._tainted
    //#input(void loadConfig()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void loadConfig()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void loadConfig()): com.dmdirc.logger.ErrorLevel.HIGH
    //#input(void loadConfig()): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigManager.stats
    //#input(void loadConfig()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void loadConfig()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/ConfigSource]
    //#input(void loadConfig()): com/dmdirc/config/ConfigSource.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadConfig()): com/dmdirc/config/ConfigSource.__Descendant_Table[others]
    //#input(void loadConfig()): com/dmdirc/config/ConfigSource.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.GLOBALDEFAULT
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.IRCD
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.PROFILE
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobal()V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setGlobalDefault()V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setIrcd(Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setOrder(I)V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setProfile()V
    //#input(void loadConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/Identity.DOMAIN
    //#input(void loadConfig()): com/dmdirc/config/Identity.LOGGER
    //#input(void loadConfig()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getOptionInt(Ljava/lang/String;Ljava/lang/String;)I
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.migrateProfile()V
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.setOption(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadConfig()): com/dmdirc/config/Identity.__Dispatch_Table.unsetOption(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void loadConfig()): config.__Tag
    //#input(void loadConfig()): config.file
    //#input(void loadConfig()): config.globalConfig.__Tag
    //#input(void loadConfig()): config.globalConfig.listeners
    //#input(void loadConfig()): config.globalConfig.sources
    //#input(void loadConfig()): config.globalConfig.sources.__Lock
    //#input(void loadConfig()): config.listeners
    //#input(void loadConfig()): config.myTarget
    //#input(void loadConfig()): config.myTarget.__Tag
    //#input(void loadConfig()): identities
    //#input(void loadConfig()): managers
    //#output(void loadConfig()): config
    //#output(void loadConfig()): config.globalConfig
    //#output(void loadConfig()): config.needSave
    //#output(void loadConfig()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void loadConfig()): new ArrayList(getSources#1) num objects
    //#output(void loadConfig()): new ArrayList(getSources#1).__Lock
    //#output(void loadConfig()): new ConfigFile(Identity#2) num objects
    //#output(void loadConfig()): new ConfigManager(setOption#2) num objects
    //#output(void loadConfig()): new ConfigManager(setOption#2).__Tag
    //#output(void loadConfig()): new ConfigManager(setOption#2).channel
    //#output(void loadConfig()): new ConfigManager(setOption#2).ircd
    //#output(void loadConfig()): new ConfigManager(setOption#2).listeners
    //#output(void loadConfig()): new ConfigManager(setOption#2).network
    //#output(void loadConfig()): new ConfigManager(setOption#2).server
    //#output(void loadConfig()): new ConfigManager(setOption#2).sources
    //#output(void loadConfig()): new ConfigTarget(getTarget#1) num objects
    //#output(void loadConfig()): new ConfigTarget(getTarget#1).__Tag
    //#output(void loadConfig()): new ConfigTarget(getTarget#1).data
    //#output(void loadConfig()): new ConfigTarget(getTarget#1).order
    //#output(void loadConfig()): new ConfigTarget(getTarget#1).type
    //#output(void loadConfig()): new Identity(loadConfig#3) num objects
    //#output(void loadConfig()): new Identity(loadConfig#3).__Lock
    //#output(void loadConfig()): new Identity(loadConfig#3).__Tag
    //#output(void loadConfig()): new Identity(loadConfig#3).file
    //#output(void loadConfig()): new Identity(loadConfig#3).globalConfig
    //#output(void loadConfig()): new Identity(loadConfig#3).listeners
    //#output(void loadConfig()): new Identity(loadConfig#3).myTarget
    //#output(void loadConfig()): new Identity(loadConfig#3).needSave
    //#output(void loadConfig()): new Identity(loadConfig#3).sources
    //#output(void loadConfig()): new MapList(ConfigManager#1) num objects
    //#output(void loadConfig()): new WeakList(Identity#1) num objects
    //#new obj(void loadConfig()): java.lang.StringBuilder:toString(...)
    //#new obj(void loadConfig()): new ArrayList(getSources#1)
    //#new obj(void loadConfig()): new ConfigFile(Identity#2)
    //#new obj(void loadConfig()): new ConfigManager(setOption#2)
    //#new obj(void loadConfig()): new ConfigTarget(getTarget#1)
    //#new obj(void loadConfig()): new Identity(loadConfig#3)
    //#new obj(void loadConfig()): new MapList(ConfigManager#1)
    //#new obj(void loadConfig()): new WeakList(Identity#1)
    //#pre[1] (void loadConfig()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void loadConfig()): init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    //#presumption(void loadConfig()): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#post(void loadConfig()): config == One-of{&new Identity(loadConfig#3), old config}
    //#post(void loadConfig()): init'ed(config.globalConfig)
    //#post(void loadConfig()): init'ed(config.needSave)
    //#post(void loadConfig()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void loadConfig()): new ArrayList(getSources#1) num objects == 0
    //#post(void loadConfig()): new ArrayList(getSources#1) num objects <= 1
    //#post(void loadConfig()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void loadConfig()): new ConfigFile(Identity#2) num objects <= 1
    //#post(void loadConfig()): new ConfigManager(setOption#2) num objects == 0
    //#post(void loadConfig()): new ConfigManager(setOption#2) num objects <= 1
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).__Tag)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).channel)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).ircd)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).listeners)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).network)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).server)
    //#post(void loadConfig()): init'ed(new ConfigManager(setOption#2).sources)
    //#post(void loadConfig()): new ConfigTarget(getTarget#1) num objects <= 1
    //#post(void loadConfig()): init'ed(new ConfigTarget(getTarget#1).__Tag)
    //#post(void loadConfig()): init'ed(new ConfigTarget(getTarget#1).data)
    //#post(void loadConfig()): init'ed(new ConfigTarget(getTarget#1).order)
    //#post(void loadConfig()): init'ed(new ConfigTarget(getTarget#1).type)
    //#post(void loadConfig()): new Identity(loadConfig#3) num objects <= 1
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).__Lock)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).__Tag)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).file)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).globalConfig)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).listeners)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).myTarget)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).needSave)
    //#post(void loadConfig()): init'ed(new Identity(loadConfig#3).sources)
    //#post(void loadConfig()): new MapList(ConfigManager#1) num objects == 0
    //#post(void loadConfig()): new MapList(ConfigManager#1) num objects <= 1
    //#post(void loadConfig()): new WeakList(Identity#1) num objects <= 1
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void loadConfig()): Effects-of-calling:hasOption
    //#unanalyzed(void loadConfig()): Effects-of-calling:getDomains
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void loadConfig()): Effects-of-calling:getOptions
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void loadConfig()): Effects-of-calling:equals
    //#unanalyzed(void loadConfig()): Effects-of-calling:removeListener
    //#unanalyzed(void loadConfig()): Effects-of-calling:getTarget
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void loadConfig()): Effects-of-calling:addListener
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void loadConfig()): Effects-of-calling:getOption
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void loadConfig()): Effects-of-calling:getSources
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void loadConfig()): Effects-of-calling:addConfigManager
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void loadConfig()): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void loadConfig()): Effects-of-calling:java.util.HashMap
    //#test_vector(void loadConfig()): java.io.File:exists(...)@268: {1}, {0}
            
            if (!file.exists()) {
                file.createNewFile();
            }
            
            config = new Identity(file, true);
            config.setOption("identity", "name", "Global config");
            addIdentity(config);
        } catch (InvalidIdentityFileException ex) {
            // This shouldn't happen as we're forcing it to global
            Logger.appError(ErrorLevel.HIGH, "Unable to load global config", ex);
    //#IdentityManager.java:277: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadConfig()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:appError(ErrorLevel, String, Throwable)
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.MEDIUM, "I/O error when loading file: "
    //#IdentityManager.java:279: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void loadConfig()
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
                    + ex.getMessage());
        }
    }
    //#IdentityManager.java:282: end of method: void com.dmdirc.config.IdentityManager.loadConfig()
    
    /**
     * Retrieves the identity used for the global config.
     *
     * @return The global config identity
     */
    public static Identity getConfigIdentity() {
        return config;
    //#IdentityManager.java:290: method: Identity com.dmdirc.config.IdentityManager.getConfigIdentity()
    //#input(Identity getConfigIdentity()): config
    //#output(Identity getConfigIdentity()): return_value
    //#pre[1] (Identity getConfigIdentity()): init'ed(config)
    //#post(Identity getConfigIdentity()): return_value == config
    //#post(Identity getConfigIdentity()): init'ed(return_value)
    //#IdentityManager.java:290: end of method: Identity com.dmdirc.config.IdentityManager.getConfigIdentity()
    }
    
    /**
     * Retrieves the identity used for addons defaults.
     * 
     * @return The addons defaults identity
     */
    public static Identity getAddonIdentity() {
        return addonConfig;
    //#IdentityManager.java:299: method: Identity com.dmdirc.config.IdentityManager.getAddonIdentity()
    //#input(Identity getAddonIdentity()): addonConfig
    //#output(Identity getAddonIdentity()): return_value
    //#pre[1] (Identity getAddonIdentity()): init'ed(addonConfig)
    //#post(Identity getAddonIdentity()): return_value == addonConfig
    //#post(Identity getAddonIdentity()): init'ed(return_value)
    //#IdentityManager.java:299: end of method: Identity com.dmdirc.config.IdentityManager.getAddonIdentity()
    }
    
    /**
     * Saves all modified identity files to disk.
     */
    public static void save() {
        synchronized (identities) {
    //#IdentityManager.java:306: method: void com.dmdirc.config.IdentityManager.save()
    //#input(void save()): " (= "._tainted
    //#input(void save()): ""._tainted
    //#input(void save()): ")"._tainted
    //#input(void save()): "."._tainted
    //#input(void save()): ": I'm a global config"._tainted
    //#input(void save()): ": found superfluous setting: "._tainted
    //#input(void save()): ": save(); needsave = "._tainted
    //#input(void save()): ": source: "._tainted
    //#input(void save()): "<Unknown>"._tainted
    //#input(void save()): "@"._tainted
    //#input(void save()): "Config option not found: "._tainted
    //#input(void save()): "Unable to save identity file: "._tainted
    //#input(void save()): "Unnamed"._tainted
    //#input(void save()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void save()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void save()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void save()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void save()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.getSources()Ljava/util/List;
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void save()): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void save()): com/dmdirc/config/ConfigManager.stats
    //#input(void save()): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(void save()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void save()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void save()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void save()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void save()): com/dmdirc/config/Identity.DOMAIN
    //#input(void save()): com/dmdirc/config/Identity.LOGGER
    //#input(void save()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void save()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void save()): com/dmdirc/config/Identity.__Dispatch_Table.save()V
    //#input(void save()): com/dmdirc/config/Identity.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void save()): com/dmdirc/config/Identity.java.util.logging.Level.FINEST
    //#input(void save()): identities
    //#input(void save()): managers
    //#output(void save()): java.lang.StringBuilder:toString(...)._tainted
    //#output(void save()): new ArrayList(getSources#1) num objects
    //#output(void save()): new ArrayList(getSources#1).__Lock
    //#output(void save()): new ConfigManager(save#3*) num objects
    //#output(void save()): new ConfigManager(save#3*).__Tag
    //#output(void save()): new ConfigManager(save#3*).channel
    //#output(void save()): new ConfigManager(save#3*).ircd
    //#output(void save()): new ConfigManager(save#3*).listeners
    //#output(void save()): new ConfigManager(save#3*).network
    //#output(void save()): new ConfigManager(save#3*).server
    //#output(void save()): new ConfigManager(save#3*).sources
    //#output(void save()): new MapList(ConfigManager#1) num objects
    //#new obj(void save()): java.lang.StringBuilder:toString(...)
    //#new obj(void save()): new ArrayList(getSources#1)
    //#new obj(void save()): new ConfigManager(save#3*)
    //#new obj(void save()): new MapList(ConfigManager#1)
    //#pre[1] (void save()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#presumption(void save()): identity.file@307 != null
    //#presumption(void save()): identity.listeners@307 != null
    //#presumption(void save()): identity.myTarget.__Tag@307 == com/dmdirc/config/ConfigTarget
    //#presumption(void save()): java.util.Iterator:next(...).__Tag@307 == com/dmdirc/config/Identity
    //#presumption(void save()): java.util.Iterator:next(...)@307 != null
    //#post(void save()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(void save()): init'ed(new ArrayList(getSources#1) num objects)
    //#post(void save()): init'ed(new ArrayList(getSources#1).__Lock)
    //#post(void save()): init'ed(new ConfigManager(save#3*) num objects)
    //#post(void save()): init'ed(new ConfigManager(save#3*).__Tag)
    //#post(void save()): init'ed(new ConfigManager(save#3*).channel)
    //#post(void save()): init'ed(new ConfigManager(save#3*).ircd)
    //#post(void save()): init'ed(new ConfigManager(save#3*).listeners)
    //#post(void save()): init'ed(new ConfigManager(save#3*).network)
    //#post(void save()): init'ed(new ConfigManager(save#3*).server)
    //#post(void save()): init'ed(new ConfigManager(save#3*).sources)
    //#post(void save()): init'ed(new MapList(ConfigManager#1) num objects)
    //#unanalyzed(void save()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void save()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void save()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void save()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void save()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void save()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void save()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void save()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void save()): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void save()): Effects-of-calling:hasOption
    //#unanalyzed(void save()): Effects-of-calling:getDomains
    //#unanalyzed(void save()): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void save()): Effects-of-calling:java.util.List:add
    //#unanalyzed(void save()): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void save()): Effects-of-calling:getOptions
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void save()): Effects-of-calling:equals
    //#unanalyzed(void save()): Effects-of-calling:removeListener
    //#unanalyzed(void save()): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void save()): Effects-of-calling:getTarget
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void save()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void save()): Effects-of-calling:addListener
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void save()): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void save()): Effects-of-calling:getOption
    //#unanalyzed(void save()): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(void save()): Effects-of-calling:getSources
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(void save()): Effects-of-calling:addConfigManager
    //#unanalyzed(void save()): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(void save()): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void save()): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.ConfigFile:write
    //#unanalyzed(void save()): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void save()): Effects-of-calling:java.util.logging.Logger:fine
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.util.ConfigFile:isWritable
    //#unanalyzed(void save()): Effects-of-calling:java.util.logging.Logger:isLoggable
    //#unanalyzed(void save()): Effects-of-calling:java.util.logging.Logger:finest
    //#unanalyzed(void save()): Effects-of-calling:java.util.HashSet:iterator
    //#unanalyzed(void save()): Effects-of-calling:java.util.Map:clear
    //#unanalyzed(void save()): Effects-of-calling:java.io.IOException:getMessage
    //#unanalyzed(void save()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void save()): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void save()): Effects-of-calling:java.util.HashMap
    //#test_vector(void save()): java.util.Iterator:hasNext(...)@307: {1}, {0}
            for (Identity identity : identities) {
                identity.save();
            }
        }
    }
    //#IdentityManager.java:311: end of method: void com.dmdirc.config.IdentityManager.save()
    
    /**
     * Adds the specific identity to this manager.
     * @param identity The identity to be added
     */
    @Precondition("The specified Identity is not null")
    public static void addIdentity(final Identity identity) {
        Logger.assertTrue(identity != null);
    //#IdentityManager.java:319: method: void com.dmdirc.config.IdentityManager.addIdentity(Identity)
    //#IdentityManager.java:319: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void addIdentity(Identity)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
    //#input(void addIdentity(Identity)): "."._tainted
    //#input(void addIdentity(Identity)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(void addIdentity(Identity)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.checkIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(void addIdentity(Identity)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.DOMAIN
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void addIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void addIdentity(Identity)): identities
    //#input(void addIdentity(Identity)): identity
    //#input(void addIdentity(Identity)): identity.__Tag
    //#input(void addIdentity(Identity)): identity.file
    //#input(void addIdentity(Identity)): identity.listeners
    //#input(void addIdentity(Identity)): identity.myTarget
    //#input(void addIdentity(Identity)): identity.myTarget.__Tag
    //#input(void addIdentity(Identity)): identity.myTarget.data
    //#input(void addIdentity(Identity)): identity.myTarget.type
    //#input(void addIdentity(Identity)): managers
    //#pre[1] (void addIdentity(Identity)): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#pre[2] (void addIdentity(Identity)): (soft) identity != null
    //#pre[4] (void addIdentity(Identity)): (soft) identity.__Tag == com/dmdirc/config/Identity
    //#pre[5] (void addIdentity(Identity)): (soft) identity.file != null
    //#pre[6] (void addIdentity(Identity)): (soft) identity.listeners != null
    //#pre[7] (void addIdentity(Identity)): (soft) identity.myTarget != null
    //#pre[8] (void addIdentity(Identity)): (soft) identity.myTarget.__Tag == com/dmdirc/config/ConfigTarget
    //#pre[9] (void addIdentity(Identity)): (soft) init'ed(identity.myTarget.data)
    //#pre[10] (void addIdentity(Identity)): (soft) identity.myTarget.type != null
    //#presumption(void addIdentity(Identity)): java.util.Iterator:next(...).__Tag@330 == com/dmdirc/config/ConfigManager
    //#presumption(void addIdentity(Identity)): java.util.Iterator:next(...)@330 != null
    //#presumption(void addIdentity(Identity)): manager.listeners@330 != null
    //#presumption(void addIdentity(Identity)): manager.sources@330 != null
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:hasOption
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:getDomains
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:getOptions
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:equals
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:removeListener
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:getTarget
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:addListener
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Collections:sort
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void addIdentity(Identity)): Effects-of-calling:java.util.HashMap
    //#test_vector(void addIdentity(Identity)): java.util.Iterator:hasNext(...)@330: {1}, {0}
    //#test_vector(void addIdentity(Identity)): java.util.List:contains(...)@321: {0}, {1}
        
        if (identities.contains(identity)) {
            removeIdentity(identity);
        }
        
        synchronized (identities) {
            identities.add(identity);
        }
        
        synchronized (managers) {
            for (ConfigManager manager : managers) {
                manager.checkIdentity(identity);
            }
        }
    }
    //#IdentityManager.java:334: end of method: void com.dmdirc.config.IdentityManager.addIdentity(Identity)
    
    /**
     * Removes an identity from this manager.
     * @param identity The identity to be removed
     */
    @Precondition({
        "The specified Identity is not null",
        "The specified Identity has previously been added and not removed"
    })
    public static void removeIdentity(final Identity identity) {
        Logger.assertTrue(identity != null);
    //#IdentityManager.java:345: method: void com.dmdirc.config.IdentityManager.removeIdentity(Identity)
    //#IdentityManager.java:345: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void removeIdentity(Identity)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
    //#input(void removeIdentity(Identity)): "."._tainted
    //#input(void removeIdentity(Identity)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(void removeIdentity(Identity)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(void removeIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#input(void removeIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.getScope(Ljava/lang/String;Ljava/lang/String;)Lcom/dmdirc/config/Identity;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/ConfigManager.__Dispatch_Table.removeIdentity(Lcom/dmdirc/config/Identity;)V
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.DOMAIN
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getDomains()Ljava/util/Set;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getOption(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getOptions(Ljava/lang/String;)Ljava/util/Map;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(void removeIdentity(Identity)): com/dmdirc/config/Identity.__Dispatch_Table.removeListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(void removeIdentity(Identity)): identities
    //#input(void removeIdentity(Identity)): identity
    //#input(void removeIdentity(Identity)): identity.__Tag
    //#input(void removeIdentity(Identity)): identity.file
    //#input(void removeIdentity(Identity)): identity.listeners
    //#input(void removeIdentity(Identity)): identity.myTarget
    //#input(void removeIdentity(Identity)): managers
    //#input(void removeIdentity(Identity)): identities.__Lock
    //#input(void removeIdentity(Identity)): managers.__Lock
    //#pre[1] (void removeIdentity(Identity)): (soft) identity != null
    //#pre[3] (void removeIdentity(Identity)): (soft) identity.__Tag == com/dmdirc/config/Identity
    //#pre[4] (void removeIdentity(Identity)): (soft) identity.file != null
    //#pre[5] (void removeIdentity(Identity)): (soft) identity.listeners != null
    //#presumption(void removeIdentity(Identity)): java.util.Iterator:next(...).__Tag@353 == com/dmdirc/config/ConfigManager
    //#presumption(void removeIdentity(Identity)): java.util.Iterator:next(...)@353 != null
    //#presumption(void removeIdentity(Identity)): manager.listeners@353 != null
    //#presumption(void removeIdentity(Identity)): manager.sources@353 != null
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:hasOption
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:getDomains
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:getOptions
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:equals
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:removeListener
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomains
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.HashSet
    //#unanalyzed(void removeIdentity(Identity)): Effects-of-calling:java.util.HashMap
    //#test_vector(void removeIdentity(Identity)): java.util.Iterator:hasNext(...)@353: {1}, {0}
        Logger.assertTrue(identities.contains(identity));
    //#IdentityManager.java:346: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void removeIdentity(Identity)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
        
        synchronized (identities) {
            identities.remove(identity);
        }
        
        synchronized (managers) {
            for (ConfigManager manager : managers) {
                manager.removeIdentity(identity);
            }
        }
    }
    //#IdentityManager.java:357: end of method: void com.dmdirc.config.IdentityManager.removeIdentity(Identity)
    
    /**
     * Adds a config manager to this manager.
     * @param manager The ConfigManager to add
     */
    @Precondition("The specified ConfigManager is not null")
    public static void addConfigManager(final ConfigManager manager) {
        Logger.assertTrue(manager != null);
    //#IdentityManager.java:365: method: void com.dmdirc.config.IdentityManager.addConfigManager(ConfigManager)
    //#IdentityManager.java:365: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:assertTrue(bool)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: void addConfigManager(ConfigManager)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:assertTrue(bool)
    //#input(void addConfigManager(ConfigManager)): manager
    //#input(void addConfigManager(ConfigManager)): managers
    //#input(void addConfigManager(ConfigManager)): managers.__Lock
        
        synchronized (managers) {
            managers.add(manager);
        }
    }
    //#IdentityManager.java:370: end of method: void com.dmdirc.config.IdentityManager.addConfigManager(ConfigManager)
    
    /**
     * Retrieves a list of identities that serve as profiles.
     * @return A list of profiles
     */
    public static List<Identity> getProfiles() {
        final List<Identity> profiles = new ArrayList<Identity>();
    //#IdentityManager.java:377: method: List com.dmdirc.config.IdentityManager.getProfiles()
    //#input(List getProfiles()): com/dmdirc/config/Identity.PROFILE_DOMAIN
    //#input(List getProfiles()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(List getProfiles()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(List getProfiles()): com/dmdirc/config/Identity.__Dispatch_Table.hasOption(Ljava/lang/String;Ljava/lang/String;)Z
    //#input(List getProfiles()): com/dmdirc/config/Identity.__Dispatch_Table.isProfile()Z
    //#input(List getProfiles()): identities
    //#input(List getProfiles()): identities.__Lock
    //#output(List getProfiles()): new ArrayList(getProfiles#1) num objects
    //#output(List getProfiles()): return_value
    //#new obj(List getProfiles()): new ArrayList(getProfiles#1)
    //#presumption(List getProfiles()): identity.file@380 != null
    //#presumption(List getProfiles()): java.util.Iterator:next(...).__Tag@380 == com/dmdirc/config/Identity
    //#presumption(List getProfiles()): java.util.Iterator:next(...)@380 != null
    //#post(List getProfiles()): return_value == &new ArrayList(getProfiles#1)
    //#post(List getProfiles()): new ArrayList(getProfiles#1) num objects == 1
    //#unanalyzed(List getProfiles()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(List getProfiles()): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(List getProfiles()): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#test_vector(List getProfiles()): java.util.Iterator:hasNext(...)@380: {1}, {0}
        
        synchronized (identities) {
            for (Identity identity : identities) {
                if (identity.isProfile()) {
                    profiles.add(identity);
                }
            }
        }
        
        return profiles;
    //#IdentityManager.java:387: end of method: List com.dmdirc.config.IdentityManager.getProfiles()
    }
    
    /**
     * Retrieves a list of all config sources that should be applied to the
     * specified config manager.
     * 
     * @param manager The manager requesting sources
     * @return A list of all matching config sources
     */
    public static List<Identity> getSources(final ConfigManager manager) {
        
        final List<Identity> sources = new ArrayList<Identity>();
    //#IdentityManager.java:399: method: List com.dmdirc.config.IdentityManager.getSources(ConfigManager)
    //#input(List getSources(ConfigManager)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(List getSources(ConfigManager)): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(List getSources(ConfigManager)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(List getSources(ConfigManager)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(List getSources(ConfigManager)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(List getSources(ConfigManager)): identities
    //#input(List getSources(ConfigManager)): manager
    //#input(List getSources(ConfigManager)): manager.__Tag
    //#input(List getSources(ConfigManager)): manager.channel
    //#input(List getSources(ConfigManager)): manager.ircd
    //#input(List getSources(ConfigManager)): manager.network
    //#input(List getSources(ConfigManager)): manager.server
    //#input(List getSources(ConfigManager)): identities.__Lock
    //#output(List getSources(ConfigManager)): new ArrayList(getSources#1) num objects
    //#output(List getSources(ConfigManager)): return_value
    //#new obj(List getSources(ConfigManager)): new ArrayList(getSources#1)
    //#pre[1] (List getSources(ConfigManager)): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#pre[2] (List getSources(ConfigManager)): (soft) manager != null
    //#pre[3] (List getSources(ConfigManager)): (soft) manager.__Tag == com/dmdirc/config/ConfigManager
    //#pre[4] (List getSources(ConfigManager)): (soft) init'ed(manager.channel)
    //#pre[5] (List getSources(ConfigManager)): (soft) init'ed(manager.ircd)
    //#pre[6] (List getSources(ConfigManager)): (soft) init'ed(manager.network)
    //#pre[7] (List getSources(ConfigManager)): (soft) init'ed(manager.server)
    //#presumption(List getSources(ConfigManager)): identity.myTarget.__Tag@402 == com/dmdirc/config/ConfigTarget
    //#presumption(List getSources(ConfigManager)): identity.myTarget.type@402 != null
    //#presumption(List getSources(ConfigManager)): identity.myTarget@402 != null
    //#presumption(List getSources(ConfigManager)): java.util.Iterator:next(...).__Tag@402 == com/dmdirc/config/Identity
    //#presumption(List getSources(ConfigManager)): java.util.Iterator:next(...)@402 != null
    //#post(List getSources(ConfigManager)): return_value == &new ArrayList(getSources#1)
    //#post(List getSources(ConfigManager)): new ArrayList(getSources#1) num objects == 1
    //#unanalyzed(List getSources(ConfigManager)): Effects-of-calling:getTarget
    //#unanalyzed(List getSources(ConfigManager)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(List getSources(ConfigManager)): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#test_vector(List getSources(ConfigManager)): java.util.Iterator:hasNext(...)@402: {1}, {0}
        
        synchronized (identities) {
            for (Identity identity : identities) {
                if (manager.identityApplies(identity)) {
                    sources.add(identity);
                }
            }
        }
        
        Collections.sort(sources);
        
        return sources;
    //#IdentityManager.java:411: end of method: List com.dmdirc.config.IdentityManager.getSources(ConfigManager)
    }
    
    /**
     * Retrieves the global config manager.
     *
     * @return The global config manager
     */
    public static synchronized ConfigManager getGlobalConfig() {
        if (globalconfig == null) {
    //#IdentityManager.java:420: method: ConfigManager com.dmdirc.config.IdentityManager.getGlobalConfig()
    //#input(ConfigManager getGlobalConfig()): ""._tainted
    //#input(ConfigManager getGlobalConfig()): "<Unknown>"._tainted
    //#input(ConfigManager getGlobalConfig()): "@"._tainted
    //#input(ConfigManager getGlobalConfig()): __Class_Obj.__Lock
    //#input(ConfigManager getGlobalConfig()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1).length
    //#input(ConfigManager getGlobalConfig()): com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigManager$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigManager.__Descendant_Table[com/dmdirc/config/ConfigManager]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigManager.__Descendant_Table[others]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigManager.__Dispatch_Table.identityApplies(Lcom/dmdirc/config/Identity;)Z
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/Identity.__Dispatch_Table.addListener(Lcom/dmdirc/interfaces/ConfigChangeListener;)V
    //#input(ConfigManager getGlobalConfig()): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(ConfigManager getGlobalConfig()): globalconfig
    //#input(ConfigManager getGlobalConfig()): identities
    //#input(ConfigManager getGlobalConfig()): managers
    //#output(ConfigManager getGlobalConfig()): globalconfig
    //#output(ConfigManager getGlobalConfig()): java.lang.StringBuilder:toString(...)._tainted
    //#output(ConfigManager getGlobalConfig()): new ArrayList(getSources#1) num objects
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1) num objects
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).__Tag
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).channel
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).ircd
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).listeners
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).network
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).server
    //#output(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).sources
    //#output(ConfigManager getGlobalConfig()): new MapList(ConfigManager#1) num objects
    //#output(ConfigManager getGlobalConfig()): return_value
    //#new obj(ConfigManager getGlobalConfig()): java.lang.StringBuilder:toString(...)
    //#new obj(ConfigManager getGlobalConfig()): new ArrayList(getSources#1)
    //#new obj(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1)
    //#new obj(ConfigManager getGlobalConfig()): new MapList(ConfigManager#1)
    //#pre[4] (ConfigManager getGlobalConfig()): init'ed(globalconfig)
    //#pre[1] (ConfigManager getGlobalConfig()): (soft) init'ed(com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[0..4_294_967_295])
    //#post(ConfigManager getGlobalConfig()): globalconfig == One-of{old globalconfig, &new ConfigManager(getGlobalConfig#1)}
    //#post(ConfigManager getGlobalConfig()): globalconfig != null
    //#post(ConfigManager getGlobalConfig()): return_value == globalconfig
    //#post(ConfigManager getGlobalConfig()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(ConfigManager getGlobalConfig()): new ArrayList(getSources#1) num objects <= 1
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1) num objects <= 1
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).__Tag == com/dmdirc/config/ConfigManager
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).ircd == &""
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).network == &""
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).server == &""
    //#post(ConfigManager getGlobalConfig()): new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
    //#post(ConfigManager getGlobalConfig()): new MapList(ConfigManager#1) num objects <= 1
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:com.dmdirc.logger.Logger:assertTrue
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.List:add
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:getTarget
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.lang.String:equalsIgnoreCase
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:addListener
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:getSources
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:addConfigManager
    //#unanalyzed(ConfigManager getGlobalConfig()): Effects-of-calling:java.util.Collections:sort
    //#test_vector(ConfigManager getGlobalConfig()): globalconfig: Inverse{null}, Addr_Set{null}
            globalconfig = new ConfigManager("", "", "");
        }
        
        return globalconfig;
    //#IdentityManager.java:424: end of method: ConfigManager com.dmdirc.config.IdentityManager.getGlobalConfig()
    }
    
    /**
     * Retrieves the config for the specified channel@network. The config is
     * created if it doesn't exist.
     *
     * @param network The name of the network
     * @param channel The name of the channel
     * @return A config source for the channel
     */
    @Precondition({
        "The specified network is non-null and not empty",
        "The specified channel is non-null and not empty"
    })
    public static Identity getChannelConfig(final String network, final String channel) {
        if (network == null || network.isEmpty()) {
    //#IdentityManager.java:440: method: Identity com.dmdirc.config.IdentityManager.getChannelConfig(String, String)
    //#input(Identity getChannelConfig(String, String)): "@"._tainted
    //#input(Identity getChannelConfig(String, String)): "getChannelConfig called with null or empty channel&#10;&#10;Channel: "._tainted
    //#input(Identity getChannelConfig(String, String)): "getChannelConfig called with null or empty network&#10;&#10;Network: "._tainted
    //#input(Identity getChannelConfig(String, String)): channel
    //#input(Identity getChannelConfig(String, String)): channel._tainted
    //#input(Identity getChannelConfig(String, String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1).length
    //#input(Identity getChannelConfig(String, String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]
    //#input(Identity getChannelConfig(String, String)): com.dmdirc.logger.ErrorLevel.HIGH
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget$TYPE.CHANNEL
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getTypeName()Ljava/lang/String;
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setChannel(Ljava/lang/String;)V
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/Identity.DOMAIN
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(Identity getChannelConfig(String, String)): com/dmdirc/config/Identity.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Identity getChannelConfig(String, String)): identities
    //#input(Identity getChannelConfig(String, String)): network
    //#input(Identity getChannelConfig(String, String)): network._tainted
    //#input(Identity getChannelConfig(String, String)): identities.__Lock
    //#output(Identity getChannelConfig(String, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(Identity getChannelConfig(String, String)): new ConfigFile(Identity#2) num objects
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2) num objects
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).__Tag
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).channel
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).ircd
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).listeners
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).network
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).server
    //#output(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).sources
    //#output(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1) num objects
    //#output(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).__Tag
    //#output(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).data
    //#output(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).order
    //#output(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).type
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7) num objects
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).__Lock
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).__Tag
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).file
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).globalConfig
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).listeners
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).myTarget
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).needSave
    //#output(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).sources
    //#output(Identity getChannelConfig(String, String)): new MapList(ConfigManager#1) num objects
    //#output(Identity getChannelConfig(String, String)): new WeakList(Identity#1) num objects
    //#output(Identity getChannelConfig(String, String)): return_value
    //#new obj(Identity getChannelConfig(String, String)): java.lang.StringBuilder:toString(...)
    //#new obj(Identity getChannelConfig(String, String)): new ConfigFile(Identity#2)
    //#new obj(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2)
    //#new obj(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1)
    //#new obj(Identity getChannelConfig(String, String)): new Identity(createIdentity#7)
    //#new obj(Identity getChannelConfig(String, String)): new MapList(ConfigManager#1)
    //#new obj(Identity getChannelConfig(String, String)): new WeakList(Identity#1)
    //#pre[1] (Identity getChannelConfig(String, String)): channel != null
    //#pre[4] (Identity getChannelConfig(String, String)): network != null
    //#pre[3] (Identity getChannelConfig(String, String)): (soft) init'ed(com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295])
    //#presumption(Identity getChannelConfig(String, String)): init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    //#presumption(Identity getChannelConfig(String, String)): getTarget(...).__Tag@453 == com/dmdirc/config/ConfigTarget
    //#presumption(Identity getChannelConfig(String, String)): getTarget(...).data@453 != null
    //#presumption(Identity getChannelConfig(String, String)): identity.myTarget@453 != null
    //#presumption(Identity getChannelConfig(String, String)): java.lang.String:isEmpty(...)@440 == 0
    //#presumption(Identity getChannelConfig(String, String)): java.lang.String:isEmpty(...)@445 == 0
    //#presumption(Identity getChannelConfig(String, String)): java.util.Iterator:next(...).__Tag@453 == com/dmdirc/config/Identity
    //#presumption(Identity getChannelConfig(String, String)): java.util.Iterator:next(...)@453 != null
    //#post(Identity getChannelConfig(String, String)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(Identity getChannelConfig(String, String)): init'ed(return_value)
    //#post(Identity getChannelConfig(String, String)): new ConfigFile(Identity#2) num objects == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2) num objects == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).__Tag not init'ed, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).channel == null
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).ircd == null
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).listeners == null
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).network == null
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).server == null
    //#post(Identity getChannelConfig(String, String)): new ConfigManager(setOption#2).sources == null
    //#post(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1) num objects == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).__Tag not init'ed, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).data == null
    //#post(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).order == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new ConfigTarget(getTarget#1).type == null
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7) num objects == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).__Lock == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).__Tag not init'ed, if init'ed
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).file == null
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).globalConfig == null
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).listeners == null
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).myTarget == null
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).needSave == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new Identity(createIdentity#7).sources == null
    //#post(Identity getChannelConfig(String, String)): new MapList(ConfigManager#1) num objects == 0, if init'ed
    //#post(Identity getChannelConfig(String, String)): new WeakList(Identity#1) num objects == 0, if init'ed
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:hasOption
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:getDomains
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:getOptions
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:equals
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:removeListener
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:addListener
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:getOption
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:getSources
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:addConfigManager
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:addIdentity
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:write
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.io.File
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.io.File:exists
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.util.ConfigFile:addDomain
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:createIdentity
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(Identity getChannelConfig(String, String)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#test_vector(Identity getChannelConfig(String, String)): getTarget(...).type@453: Inverse{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)}, Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#8)}
    //#test_vector(Identity getChannelConfig(String, String)): java.lang.String:equalsIgnoreCase(...)@454: {0}, {1}
    //#test_vector(Identity getChannelConfig(String, String)): java.util.Iterator:hasNext(...)@453: {1}, {0}
            throw new IllegalArgumentException("getChannelConfig called "
                    + "with null or empty network\n\nNetwork: " + network);
        }
        
        if (channel == null || channel.isEmpty()) {
            throw new IllegalArgumentException("getChannelConfig called "
                    + "with null or empty channel\n\nChannel: " + channel);
        }        

        final String myTarget = (channel + "@" + network).toLowerCase();
        
        synchronized (identities) {
            for (Identity identity : identities) {
                if (identity.getTarget().getType() == ConfigTarget.TYPE.CHANNEL
                        && identity.getTarget().getData().equalsIgnoreCase(myTarget)) {
                    return identity;
                }
            }
        }
        
        // We need to create one
        final ConfigTarget target = new ConfigTarget();
        target.setChannel(myTarget);

        try {
            return Identity.buildIdentity(target);
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.HIGH, "Unable to create channel identity", ex);
    //#IdentityManager.java:468: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: Identity getChannelConfig(String, String)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
            return null;
    //#IdentityManager.java:469: end of method: Identity com.dmdirc.config.IdentityManager.getChannelConfig(String, String)
        }
    }
    
    /**
     * Retrieves the config for the specified network. The config is
     * created if it doesn't exist.
     *
     * @param network The name of the network
     * @return A config source for the network
     */
    @Precondition("The specified network is non-null and not empty")
    public static Identity getNetworkConfig(final String network) {
        if (network == null || network.isEmpty()) {
    //#IdentityManager.java:482: method: Identity com.dmdirc.config.IdentityManager.getNetworkConfig(String)
    //#input(Identity getNetworkConfig(String)): "getNetworkConfig called with null or empty network&#10;&#10;Network:"._tainted
    //#input(Identity getNetworkConfig(String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1).length
    //#input(Identity getNetworkConfig(String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]
    //#input(Identity getNetworkConfig(String)): com.dmdirc.logger.ErrorLevel.HIGH
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget$TYPE.NETWORK
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getTypeName()Ljava/lang/String;
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setNetwork(Ljava/lang/String;)V
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/Identity.DOMAIN
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(Identity getNetworkConfig(String)): com/dmdirc/config/Identity.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Identity getNetworkConfig(String)): identities
    //#input(Identity getNetworkConfig(String)): network
    //#input(Identity getNetworkConfig(String)): network._tainted
    //#input(Identity getNetworkConfig(String)): identities.__Lock
    //#output(Identity getNetworkConfig(String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(Identity getNetworkConfig(String)): new ConfigFile(Identity#2) num objects
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2) num objects
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).__Tag
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).channel
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).ircd
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).listeners
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).network
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).server
    //#output(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).sources
    //#output(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1) num objects
    //#output(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).__Tag
    //#output(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).data
    //#output(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).order
    //#output(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).type
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7) num objects
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).__Lock
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).__Tag
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).file
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).globalConfig
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).listeners
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).myTarget
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).needSave
    //#output(Identity getNetworkConfig(String)): new Identity(createIdentity#7).sources
    //#output(Identity getNetworkConfig(String)): new MapList(ConfigManager#1) num objects
    //#output(Identity getNetworkConfig(String)): new WeakList(Identity#1) num objects
    //#output(Identity getNetworkConfig(String)): return_value
    //#new obj(Identity getNetworkConfig(String)): java.lang.StringBuilder:toString(...)
    //#new obj(Identity getNetworkConfig(String)): new ConfigFile(Identity#2)
    //#new obj(Identity getNetworkConfig(String)): new ConfigManager(setOption#2)
    //#new obj(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1)
    //#new obj(Identity getNetworkConfig(String)): new Identity(createIdentity#7)
    //#new obj(Identity getNetworkConfig(String)): new MapList(ConfigManager#1)
    //#new obj(Identity getNetworkConfig(String)): new WeakList(Identity#1)
    //#pre[2] (Identity getNetworkConfig(String)): network != null
    //#pre[1] (Identity getNetworkConfig(String)): (soft) init'ed(com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295])
    //#presumption(Identity getNetworkConfig(String)): init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    //#presumption(Identity getNetworkConfig(String)): getTarget(...).__Tag@490 == com/dmdirc/config/ConfigTarget
    //#presumption(Identity getNetworkConfig(String)): getTarget(...).data@490 != null
    //#presumption(Identity getNetworkConfig(String)): identity.myTarget@490 != null
    //#presumption(Identity getNetworkConfig(String)): java.lang.String:isEmpty(...)@482 == 0
    //#presumption(Identity getNetworkConfig(String)): java.util.Iterator:next(...).__Tag@490 == com/dmdirc/config/Identity
    //#presumption(Identity getNetworkConfig(String)): java.util.Iterator:next(...)@490 != null
    //#post(Identity getNetworkConfig(String)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(Identity getNetworkConfig(String)): init'ed(return_value)
    //#post(Identity getNetworkConfig(String)): new ConfigFile(Identity#2) num objects == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2) num objects == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).__Tag not init'ed, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).channel == null
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).ircd == null
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).listeners == null
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).network == null
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).server == null
    //#post(Identity getNetworkConfig(String)): new ConfigManager(setOption#2).sources == null
    //#post(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1) num objects == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).__Tag not init'ed, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).data == null
    //#post(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).order == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new ConfigTarget(getTarget#1).type == null
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7) num objects == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).__Lock == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).__Tag not init'ed, if init'ed
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).file == null
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).globalConfig == null
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).listeners == null
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).myTarget == null
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).needSave == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new Identity(createIdentity#7).sources == null
    //#post(Identity getNetworkConfig(String)): new MapList(ConfigManager#1) num objects == 0, if init'ed
    //#post(Identity getNetworkConfig(String)): new WeakList(Identity#1) num objects == 0, if init'ed
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:hasOption
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:getDomains
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:getOptions
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:equals
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:removeListener
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:addListener
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:getOption
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:getSources
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:addConfigManager
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:addIdentity
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:write
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.io.File
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.io.File:exists
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:addDomain
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:createIdentity
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(Identity getNetworkConfig(String)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#test_vector(Identity getNetworkConfig(String)): getTarget(...).type@490: Inverse{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)}, Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#6)}
    //#test_vector(Identity getNetworkConfig(String)): java.lang.String:equalsIgnoreCase(...)@491: {0}, {1}
    //#test_vector(Identity getNetworkConfig(String)): java.util.Iterator:hasNext(...)@490: {1}, {0}
            throw new IllegalArgumentException("getNetworkConfig called "
                    + "with null or empty network\n\nNetwork:" + network);
        }

        final String myTarget = network.toLowerCase();
        
        synchronized (identities) {
            for (Identity identity : identities) {
                if (identity.getTarget().getType() == ConfigTarget.TYPE.NETWORK
                        && identity.getTarget().getData().equalsIgnoreCase(myTarget)) {
                    return identity;
                }
            }
        }
        
        // We need to create one
        final ConfigTarget target = new ConfigTarget();
        target.setNetwork(myTarget);
        
        try {
            return Identity.buildIdentity(target);
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.HIGH, "Unable to create network identity", ex);
    //#IdentityManager.java:505: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: Identity getNetworkConfig(String)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
            return null;
    //#IdentityManager.java:506: end of method: Identity com.dmdirc.config.IdentityManager.getNetworkConfig(String)
        }
    }
    
    /**
     * Retrieves the config for the specified server. The config is
     * created if it doesn't exist.
     * 
     * @param server The name of the server
     * @return A config source for the server
     */
    @Precondition("The specified server is non-null and not empty")
    public static Identity getServerConfig(final String server) {
        if (server == null || server.isEmpty()) {
    //#IdentityManager.java:519: method: Identity com.dmdirc.config.IdentityManager.getServerConfig(String)
    //#input(Identity getServerConfig(String)): "getServerConfig called with null or empty server&#10;&#10;Server: "._tainted
    //#input(Identity getServerConfig(String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1).length
    //#input(Identity getServerConfig(String)): com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295]
    //#input(Identity getServerConfig(String)): com.dmdirc.logger.ErrorLevel.HIGH
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget$1.$SwitchMap$com$dmdirc$config$ConfigTarget$TYPE
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget$TYPE.GLOBAL
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget$TYPE.SERVER
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[com/dmdirc/config/ConfigTarget]
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Descendant_Table[others]
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getData()Ljava/lang/String;
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getType()Lcom/dmdirc/config/ConfigTarget$TYPE;
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.getTypeName()Ljava/lang/String;
    //#input(Identity getServerConfig(String)): com/dmdirc/config/ConfigTarget.__Dispatch_Table.setServer(Ljava/lang/String;)V
    //#input(Identity getServerConfig(String)): com/dmdirc/config/Identity.DOMAIN
    //#input(Identity getServerConfig(String)): com/dmdirc/config/Identity.__Descendant_Table[com/dmdirc/config/Identity]
    //#input(Identity getServerConfig(String)): com/dmdirc/config/Identity.__Descendant_Table[others]
    //#input(Identity getServerConfig(String)): com/dmdirc/config/Identity.__Dispatch_Table.getTarget()Lcom/dmdirc/config/ConfigTarget;
    //#input(Identity getServerConfig(String)): com/dmdirc/config/Identity.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Identity getServerConfig(String)): identities
    //#input(Identity getServerConfig(String)): identities.__Lock
    //#input(Identity getServerConfig(String)): server
    //#input(Identity getServerConfig(String)): server._tainted
    //#output(Identity getServerConfig(String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(Identity getServerConfig(String)): new ConfigFile(Identity#2) num objects
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2) num objects
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).__Tag
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).channel
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).ircd
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).listeners
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).network
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).server
    //#output(Identity getServerConfig(String)): new ConfigManager(setOption#2).sources
    //#output(Identity getServerConfig(String)): new ConfigTarget(getTarget#1) num objects
    //#output(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).__Tag
    //#output(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).data
    //#output(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).order
    //#output(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).type
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7) num objects
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).__Lock
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).__Tag
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).file
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).globalConfig
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).listeners
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).myTarget
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).needSave
    //#output(Identity getServerConfig(String)): new Identity(createIdentity#7).sources
    //#output(Identity getServerConfig(String)): new MapList(ConfigManager#1) num objects
    //#output(Identity getServerConfig(String)): new WeakList(Identity#1) num objects
    //#output(Identity getServerConfig(String)): return_value
    //#new obj(Identity getServerConfig(String)): java.lang.StringBuilder:toString(...)
    //#new obj(Identity getServerConfig(String)): new ConfigFile(Identity#2)
    //#new obj(Identity getServerConfig(String)): new ConfigManager(setOption#2)
    //#new obj(Identity getServerConfig(String)): new ConfigTarget(getTarget#1)
    //#new obj(Identity getServerConfig(String)): new Identity(createIdentity#7)
    //#new obj(Identity getServerConfig(String)): new MapList(ConfigManager#1)
    //#new obj(Identity getServerConfig(String)): new WeakList(Identity#1)
    //#pre[2] (Identity getServerConfig(String)): server != null
    //#pre[1] (Identity getServerConfig(String)): (soft) init'ed(com.dmdirc.config.ConfigTarget$1__static_init.new int[](ConfigTarget$1__static_init#1)[0..4_294_967_295])
    //#presumption(Identity getServerConfig(String)): init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    //#presumption(Identity getServerConfig(String)): getTarget(...).__Tag@527 == com/dmdirc/config/ConfigTarget
    //#presumption(Identity getServerConfig(String)): getTarget(...).data@527 != null
    //#presumption(Identity getServerConfig(String)): identity.myTarget@527 != null
    //#presumption(Identity getServerConfig(String)): java.lang.String:isEmpty(...)@519 == 0
    //#presumption(Identity getServerConfig(String)): java.util.Iterator:next(...).__Tag@527 == com/dmdirc/config/Identity
    //#presumption(Identity getServerConfig(String)): java.util.Iterator:next(...)@527 != null
    //#post(Identity getServerConfig(String)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(Identity getServerConfig(String)): init'ed(return_value)
    //#post(Identity getServerConfig(String)): new ConfigFile(Identity#2) num objects == 0, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2) num objects == 0, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).__Tag not init'ed, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).channel == null
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).ircd == null
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).listeners == null
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).network == null
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).server == null
    //#post(Identity getServerConfig(String)): new ConfigManager(setOption#2).sources == null
    //#post(Identity getServerConfig(String)): new ConfigTarget(getTarget#1) num objects == 0, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).__Tag not init'ed, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).data == null
    //#post(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).order == 0, if init'ed
    //#post(Identity getServerConfig(String)): new ConfigTarget(getTarget#1).type == null
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7) num objects == 0, if init'ed
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).__Lock == 0, if init'ed
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).__Tag not init'ed, if init'ed
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).file == null
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).globalConfig == null
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).listeners == null
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).myTarget == null
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).needSave == 0, if init'ed
    //#post(Identity getServerConfig(String)): new Identity(createIdentity#7).sources == null
    //#post(Identity getServerConfig(String)): new MapList(ConfigManager#1) num objects == 0, if init'ed
    //#post(Identity getServerConfig(String)): new WeakList(Identity#1) num objects == 0, if init'ed
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.MapList:containsKey
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.MapList:get
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.List:addAll
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.interfaces.ConfigChangeListener:configChanged
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:hasOption
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:getDomains
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.List:contains
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Set:iterator
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:getOptions
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:keySet
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:equals
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:removeListener
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.List:remove
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:addListener
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.ArrayList:iterator
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:read
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:getKeyDomain
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:isKeyDomain
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:getOption
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.logging.Logger:finer
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:getSources
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.config.ConfigSource
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.MapList
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:addConfigManager
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.Integer:intValue
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.Integer:valueOf
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.IllegalArgumentException
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.String:trim
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.Integer:parseInt
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.WeakList
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:setAutomake
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:addIdentity
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map:entrySet
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map$Entry:getKey
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.Map$Entry:getValue
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.io.FileInputStream
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:write
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.String:isEmpty
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.System:getProperty
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.Main:getConfigDir
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.lang.String:replaceAll
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.io.File
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.io.File:exists
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.util.ConfigFile:addDomain
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:java.util.HashMap
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:createIdentity
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.logger.Logger:appError
    //#unanalyzed(Identity getServerConfig(String)): Effects-of-calling:com.dmdirc.config.ConfigTarget$TYPE:ordinal
    //#test_vector(Identity getServerConfig(String)): getTarget(...).type@527: Inverse{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)}, Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#7)}
    //#test_vector(Identity getServerConfig(String)): java.lang.String:equalsIgnoreCase(...)@528: {0}, {1}
    //#test_vector(Identity getServerConfig(String)): java.util.Iterator:hasNext(...)@527: {1}, {0}
            throw new IllegalArgumentException("getServerConfig called "
                    + "with null or empty server\n\nServer: " + server);
        }
        
        final String myTarget = server.toLowerCase();
        
        synchronized (identities) {
            for (Identity identity : identities) {
                if (identity.getTarget().getType() == ConfigTarget.TYPE.SERVER
                        && identity.getTarget().getData().equalsIgnoreCase(myTarget)) {
                    return identity;
                }
            }
        }
        
        // We need to create one
        final ConfigTarget target = new ConfigTarget();
        target.setServer(myTarget);
        
        try {
            return Identity.buildIdentity(target);
        } catch (IOException ex) {
            Logger.userError(ErrorLevel.HIGH, "Unable to create network identity", ex);
    //#IdentityManager.java:542: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.config.IdentityManager
    //#    method: Identity getServerConfig(String)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String, Throwable)
            return null;
    //#IdentityManager.java:543: end of method: Identity com.dmdirc.config.IdentityManager.getServerConfig(String)
        }
    }    
    
}
    //#IdentityManager.java:: end of class: com.dmdirc.config.IdentityManager
