Get rid of duplicate EchoServlet2 in echo example