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