/********************** GetServer.java *****************/import java.io.*;import java.util.*;import javax.servlet.*;public class GetServer extends GenericServlet  {  public void service(ServletRequest req,                      ServletResponse res)  throws ServletException, IOException    {    ServletContext sc=getServletContext();    res.setContentType("text/plain");    PrintWriter out = res.getWriter();    out.println("req.getServerName(): " + req.getServerName());    out.println("req.getServerPort(): " + req.getServerPort());    out.println("getServletContext().getServerInfo(): " +                 sc.getServerInfo());    out.println("getServerInfo() name: " +                 getServerInfoName(sc.getServerInfo()));    out.println("getServerInfo() version: " +                 getServerInfoVersion(sc.getServerInfo()));    out.println("getServletContext().getAttribute(\"attribute\"): " +                  sc.getAttribute("attribute"));    }  private String getServerInfoName(String serverInfo)    {    int slash = serverInfo.indexOf('/');    if (slash == -1)      return serverInfo;    else      return serverInfo.substring(0, slash);    }  private String getServerInfoVersion(String serverInfo)    {    int slash = serverInfo.indexOf('/');    if (slash == -1)      return null;    else      return serverInfo.substring(slash + 1);    }  }