sig
  val session_id_changed :
    javax'servlet'http'HttpSessionEvent java_instance ->
    java'lang'String java_instance -> unit
end