initialize the context concode_field_sep ServletContext servletContext concode_elem_sep String COUNT_KEY concode_elem_sep String EVENT_KEY concode_elem_sep int counter concode_elem_sep Set<User> users concode_elem_sep String USERS_KEY concode_field_sep void addUsername concode_elem_sep boolean isAnonymous concode_elem_sep void decrementUserCounter concode_elem_sep void attributeReplaced concode_elem_sep void removeUsername concode_elem_sep void contextDestroyed concode_elem_sep void incrementUserCounter concode_elem_sep void attributeAdded concode_elem_sep void attributeRemoved
void function ( ServletContextEvent arg0 ) { servletContext = arg0 . getServletContext ( ) ; servletContext . setAttribute ( ( COUNT_KEY ) , Integer . toString ( counter ) ) ; }