//# 3 errors, 378 messages
//#
/*
    //#ColourManager.java:1:1: class: com.dmdirc.ui.messages.ColourManager$1
    //#ColourManager.java:1:1: method: com.dmdirc.ui.messages.ColourManager$1.com.dmdirc.ui.messages.ColourManager$1__static_init
    //#ColourManager.java:1:1: class: com.dmdirc.ui.messages.ColourManager
 * 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.ui.messages;

import com.dmdirc.config.IdentityManager;
import com.dmdirc.interfaces.ConfigChangeListener;
import com.dmdirc.logger.ErrorLevel;
import com.dmdirc.logger.Logger;

import java.awt.Color;
import java.util.HashMap;
import java.util.Map;

/**
 * The colour manager manages the colour scheme for the IRC client. It allows
 * other components to use IRC colour codes instead of absolute colours.
 * @author chris
 */
public final class ColourManager {
    //#ColourManager.java:39: method: void com.dmdirc.ui.messages.ColourManager.access$000()
    //#input(void access$000()): "#"._tainted
    //#input(void access$000()): "Invalid colour #"._tainted
    //#input(void access$000()): COLOUR_CACHE
    //#input(void access$000()): DEFAULT_COLOURS
    //#input(void access$000()): IRC_COLOURS
    //#input(void access$000()): IRC_COLOURS.length
    //#input(void access$000()): IRC_COLOURS[0..4_294_967_295]
    //#input(void access$000()): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void access$000()): java.awt.Color.WHITE
    //#input(void access$000()): DEFAULT_COLOURS.length
    //#input(void access$000()): DEFAULT_COLOURS[0..4_294_967_295]
    //#output(void access$000()): IRC_COLOURS[0..4_294_967_295]
    //#pre[1] (void access$000()): (soft) IRC_COLOURS != null
    //#pre[2] (void access$000()): (soft) IRC_COLOURS.length >= 16
    //#pre[3] (void access$000()): (soft) init'ed(DEFAULT_COLOURS[0..4_294_967_295])
    //#pre[4] (void access$000()): (soft) IRC_COLOURS[0..4_294_967_295] != null
    //#post(void access$000()): init'ed(IRC_COLOURS[0..4_294_967_295])
    //#unanalyzed(void access$000()): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(void access$000()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void access$000()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void access$000()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void access$000()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void access$000()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void access$000()): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(void access$000()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void access$000()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void access$000()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void access$000()): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void access$000()): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionColour
    //#unanalyzed(void access$000()): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void access$000()): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void access$000()): Effects-of-calling:java.awt.Color:equals
    //#ColourManager.java:39: end of method: void com.dmdirc.ui.messages.ColourManager.access$000()
    
    /** Colour cache. */
    private static final Map<String, Color> COLOUR_CACHE = new HashMap<String, Color>();
    //#ColourManager.java:42: method: com.dmdirc.ui.messages.ColourManager.com.dmdirc.ui.messages.ColourManager__static_init
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.BLACK
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.BLUE
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.GRAY
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.LIGHT_GRAY
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.RED
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.WHITE
    //#input(com.dmdirc.ui.messages.ColourManager__static_init): java.awt.Color.YELLOW
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): COLOUR_CACHE
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): IRC_COLOURS
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): __Descendant_Table[com/dmdirc/ui/messages/ColourManager]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#10) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#11) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#3) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#4) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#5) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#6) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#7) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#8) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#9) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#12) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): IRC_COLOURS.length
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): IRC_COLOURS[0..4_294_967_295]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#2) num objects
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS.length
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[0]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[10]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[11]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[12]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[13]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[14]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[15]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[16..4_294_967_295]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[1]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[2]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[3]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[4]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[5]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[6]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[7]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[8]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[9]
    //#output(com.dmdirc.ui.messages.ColourManager__static_init): new HashMap(ColourManager__static_init#1) num objects
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#10)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#11)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#3)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#4)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#5)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#6)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#7)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#8)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#9)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#12)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#2)
    //#new obj(com.dmdirc.ui.messages.ColourManager__static_init): new HashMap(ColourManager__static_init#1)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): com.dmdirc.config.IdentityManager:getGlobalConfig(...)@198 != null
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.BLACK)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.BLUE)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.GRAY)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.LIGHT_GRAY)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.RED)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.WHITE)
    //#presumption(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(java.awt.Color.YELLOW)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): COLOUR_CACHE == &new HashMap(ColourManager__static_init#1)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS == &new Color[](ColourManager__static_init#2)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): IRC_COLOURS == &new Color[](ColourManager__static_init#12)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): __Descendant_Table[com/dmdirc/ui/messages/ColourManager] == &__Dispatch_Table
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#10) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#11) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#3) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#4) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#5) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#6) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#7) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#8) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color(ColourManager__static_init#9) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#12) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new Color[](ColourManager__static_init#2) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): new HashMap(ColourManager__static_init#1) num objects == 1
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): IRC_COLOURS.length == 16
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS.length == 16
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): possibly_updated(IRC_COLOURS[0..4_294_967_295])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[0] == java.awt.Color.WHITE
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[0])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[10] == &new Color(ColourManager__static_init#9)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[11] == &new Color(ColourManager__static_init#10)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[12] == java.awt.Color.BLUE
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[12])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[13] == &new Color(ColourManager__static_init#11)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[14] == java.awt.Color.GRAY
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[14])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[15] == java.awt.Color.LIGHT_GRAY
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[15])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[16..4_294_967_295] == undefined
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[16..4_294_967_295] == null
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[1] == java.awt.Color.BLACK
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[1])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[2] == &new Color(ColourManager__static_init#3)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[3] == &new Color(ColourManager__static_init#4)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[4] == java.awt.Color.RED
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[4])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[5] == &new Color(ColourManager__static_init#5)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[6] == &new Color(ColourManager__static_init#6)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[7] == &new Color(ColourManager__static_init#7)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[8] == java.awt.Color.YELLOW
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(DEFAULT_COLOURS[8])
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): DEFAULT_COLOURS[9] == &new Color(ColourManager__static_init#8)
    //#post(com.dmdirc.ui.messages.ColourManager__static_init): init'ed(COLOUR_CACHE)
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.util.Map:get
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.util.Map:put
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionColour
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(com.dmdirc.ui.messages.ColourManager__static_init): Effects-of-calling:java.awt.Color:equals
    
    /** Default colours used for the standard 16 IRC colours. */
    private static final Color[] DEFAULT_COLOURS = {
        Color.WHITE, Color.BLACK, new Color(0, 0, 127), new Color(0, 141, 0),
        Color.RED, new Color(127, 0, 0), new Color(160, 15, 160), new Color(252, 127, 0),
        Color.YELLOW, new Color(0, 252, 0), new Color(0, 128, 128), new Color(0, 255, 255),
        Color.BLUE, new Color(255, 0, 255), Color.GRAY, Color.LIGHT_GRAY,
    };
    
    /** Actual colours we're using for the 16 IRC colours. */
    private static Color[] IRC_COLOURS = DEFAULT_COLOURS.clone();
       
    /** Creates a new instance of ColourManager. */
    private ColourManager() {
    //#ColourManager.java:56: method: void com.dmdirc.ui.messages.ColourManager.com.dmdirc.ui.messages.ColourManager()
    }
    //#ColourManager.java:57: end of method: void com.dmdirc.ui.messages.ColourManager.com.dmdirc.ui.messages.ColourManager()
    
    /**
     * Initialises the IRC_COLOURS array.
     */
    private static void initColours() {        
        for (int i = 0; i < 16; i++) {
    //#ColourManager.java:63: method: void com.dmdirc.ui.messages.ColourManager.initColours()
    //#input(void initColours()): "#"._tainted
    //#input(void initColours()): "Invalid colour #"._tainted
    //#input(void initColours()): COLOUR_CACHE
    //#input(void initColours()): DEFAULT_COLOURS
    //#input(void initColours()): IRC_COLOURS
    //#input(void initColours()): IRC_COLOURS.length
    //#input(void initColours()): IRC_COLOURS[0..4_294_967_295]
    //#input(void initColours()): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void initColours()): java.awt.Color.WHITE
    //#input(void initColours()): DEFAULT_COLOURS.length
    //#input(void initColours()): DEFAULT_COLOURS[0..4_294_967_295]
    //#output(void initColours()): IRC_COLOURS[0..4_294_967_295]
    //#pre[1] (void initColours()): (soft) IRC_COLOURS != null
    //#pre[2] (void initColours()): (soft) IRC_COLOURS.length >= 16
    //#pre[3] (void initColours()): (soft) init'ed(DEFAULT_COLOURS[0..4_294_967_295])
    //#pre[4] (void initColours()): (soft) IRC_COLOURS[0..4_294_967_295] != null
    //#presumption(void initColours()): com.dmdirc.config.IdentityManager:getGlobalConfig(...)@64 != null
    //#presumption(void initColours()): com.dmdirc.config.IdentityManager:getGlobalConfig(...)@65 != null
    //#post(void initColours()): init'ed(IRC_COLOURS[0..4_294_967_295])
    //#unanalyzed(void initColours()): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void initColours()): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void initColours()): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void initColours()): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void initColours()): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void initColours()): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(void initColours()): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void initColours()): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void initColours()): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#test_vector(void initColours()): com.dmdirc.config.ConfigManager:hasOptionColour(...)@64: {0}, {1}
    //#test_vector(void initColours()): java.awt.Color:equals(...)@68: {1}, {0}
            if (IdentityManager.getGlobalConfig().hasOptionColour("colour", String.valueOf(i))) {
    //#ColourManager.java:64: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: void initColours()
    //#    unanalyzed callee: ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#ColourManager.java:64: Warning: method not available - call not analyzed
    //#    call on bool com.dmdirc.config.ConfigManager:hasOptionColour(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: void initColours()
    //#    unanalyzed callee: bool com.dmdirc.config.ConfigManager:hasOptionColour(String, String)
                IRC_COLOURS[i] = getColour(IdentityManager.getGlobalConfig()
    //#ColourManager.java:65: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: void initColours()
    //#    unanalyzed callee: ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#ColourManager.java:65: Warning: method not available - call not analyzed
    //#    call on String com.dmdirc.config.ConfigManager:getOption(String, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: void initColours()
    //#    unanalyzed callee: String com.dmdirc.config.ConfigManager:getOption(String, String)
                        .getOption("colour", String.valueOf(i)));
                COLOUR_CACHE.remove(String.valueOf(i));
            } else if (!IRC_COLOURS[i].equals(DEFAULT_COLOURS[i])) {
                IRC_COLOURS[i] = DEFAULT_COLOURS[i];
                COLOUR_CACHE.remove(String.valueOf(i));
            } 
        }
    }
    //#ColourManager.java:73: end of method: void com.dmdirc.ui.messages.ColourManager.initColours()
    
    /**
     * Parses either a 1-2 digit IRC colour, or a 6 digit hex colour from the
     * target string, and returns the corresponding colour. Returns the
     * specified fallback colour if the spec can't be parsed.
     * @param spec The string to parse
     * @param fallback The colour to use if the spec isn't valid
     * @return A colour representation of the specified string
     */
    public static Color parseColour(final String spec, final Color fallback) {
        if (COLOUR_CACHE.containsKey(spec)) {
    //#ColourManager.java:84: method: Color com.dmdirc.ui.messages.ColourManager.parseColour(String, Color)
    //#input(Color parseColour(String, Color)): "#"._tainted
    //#input(Color parseColour(String, Color)): "Invalid colour #"._tainted
    //#input(Color parseColour(String, Color)): "Invalid colour format: "._tainted
    //#input(Color parseColour(String, Color)): "Invalid colour: "._tainted
    //#input(Color parseColour(String, Color)): COLOUR_CACHE
    //#input(Color parseColour(String, Color)): IRC_COLOURS
    //#input(Color parseColour(String, Color)): IRC_COLOURS.length
    //#input(Color parseColour(String, Color)): IRC_COLOURS[0..4_294_967_295]
    //#input(Color parseColour(String, Color)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Color parseColour(String, Color)): fallback
    //#input(Color parseColour(String, Color)): java.awt.Color.WHITE
    //#input(Color parseColour(String, Color)): spec
    //#input(Color parseColour(String, Color)): spec._tainted
    //#output(Color parseColour(String, Color)): return_value
    //#pre[1] (Color parseColour(String, Color)): (soft) IRC_COLOURS != null
    //#pre[2] (Color parseColour(String, Color)): (soft) IRC_COLOURS.length >= 1
    //#pre[3] (Color parseColour(String, Color)): (soft) init'ed(IRC_COLOURS[0..4_294_967_295])
    //#presumption(Color parseColour(String, Color)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#post(Color parseColour(String, Color)): init'ed(return_value)
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Color parseColour(String, Color)): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#test_vector(Color parseColour(String, Color)): spec: Addr_Set{null}, Inverse{null}
    //#test_vector(Color parseColour(String, Color)): java.lang.Integer:parseInt(...)@95: {16..4_294_967_295}, {0..15}
    //#test_vector(Color parseColour(String, Color)): java.lang.String:length(...)@103: {0..5, 7..4_294_967_295}, {6}
    //#test_vector(Color parseColour(String, Color)): java.lang.String:length(...)@91: {3..4_294_967_295}, {0..2}
    //#test_vector(Color parseColour(String, Color)): java.util.Map:containsKey(...)@84: {0}, {1}
            return COLOUR_CACHE.get(spec);
        }
        
        Color res = null;
        
        if (spec != null) {
            if (spec.length() < 3) {
                int num;
                
                try {
                    num = Integer.parseInt(spec);
                } catch (NumberFormatException ex) {
                    num = -1;
                }
                
                if (num >= 0 && num <= 15) {
                    res = getColour(num);
    //#ColourManager.java:101: ?precondition failure
    //#    com/dmdirc/ui/messages/ColourManager.getColour: (soft) IRC_COLOURS.length - number in {-4_294_967_295..-16, 1..+Inf}
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color parseColour(String, Color)
    //#    basic block: bb_10
    //#    assertion: (soft) num - IRC_COLOURS.length in {-Inf..-1, 16..4_294_967_295}
    //#    callee: Color com/dmdirc/ui/messages/ColourManager.getColour(int)
    //#    callee assertion: (soft) IRC_COLOURS.length - number in {-4_294_967_295..-16, 1..+Inf}
    //#    callee file: ColourManager.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 162
    //#    VN: -(num - IRC_COLOURS.length)
    //#    Expected: {-4_294_967_295..-16, 1..+Inf}
    //#    Bad: {-14..0}
    //#    Attribs:  Int  Bad overlaps +/-1000  Soft  Bad > Exp
                }
            } else if (spec.length() == 6) {
                res = getColour(spec);
            }
        }
        
        if (res == null) {
            Logger.userError(ErrorLevel.MEDIUM, "Invalid colour format: " + spec);
    //#ColourManager.java:109: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color parseColour(String, Color)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            res = fallback;
        } else {
            COLOUR_CACHE.put(spec, res);
        }
        
        return res;
    //#ColourManager.java:115: end of method: Color com.dmdirc.ui.messages.ColourManager.parseColour(String, Color)
    }
    
    /**
     * Parses either a 1-2 digit IRC colour, or a 6 digit hex colour from the
     * target string, and returns the corresponding colour. Returns white if the
     * spec can't be parsed.
     * @param spec The string to parse
     * @return A colour representation of the specified string
     */
    public static Color parseColour(final String spec) {
        return parseColour(spec, Color.WHITE);
    //#ColourManager.java:126: method: Color com.dmdirc.ui.messages.ColourManager.parseColour(String)
    //#input(Color parseColour(String)): "#"._tainted
    //#input(Color parseColour(String)): "Invalid colour #"._tainted
    //#input(Color parseColour(String)): "Invalid colour format: "._tainted
    //#input(Color parseColour(String)): "Invalid colour: "._tainted
    //#input(Color parseColour(String)): COLOUR_CACHE
    //#input(Color parseColour(String)): IRC_COLOURS
    //#input(Color parseColour(String)): IRC_COLOURS.length
    //#input(Color parseColour(String)): IRC_COLOURS[0..4_294_967_295]
    //#input(Color parseColour(String)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Color parseColour(String)): java.awt.Color.WHITE
    //#input(Color parseColour(String)): spec
    //#input(Color parseColour(String)): spec._tainted
    //#output(Color parseColour(String)): return_value
    //#pre[1] (Color parseColour(String)): (soft) IRC_COLOURS != null
    //#pre[2] (Color parseColour(String)): (soft) IRC_COLOURS.length >= 1
    //#pre[3] (Color parseColour(String)): (soft) init'ed(IRC_COLOURS[0..4_294_967_295])
    //#presumption(Color parseColour(String)): init'ed(java.awt.Color.WHITE)
    //#post(Color parseColour(String)): init'ed(return_value)
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.String:length
    //#unanalyzed(Color parseColour(String)): Effects-of-calling:java.lang.Integer:parseInt
    //#ColourManager.java:126: end of method: Color com.dmdirc.ui.messages.ColourManager.parseColour(String)
    }
    
    /**
     * Returns a Color object that corresponds to the specified 6-digit hex
     * string. If the string is invalid, logs a warning and returns white.
     * @param hex The hex string to convert into a Color
     * @return A Color object corresponding to the hex input
     */
    public static Color getColour(final String hex) {
        if (COLOUR_CACHE.containsKey(hex)) {
    //#ColourManager.java:136: method: Color com.dmdirc.ui.messages.ColourManager.getColour(String)
    //#input(Color getColour(String)): "#"._tainted
    //#input(Color getColour(String)): "Invalid colour #"._tainted
    //#input(Color getColour(String)): COLOUR_CACHE
    //#input(Color getColour(String)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Color getColour(String)): hex
    //#input(Color getColour(String)): hex._tainted
    //#input(Color getColour(String)): java.awt.Color.WHITE
    //#output(Color getColour(String)): return_value
    //#presumption(Color getColour(String)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#presumption(Color getColour(String)): init'ed(java.awt.Color.WHITE)
    //#post(Color getColour(String)): init'ed(return_value)
    //#test_vector(Color getColour(String)): java.util.Map:containsKey(...)@136: {0}, {1}
            return COLOUR_CACHE.get(hex);
        }
        
        Color colour = null;
    //#ColourManager.java:140: Warning: unused assignment
    //#    Unused assignment into colour
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color getColour(String)
    //#    Attribs:  Uncertain
        
        try {
            colour = Color.decode("#" + hex);
        } catch (NumberFormatException ex) {
            Logger.userError(ErrorLevel.MEDIUM, "Invalid colour #" + hex);
    //#ColourManager.java:145: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color getColour(String)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            return Color.WHITE;
        }
        
        COLOUR_CACHE.put(hex, colour);
        return colour;
    //#ColourManager.java:150: end of method: Color com.dmdirc.ui.messages.ColourManager.getColour(String)
    }
    
    /**
     * Returns a Color object that represents the colour associated with the
     * specified IRC colour code. If the code is not found, a warning is logged
     * with the client's Logger class, and white is returned.
     * @param number The IRC colour code to look up
     * @return The corresponding Color object
     */
    public static Color getColour(final int number) {
        
        if (number >= 0 && number <= 15) {
    //#ColourManager.java:162: method: Color com.dmdirc.ui.messages.ColourManager.getColour(int)
    //#ColourManager.java:162: Warning: suspicious precondition
    //#    The precondition for IRC_COLOURS.length - number is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color getColour(int)
    //#    suspicious precondition index: [3]
    //#    Attribs:  Soft
    //#input(Color getColour(int)): "Invalid colour: "._tainted
    //#input(Color getColour(int)): IRC_COLOURS
    //#input(Color getColour(int)): IRC_COLOURS.length
    //#input(Color getColour(int)): IRC_COLOURS[0..4_294_967_295]
    //#input(Color getColour(int)): com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(Color getColour(int)): java.awt.Color.WHITE
    //#input(Color getColour(int)): number
    //#output(Color getColour(int)): return_value
    //#pre[1] (Color getColour(int)): (soft) IRC_COLOURS != null
    //#pre[3] (Color getColour(int)): (soft) IRC_COLOURS.length - number in {-4_294_967_295..-16, 1..+Inf}
    //#pre[4] (Color getColour(int)): (soft) init'ed(IRC_COLOURS[0..4_294_967_295])
    //#presumption(Color getColour(int)): init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    //#presumption(Color getColour(int)): init'ed(java.awt.Color.WHITE)
    //#post(Color getColour(int)): return_value == One-of{IRC_COLOURS[0..4_294_967_295], java.awt.Color.WHITE}
    //#post(Color getColour(int)): init'ed(return_value)
    //#test_vector(Color getColour(int)): number: {-2_147_483_648..-1}, {16..4_294_967_295}, {0..15}
            return IRC_COLOURS[number];
        } else {
            Logger.userError(ErrorLevel.MEDIUM, "Invalid colour: " + number);
    //#ColourManager.java:165: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: Color getColour(int)
    //#    unanalyzed callee: void com.dmdirc.logger.Logger:userError(ErrorLevel, String)
            return Color.WHITE;
    //#ColourManager.java:166: end of method: Color com.dmdirc.ui.messages.ColourManager.getColour(int)
        }
    }
    
    /**
     * Retrieves the hex representation of the specified colour.
     * @param colour The colour to be parsed
     * @return A 6-digit hex string representing the colour
     */
    public static String getHex(final Color colour) {
        final int r = colour.getRed();
    //#ColourManager.java:176: method: String com.dmdirc.ui.messages.ColourManager.getHex(Color)
    //#input(String getHex(Color)): ""._tainted
    //#input(String getHex(Color)): colour
    //#output(String getHex(Color)): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getHex(Color)): return_value
    //#new obj(String getHex(Color)): java.lang.StringBuilder:toString(...)
    //#pre[1] (String getHex(Color)): colour != null
    //#presumption(String getHex(Color)): java.awt.Color:getBlue(...)@178 in {0..255}
    //#presumption(String getHex(Color)): java.awt.Color:getGreen(...)@177 in {0..255}
    //#presumption(String getHex(Color)): java.awt.Color:getRed(...)@176 in {0..255}
    //#post(String getHex(Color)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String getHex(Color)): return_value == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(String getHex(Color)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(String getHex(Color)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(String getHex(Color)): Effects-of-calling:java.lang.StringBuilder:toString
        final int g = colour.getGreen();
        final int b = colour.getBlue();
        
        return toHex(r) + toHex(g) + toHex(b);
    //#ColourManager.java:180: end of method: String com.dmdirc.ui.messages.ColourManager.getHex(Color)
    }
    
    /**
     * Converts the specified integer (in the range 0-255) into a hex string.
     * @param value The integer to convert
     * @return A char digit hex string representing the specified integer
     */
    private static String toHex(final int value) {
        final char[] chars = {
    //#ColourManager.java:189: method: String com.dmdirc.ui.messages.ColourManager.toHex(int)
    //#input(String toHex(int)): ""._tainted
    //#input(String toHex(int)): value
    //#output(String toHex(int)): java.lang.StringBuilder:toString(...)._tainted
    //#output(String toHex(int)): return_value
    //#new obj(String toHex(int)): java.lang.StringBuilder:toString(...)
    //#pre[1] (String toHex(int)): value in {0..255}
    //#post(String toHex(int)): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String toHex(int)): return_value == &java.lang.StringBuilder:toString(...)
            '0', '1', '2', '3', '4', '5', '6', '7',
            '8', '9', 'A', 'B', 'C', 'D', 'E', 'F',
        };
        
        return ("" + chars[value / 16]) + chars[value % 16];
    //#ColourManager.java:194: end of method: String com.dmdirc.ui.messages.ColourManager.toHex(int)
    }
    
    static {
        IdentityManager.getGlobalConfig().addChangeListener("colour",
    //#ColourManager.java:198: Warning: method not available - call not analyzed
    //#    call on ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: com.dmdirc.ui.messages.ColourManager__static_init
    //#    unanalyzed callee: ConfigManager com.dmdirc.config.IdentityManager:getGlobalConfig()
    //#ColourManager.java:198: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.config.ConfigManager:addChangeListener(String, ConfigChangeListener)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: com.dmdirc.ui.messages.ColourManager__static_init
    //#    unanalyzed callee: void com.dmdirc.config.ConfigManager:addChangeListener(String, ConfigChangeListener)
                new ConfigChangeListener() {
    //#ColourManager.java:199: method: void com.dmdirc.ui.messages.ColourManager$1.com.dmdirc.ui.messages.ColourManager$1()
    //#ColourManager.java:199: end of method: void com.dmdirc.ui.messages.ColourManager$1.com.dmdirc.ui.messages.ColourManager$1()
            /** {@inheritDoc} */
            @Override
            public void configChanged(final String domain, final String key) {
                initColours();
    //#ColourManager.java:203: method: void com.dmdirc.ui.messages.ColourManager$1.configChanged(String, String)
    //#input(void configChanged(String, String)): "#"._tainted
    //#input(void configChanged(String, String)): "Invalid colour #"._tainted
    //#input(void configChanged(String, String)): com.dmdirc.ui.messages.ColourManager__static_init.new Color[](ColourManager__static_init#2).length
    //#input(void configChanged(String, String)): com.dmdirc.ui.messages.ColourManager__static_init.new Color[](ColourManager__static_init#2)[0..4_294_967_295]
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.COLOUR_CACHE
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.DEFAULT_COLOURS
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.IRC_COLOURS
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.IRC_COLOURS.length
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.IRC_COLOURS[0..4_294_967_295]
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.com.dmdirc.logger.ErrorLevel.MEDIUM
    //#input(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.java.awt.Color.WHITE
    //#output(void configChanged(String, String)): com/dmdirc/ui/messages/ColourManager.IRC_COLOURS[0..4_294_967_295]
    //#pre[1] (void configChanged(String, String)): (soft) init'ed(com.dmdirc.ui.messages.ColourManager__static_init.new Color[](ColourManager__static_init#2)[0..4_294_967_295])
    //#pre[2] (void configChanged(String, String)): (soft) com/dmdirc/ui/messages/ColourManager.IRC_COLOURS != null
    //#pre[3] (void configChanged(String, String)): (soft) com/dmdirc/ui/messages/ColourManager.IRC_COLOURS.length >= 16
    //#pre[4] (void configChanged(String, String)): (soft) com/dmdirc/ui/messages/ColourManager.IRC_COLOURS[0..4_294_967_295] != null
    //#post(void configChanged(String, String)): init'ed(com/dmdirc/ui/messages/ColourManager.IRC_COLOURS[0..4_294_967_295])
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.config.IdentityManager:getGlobalConfig
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:containsKey
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:get
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.awt.Color:decode
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:put
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.Throwable:__curr_excep_obj
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.logger.Logger:userError
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.lang.String:valueOf
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.config.ConfigManager:hasOptionColour
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:com.dmdirc.config.ConfigManager:getOption
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.util.Map:remove
    //#unanalyzed(void configChanged(String, String)): Effects-of-calling:java.awt.Color:equals
            }
    //#ColourManager.java:204: end of method: void com.dmdirc.ui.messages.ColourManager$1.configChanged(String, String)
        });
        
        initColours();
    //#ColourManager.java:207: ?precondition failure
    //#    com/dmdirc/ui/messages/ColourManager.initColours: (soft) init'ed(DEFAULT_COLOURS[0..4_294_967_295])
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: com.dmdirc.ui.messages.ColourManager__static_init
    //#    basic block: bb_4
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void com/dmdirc/ui/messages/ColourManager.initColours()
    //#    callee assertion: (soft) init'ed(DEFAULT_COLOURS[0..4_294_967_295])
    //#    callee file: ColourManager.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 63
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#ColourManager.java:207: ?precondition failure
    //#    com/dmdirc/ui/messages/ColourManager.initColours: (soft) IRC_COLOURS[0..4_294_967_295] != null
    //#    severity: SUPPRESSED
    //#    class: com.dmdirc.ui.messages.ColourManager
    //#    method: com.dmdirc.ui.messages.ColourManager__static_init
    //#    basic block: bb_4
    //#    assertion: (soft) IRC_COLOURS[0..4_294_967_295] != null
    //#    callee: void com/dmdirc/ui/messages/ColourManager.initColours()
    //#    callee assertion: (soft) IRC_COLOURS[0..4_294_967_295] != null
    //#    callee file: ColourManager.java
    //#    callee precondition index: [4]
    //#    callee srcpos: 63
    //#    VN: IRC_COLOURS[0..4_294_967_295]
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad  Soft
    }    
    //#ColourManager.java:208: end of method: com.dmdirc.ui.messages.ColourManager.com.dmdirc.ui.messages.ColourManager__static_init
    
}
    //#output(com.dmdirc.ui.messages.ColourManager$1__static_init): __Descendant_Table[com/dmdirc/ui/messages/ColourManager$1]
    //#output(com.dmdirc.ui.messages.ColourManager$1__static_init): __Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V
    //#post(com.dmdirc.ui.messages.ColourManager$1__static_init): __Descendant_Table[com/dmdirc/ui/messages/ColourManager$1] == &__Dispatch_Table
    //#post(com.dmdirc.ui.messages.ColourManager$1__static_init): __Dispatch_Table.configChanged(Ljava/lang/String;Ljava/lang/String;)V == &configChanged
    //#ColourManager.java:: end of method: com.dmdirc.ui.messages.ColourManager$1.com.dmdirc.ui.messages.ColourManager$1__static_init
    //#ColourManager.java:: end of class: com.dmdirc.ui.messages.ColourManager$1
    //#ColourManager.java:: end of class: com.dmdirc.ui.messages.ColourManager
