Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. ServerSettingsDialog__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog(Server, Window)
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.server == server
post	init'ed(this.server)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setTitle(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setResizable(boo l)

call too complex - analysis skipped Info call on void initComponents()

method	void showServerSettingsDialog(Server, Window)
pre	init'ed(me)
post	me == One-of{old me, &new ServerSettingsDialog( getServerSettingsDialog#1)}
post	me != null
post	new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
post	new ServerSettingsDialog(getServerSettingsDialog#1) .parentWindow == parentWindow
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).parentWindow)
post	new ServerSettingsDialog(getServerSettingsDialog#1) .server == server
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).server)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setResizable
unanalyzed	call on initComponents
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:pack()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setLocationRelat iveTo(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setVisible(bool)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:requestFocusInWi ndow()

method	ServerSettingsDialog getServerSettingsDialog(Serve r, Window)
pre	init'ed(me)
post	me == One-of{old me, &new ServerSettingsDialog( getServerSettingsDialog#1)}
post	me != null
post	return_value == One-of{old me, &new ServerSettingsDialog(getServerSettingsDialog#1)}
post	return_value != null
post	new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
post	new ServerSettingsDialog(getServerSettingsDialog#1) .parentWindow == parentWindow
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).parentWindow)
post	new ServerSettingsDialog(getServerSettingsDialog#1) .server == server
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).server)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setTitle
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setResizable
unanalyzed	call on initComponents

method	void initComponents()
pre	init'ed(this.parentWindow)
pre	this.server != null
presumption	com.dmdirc.Server:getConfigManager(...)@167 != null
presumption	javax.swing.JScrollPane:getViewport(...)@151 != null
post	this.ignoreList == &new IgnoreListPanel(initCom ponents#5)
post	this.modesPanel == &new UserModesPane(initCompo nents#4)
post	this.performPanel == &new PerformPanel(initComp onents#6)
post	this.settingsPanel == &new SettingsPanel(initCo mponents#7)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#3)
post	new Hashtable(initModesPanel#1) num objects == 1
post	new IgnoreList(initComponents#1) num objects == 1
post	new IgnoreListModel(initComponents#2) num objects == 1
post	new IgnoreListPanel(initComponents#5) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JCheckBox(initComponents#8) num objects == 1
post	new JComboBox(initComponents#3) num objects == 1
post	new JLabel(initComponents#7) num objects == 1
post	new JList(initComponents#3) num objects == 1
post	new JTabbedPane(initComponents#3) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
post	new PerformPanel(initComponents#6) num objects == 1
post	new SettingsPanel(initComponents#7) num objects == 1
post	new UserModesPane(initComponents#4) num objects == 1
post	new IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1)
post	this.ignoreList.cachedIgnoreList == &new IgnoreList(initComponents#1)
post	init'ed(new IgnoreListModel(initComponents#2). isSimple)
post	this.ignoreList.addButton == &new JButton(initComponents#5)
post	this.ignoreList.delButton == &new JButton(initComponents#6)
post	this.ignoreList.list == &new JList(initComponen ts#3)
post	this.ignoreList.listModel == &new IgnoreListModel(initComponents#2)
post	this.ignoreList.parentWindow == this.parentWindow
post	init'ed(this.ignoreList.parentWindow)
post	this.ignoreList.server == this.server
post	this.ignoreList.server != null
post	this.performPanel.server == this.ignoreList.server
post	this.modesPanel.server == this.ignoreList.server
post	this.ignoreList.sizeLabel == &new JLabel(initComponents#7)
post	this.ignoreList.viewToggle == &new JCheckBox(initComponents#8)
post	init'ed(this.performPanel.isNetworkPerform)
post	init'ed(this.performPanel.networkAction)
post	this.performPanel.networkPerform != null
post	init'ed(this.performPanel.serverAction)
post	this.performPanel.serverPerform != null
post	this.performPanel.target == &new JComboBox(initComponents#3)
post	this.performPanel.textarea == &new JTextArea(initComponents#6)
post	this.modesPanel.modeCheckBoxes == &new Hashtable(initModesPanel#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on java.util.Hashtable
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.util.Map:put
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setVisible
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.IgnoreList
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setLayout
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:add
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setColumns
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForNetwork
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setOpaque

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:orderButtons(JBu tton, JButton)

method not available - call not analyzed Info call on Identity com.dmdirc.Server:getNetworkIdenti ty()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel(Identity, String)

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.settingsPanel != null

Prev Msg Next Msg

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.settingsPanel != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setLayout(Layout Manager)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:add(Component, Object)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getLeftButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:add(Component, Object)

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getRightButton()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:add(Component, Object)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Server:getConfigMa nager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void addSettings()
pre	this.settingsPanel != null
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. CHECKBOX)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType.COLOUR)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. SPINNER)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. TEXTFIELD)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)

method	void initListeners()
presumption	com.dmdirc.addons.ui_swing.dialogs.serversetting. ServerSettingsDialog:getCancelButton(...)@250 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.serversetting. ServerSettingsDialog:getOkButton(...)@249 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton( )

method	void saveSettings()
pre	init'ed(this.performPanel.networkAction)
pre	init'ed(this.performPanel.networkPerform)
pre	init'ed(this.performPanel.serverAction)
pre	init'ed(this.performPanel.serverPerform)
pre	this.ignoreList != null
pre	this.ignoreList.cachedIgnoreList != null
pre	this.ignoreList.server != null
pre	this.modesPanel != null
pre	this.performPanel != null
pre	init'ed(this.performPanel.isNetworkPerform)
pre	this.performPanel.textarea != null
pre	this.server != null
pre	this.settingsPanel != null
pre	this.tabbedPane != null
pre	(soft) this.modesPanel.modeCheckBoxes != null
pre	(soft) this.performPanel.server != null
presumption	com.dmdirc.Server:getNetworkIdentity(...)@260 != null
post	init'ed(this.performPanel.networkAction)
post	this.performPanel.networkPerform != null
post	init'ed(this.performPanel.serverAction)
post	this.performPanel.serverPerform != null
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:alterMode
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:sendModes
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForServer
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForNetwork
unanalyzed	call on com.dmdirc.IgnoreList:clear
unanalyzed	call on com.dmdirc.IgnoreList:addAll
unanalyzed	call on com.dmdirc.Server:saveIgnoreList

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save()

method not available - call not analyzed Info call on Identity com.dmdirc.Server:getNetworkIdenti ty()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void actionPerformed(ActionEvent)
pre	e != null
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.performPanel.networkAction)
pre	(soft) init'ed(this.performPanel.networkPerform)
pre	(soft) init'ed(this.performPanel.serverAction)
pre	(soft) init'ed(this.performPanel.serverPerform)
pre	(soft) this.ignoreList != null
pre	(soft) this.ignoreList.cachedIgnoreList != null
pre	(soft) this.ignoreList.server != null
pre	(soft) this.modesPanel != null
pre	(soft) this.modesPanel.modeCheckBoxes != null
pre	(soft) this.performPanel != null
pre	(soft) init'ed(this.performPanel.isNetworkPerform)
pre	(soft) this.performPanel.server != null
pre	(soft) this.performPanel.textarea != null
pre	(soft) this.server != null
pre	(soft) this.settingsPanel != null
pre	(soft) this.tabbedPane != null
post	me == One-of{old me, null}
post	init'ed(me)
post	init'ed(this.performPanel.networkAction)
post	init'ed(this.performPanel.networkPerform)
post	init'ed(this.performPanel.serverAction)
post	init'ed(this.performPanel.serverPerform)
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.Server:getNetworkIdentity
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:alterMode
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:sendModes
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save
unanalyzed	call on javax.swing.JTextArea:getText
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForServer
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForNetwork
unanalyzed	call on com.dmdirc.IgnoreList:clear
unanalyzed	call on com.dmdirc.IgnoreList:addAll
unanalyzed	call on com.dmdirc.Server:saveIgnoreList
unanalyzed	call on javax.swing.JTabbedPane:getSelectedIndex
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton( )

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

	method not available - call not analyzed	Info	call on Identity com.dmdirc.Server:getNetworkIdenti ty()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel(Identity, String)

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setLayout(Layout Manager)

	method not available - call not analyzed	Info	call on JButton com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getLeftButton()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:add(Component, Object)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.Server:getConfigMa nager()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)