Improve RESTgul server methods; tweak PingServlet