int numRows = 15; // default unless specified
int numCols = 12; // default unless specified
while (e.hasMoreElements()) {
InfoToken token = (InfoToken) e.nextElement();
if (token instanceof Size2Token) {
Size2Token sizeToken = (Size2Token)token;
GameContext.log(2, "info token columns =" + sizeToken.getNumColumns() +" rows=" + sizeToken.getNumRows());
numRows = sizeToken.getNumRows();
numCols = sizeToken.getNumColumns();
}
else if (token instanceof Player2NameToken) {
Player2NameToken nameToken = (Player2NameToken) token;
gc.getPlayers().getPlayer2().setName(nameToken.getName());
}