.left();
a= getServletContext().getAttributeNames();
while (a.hasMoreElements())
{
name= (String)a.nextElement();
table.newRow();
table.addHeading(name + ": ").cell().attribute("VALIGN", "TOP").right();
table.addCell("<pre>" + toString(getServletContext().getAttribute(name)) + "</pre>");
}
if (request.getContentType() != null