updateProperties(props, request, response);
// forward to properties editor, using the value of properties stored
// in the session
RequestDispatcher rd = getServletContext().getRequestDispatcher("/config/edit");
rd.forward(request, response);
}
protected void doEditView(Properties props, HttpServletRequest request,
HttpServletResponse response)
throws ServletException, IOException