hosts.add(player.getHost());
ports.add(player.getPort());
playerNames.add(player.getName());
}
HistoryPanel historyPanel = new HistoryPanel();
ErrorPanel errorPanel = new ErrorPanel();
VisualizationPanel visualizationPanel = new VisualizationPanel(spec.theGame);
StatesPanel statesPanel = new StatesPanel();
if (spec.shouldDetail) {