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) {
JTabbedPane tab = new JTabbedPane();
tab.addTab("History", historyPanel);