sig
  val session_created : JavaServlet.http_session_event -> unit
  val session_destroyed : JavaServlet.http_session_event -> unit
end