sig val context_initialized : javax'servlet'ServletContextEvent java_instance -> unit val context_destroyed : javax'servlet'ServletContextEvent java_instance -> unit end