addServlet(context, new index_jspx(), "/index.jspx");
addServlet(context, new status_jspx(), "/status.jspx");
addServlet(context, new error_jspx(), "/error.jspx");
addServlet(context, new som_jspx(), "/som.jspx");
addServlet(context, new LogServlet(), "/log.txt");
try {
tomcat.start();
} catch (LifecycleException le) {
throw new IOException(le);