Closes #14: Using servlets rather than jetty-proprietary handlers