| method | org.apache. |
| method | void org. |
| method | String getDescription() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setDescription(String) |
| post | this.description == description |
| post | init'ed(this. |
| method | String getEmailAddress() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setEmailAddress(String) |
| post | this.emailAddress == emailAddress |
| post | init'ed(this. |
| method | String getHandle() |
| pre | init'ed(this.handle) |
| post | return_value == this.handle |
| post | init'ed(return_value) |
| method | void setHandle(String) |
| post | this.handle == handle |
| post | init'ed(this.handle) |
| method | String getLocale() |
| pre | init'ed(this.locale) |
| post | return_value == this.locale |
| post | init'ed(return_value) |
| method | void setLocale(String) |
| post | this.locale == locale |
| post | init'ed(this.locale) |
| method | String getName() |
| pre | init'ed(this.name) |
| post | return_value == this.name |
| post | init'ed(return_value) |
| method | void setName(String) |
| post | this.name == name |
| post | init'ed(this.name) |
| method | String getTheme() |
| pre | init'ed(this.theme) |
| post | return_value == this.theme |
| post | init'ed(return_value) |
| method | void setTheme(String) |
| post | this.theme == theme |
| post | init'ed(this.theme) |
| method | String getTimeZone() |
| pre | init'ed(this. |
| post | return_value == this. |
| post | init'ed(return_value) |
| method | void setTimeZone(String) |
| post | this.timeZone == timeZone |
| post | init'ed(this. |