/** Displays the table of summary statistics. */
protected void displayStatisticsTable() {
// Need a new panel
if (statsPanel == null || !isStatisticsPanelVisible(statsPanel)) {
statsPanel = new SummaryStatisticsPanel(context.getData(),
context.getFirstDisplayedTime(), context.getLastDisplayedTime());
addTabPanel("Statistics", statsPanel);
// Switch focus to existing statistics panel
} else {