res.setContentType("text/plain");
PrintWriter out = res.getWriter();
out.println("req.getServerName(): " + req.getServerName());
out.println("req.getServerPort(): " + req.getServerPort());
out.println("getServletContext().getServerInfo(): " +
getServletContext().getServerInfo());
out.println("getServerInfo() name: " +
getServerInfoName(getServletContext().getServerInfo()));
out.println("getServerInfo() version: " +
getServerInfoVersion(getServletContext().getServerInfo()));
out.println("getServletContext().getAttribute(\"attribute\"): " +
getServletContext().getAttribute("attribute"));