PingServlet		PingServlet
	Compiled from "PingServlet.java"		Compiled from "PingServlet.java"
	public class io.dropwizard.metrics.servlets.PingServlet extends jakarta.ser		public class io.dropwizard.metrics5.servlets.PingServlet extends jakarta.se
	vlet.http.HttpServlet {		rvlet.http.HttpServlet {
	public io.dropwizard.metrics.servlets.PingServlet();		public io.dropwizard.metrics5.servlets.PingServlet();
	protected void doGet(jakarta.servlet.http.HttpServletRequest, jakarta.ser vlet.http.HttpServletResponse) throws jakarta.servlet.ServletException, jav a.io.IOException;		protected void doGet(jakarta.servlet.http.HttpServletRequest, jakarta.ser vlet.http.HttpServletResponse) throws jakarta.servlet.ServletException, jav a.io.IOException;
	}		}
End of changes. 1 change blocks.
	3 lines changed or deleted		3 lines changed or added
This html diff was produced by rfcdiff 1.41. The latest version is available from http://tools.ietf.org/tools/rfcdiff/