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

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

method	com.dmdirc.updater.UpdateStatus__static_init
post	$VALUES == &new UpdateStatus[](UpdateStatus__ static_init#7)
post	DOWNLOADING == &new UpdateStatus(UpdateStatus__ static_init#2)
post	$VALUES[1] == &new UpdateStatus(UpdateStatus__ static_init#2)
post	ERROR == &new UpdateStatus(UpdateStatus__ static_init#5)
post	$VALUES[4] == &new UpdateStatus(UpdateStatus__ static_init#5)
post	INSTALLED == &new UpdateStatus(UpdateStatus__ static_init#4)
post	$VALUES[3] == &new UpdateStatus(UpdateStatus__ static_init#4)
post	INSTALLING == &new UpdateStatus(UpdateStatus__ static_init#3)
post	$VALUES[2] == &new UpdateStatus(UpdateStatus__ static_init#3)
post	PENDING == &new UpdateStatus(UpdateStatus__ static_init#1)
post	$VALUES[0] == &new UpdateStatus(UpdateStatus__ static_init#1)
post	RESTART_NEEDED == &new UpdateStatus(UpdateStatu s__static_init#6)
post	$VALUES[5] == &new UpdateStatus(UpdateStatus__ static_init#6)
post	new UpdateStatus(UpdateStatus__static_init#1) num objects == 1
post	new UpdateStatus(UpdateStatus__static_init#2) num objects == 1
post	new UpdateStatus(UpdateStatus__static_init#3) num objects == 1
post	new UpdateStatus(UpdateStatus__static_init#4) num objects == 1
post	new UpdateStatus(UpdateStatus__static_init#5) num objects == 1
post	new UpdateStatus(UpdateStatus__static_init#6) num objects == 1
post	new UpdateStatus[](UpdateStatus__static_init#7) num objects == 1
post	PENDING.friendlyName == &"Pending"
post	DOWNLOADING.friendlyName == &"Downloading"
post	INSTALLING.friendlyName == &"Installing"
post	INSTALLED.friendlyName == &"Installed"
post	ERROR.friendlyName == &"Error"
post	RESTART_NEEDED.friendlyName == &"Restart needed"
post	$VALUES.length == 6
unanalyzed	call on java.lang.Enum

method	void com.dmdirc.updater.UpdateStatus(String, int, String)
post	this.friendlyName == friendlyName
post	init'ed(this.friendlyName)

method	String toString()
post	return_value == this.friendlyName
post	init'ed(return_value)