protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
if (!_browser.doFilter(request, response)) super.doGet(request, response);
}
protected ODEServer createODEServer() {
return new ODEServer();
}