sig
  val session_id_changed :
    JavaServlet.http_session_event -> JavaString.t -> unit
end