method

com.dmdirc.addons.ui_swing.actions. ChannelCopyAction__static_init

method	void com.dmdirc.addons.ui_swing.actions. ChannelCopyAction(String)
post	this.channel == channel
post	init'ed(this.channel)

method	void actionPerformed(ActionEvent)
presumption	java.awt.Toolkit:getDefaultToolkit(...)@62 != null
presumption	java.awt.Toolkit:getSystemClipboard(...)@62 != null