129130131132133134135136137138139
if (cards.size() > 0) { permanentController.revealCards("Reweave", cards, game); if (cardFound && card != null) { cards.remove(card); } library.addAll(cards.getCards(game), game); permanentController.shuffleLibrary(game); } } return true; }
118119120121122123124125126127128
if (cards.size() > 0) { player.revealCards("Polymorph", cards, game); Set<Card> cardsToShuffle = cards.getCards(game); cardsToShuffle.remove(card); library.addAll(cardsToShuffle, game); } } return true; } }