declare namespace org { namespace eclipse { namespace jetty { namespace servlet { class StatisticsServlet extends javax.servlet.http.HttpServlet { public constructor() public init(): void public doPost(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void protected doGet(arg0: javax.servlet.http.HttpServletRequest, arg1: javax.servlet.http.HttpServletResponse): void public static class: java.lang.Class } } } } }