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