sig
  type t
  val init : JavaServlet.http -> JavaServlet.HTTP.t
  val do_delete :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_get :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_head :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_options :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_post :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_put :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val do_trace :
    JavaServlet.HTTP.t ->
    JavaServlet.http ->
    JavaServlet.http_request -> JavaServlet.http_response -> unit
  val get_last_modified :
    JavaServlet.HTTP.t ->
    JavaServlet.http -> JavaServlet.http_request -> java_long
  val destroy : JavaServlet.HTTP.t -> JavaServlet.http -> unit
end