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;
  }