Nick O: Fixed bad class name for ThundrServlet