sig
  val attribute_added : JavaServlet.http_session_binding_event -> unit
  val attribute_removed : JavaServlet.http_session_binding_event -> unit
  val attribute_replaced : JavaServlet.http_session_binding_event -> unit
end