Class made final. WikiSecurityEvent gains the event type PROFILE_SAVED, emitted by UserDatabase. The WikiEventSource "marker interface"  added to class declarations for AuthorizationManager, UserManager, AuthenticationManager, WikiEngine. EventSourceDelegate used in place of cut-and-paste code for these classes also.
Class made final. WikiSecurityEvent gains the event type PROFILE_SAVED, emitted by UserDatabase. The WikiEventSource "marker interface"  added to class declarations for AuthorizationManager, UserManager, AuthenticationManager, WikiEngine. EventSourceDelegate used in place of cut-and-paste code for these classes also.


git-svn-id: 6c0206e3b9edd104850923da33ebd73b435d374d@625479 13f79535-47bb-0310-9956-ffa450edef68

tateshitah/jspwiki,tateshitah/jspwiki,tateshitah/jspwiki,tateshitah/jspwiki