table.addHeading(name + ": ").cell().attribute("VALIGN", "TOP").right();
table.addCell("<pre>" + toString(getServletContext().getInitParameter(name)) + "</pre>");
}
table.newRow();
table
.newHeading()
.cell()
.nest(new Font(2, true))
.add("<BR>Context Attributes")
.attribute("COLSPAN", "2")