http.jetty service

[Ignacio Silva-Lepe]

I have a couple of questions about the http.jetty service.

First, I am assuming that this service is intended to be kept around and
not deprecated, but let me know if this is not the case.

If that is the case, then I wonder what the intended usage pattern is
supposed to be. I do see a JettyService interface but (1) it only exposes
a getServer operation but other operations, like registerMapping, are not
exposed, and (2) this interface is not exposed as an sca service the way
the Store service is, for instance.

If there's interest, I would like to volunteer to upgrade http.jetty service
and
make it a @Service that exposes a few more of the implemented operations,
assuming that this an agreeable direction to take it in.

Thanks