sig
  val session_did_activate : JavaServlet.http_session_event -> unit
  val session_will_passivate : JavaServlet.http_session_event -> unit
end