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