servletContext.addFilter("httpMethodFilter", HiddenHttpMethodFilter.class);
httpMethodFilter.addMappingForUrlPatterns(null, false, "/*");
// Register jMiniX Console Servlet
ServletRegistration.Dynamic jminixConsoleServlet =
servletContext.addServlet("jMiniXConsoleServlet", new MiniConsoleServlet());
jminixConsoleServlet.addMapping("/admin/jminix/*");
// Register Database Manager Web Servlet
ServletRegistration.Dynamic databaseManagerWebServlet =