if (MenuPrinter.STATISTICS_DIAMETER.isEnabled(connection))
addPrinter(new DiameterStatisticsPrinter(connection), "Diameter statistics");
addPrinter(new HttpStatisticsPrinter(connection), "HTTP statistics");
add(new HtmlPrinter()
{
public void print(Writer out) throws Exception
{
appendTitle(out, "Server");
out.append((String) connection.invoke(ConsoleFilter.SERVER, "dump", null, new String[0]));
}
});
add(new HtmlPrinter()
{
@SuppressWarnings("unchecked")
public void print(Writer out) throws Exception
{
appendTitle(out, "System properties");