method

com.dmdirc.addons.ui_swing.actions. HyperlinkCopyAction__static_init

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

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