import java.io.*; import java.util.*; import javax.servlet.*; import javax.servlet.http.*; public class Refresher extends HttpServlet { ArrayList lines; public void init() throws ServletException { lines = new ArrayList(); } public void doGet( HttpServletRequest request, HttpServletResponse response ) throws ServletException, IOException { response.setContentType( "text/html" ); response.setHeader( "refresh", "5" ); PrintWriter out = response.getWriter(); out.print( "" ); out.println( "