sig
  val service :
    'a ->
    JavaServlet.generic ->
    JavaServlet.request -> JavaServlet.response -> unit
  val destroy : 'a -> JavaServlet.generic -> unit
end