method

com.dmdirc.addons.ui_swing.actions. NicknameCopyAction__static_init

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

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