sig
  val context_initialized : JavaServlet.servlet_context_event -> unit
  val context_destroyed : JavaServlet.servlet_context_event -> unit
end