modify SearchServlet.java