/********************* Times.java *******************/import java.io.*;import java.text.*;                       //DateFormatimport java.util.*;                   //Date, TimeZoneimport javax.servlet.*;import javax.servlet.http.*;public class Times extends HttpServlet  {  public void doGet(HttpServletRequest req,                    HttpServletResponse res)  throws ServletException, IOException    {    ServletOutputStream sos=res.getOutputStream();    PrintWriter pw=new PrintWriter(sos,true);    Date date = new Date();    DateFormat df = DateFormat.getDateTimeInstance();    String zone = req.getParameter("zone");    if (zone != null)      {      TimeZone timeZone=TimeZone.getTimeZone(zone);      df.setTimeZone(timeZone);      }    else      zone = "CTT (い