method	CertificateAction[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new CertificateAction[](values #1)
post	new CertificateAction[](values#1) num objects == 1
post	return_value.length == 3
post	return_value[...] == One-of{$VALUES[...], undefined}

method	CertificateAction valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction(String, int)

method	com.dmdirc.ui.core.dialogs.sslcertificate. CertificateAction__static_init
post	$VALUES == &new CertificateAction[](Certificate Action__static_init#4)
post	DISCONNECT == &new CertificateAction(Certificat eAction__static_init#1)
post	$VALUES[0] == &new CertificateAction(Certificat eAction__static_init#1)
post	IGNORE_PERMANENTY == &new CertificateAction(Cer tificateAction__static_init#3)
post	$VALUES[2] == &new CertificateAction(Certificat eAction__static_init#3)
post	IGNORE_TEMPORARILY == &new CertificateAction(Ce rtificateAction__static_init#2)
post	$VALUES[1] == &new CertificateAction(Certificat eAction__static_init#2)
post	new CertificateAction(CertificateAction__static_ init#1) num objects == 1
post	new CertificateAction(CertificateAction__static_ init#2) num objects == 1
post	new CertificateAction(CertificateAction__static_ init#3) num objects == 1
post	new CertificateAction[](CertificateAction__static_ init#4) num objects == 1
post	$VALUES.length == 3
unanalyzed	call on java.lang.Enum