private void updateDisplay() {
		StringBuilder txt = new StringBuilder();
		for (Player p : game.getPlayers()) {
			txt.append("Player ").append(p.getNum());
			if (game.getCurrentPlayer().equals(p)) {
				txt.append(" *");
			}
			txt.append("<br>");
			txt.append("Money: ").append(p.getMoney()).append("<br>");
			txt.append("Has: ");
			for (Token token : p.getTokens()) {
				txt.append(token).append(" ");
			}
			txt.append("<br>");
		}
		txt.insert(0, "<html>").append("</html>");
		label.setText(txt.toString());
		panel.setSize(label.getPreferredSize());
		System.out.println(txt);
		repaint();
	}