public static java.awt.Color getColorForPlayer(Player p) {
		switch (p) {
		case RED:
			return java.awt.Color.RED;
		case BLUE:
			return java.awt.Color.CYAN;
		case YELLOW:
			return java.awt.Color.YELLOW;
		case GREEN:
			return java.awt.Color.GREEN;
		}
		return java.awt.Color.WHITE;
	}