sig
  val session_created :
    javax'servlet'http'HttpSessionEvent java_instance -> unit
  val session_destroyed :
    javax'servlet'http'HttpSessionEvent java_instance -> unit
end