public class OXOToken extends Token {
// in Noughts and Crosses a token belongs to one player or tother
   private Player owner;
   public OXOToken (Player p) {
// use same symbol for OXO player and for the player's tokens.
       super(p.glyph);
       owner = p;
   }
   public Player owner() {return owner;}
}