Added message to log if player shuffles his library. Fixed wrong calls to shuffle.

Mage.Sets/src/mage/sets/betrayersofkamigawa/StreamOfConsciousness.java

@@ -105,7 +105,7 @@ class StreamOfConsciousnessEffect extends OneShotEffect<StreamOfConsciousnessEff
                 }
             }
             if (shuffle) {
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
             }
             return true;
         }

Mage.Sets/src/mage/sets/commander/VeteranExplorer.java

@@ -107,7 +107,7 @@ class VeteranExplorerEffect extends OneShotEffect<VeteranExplorerEffect> {
                 }
             }
             for (Player player: usingPlayers) {
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
             }
             return true;
         }

Mage.Sets/src/mage/sets/commander2013/LimDulsVault.java

@@ -111,7 +111,7 @@ class LimDulsVaultEffect extends OneShotEffect<LimDulsVaultEffect> {
             if (doAgain) {
                 player.loseLife(1, game);
             } else {
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
             }
             
             TargetCard target = new TargetCard(Zone.PICK, new FilterCard(doAgain ? textBottom : textTop));

Mage.Sets/src/mage/sets/dissension/LoamingShaman.java

@@ -103,7 +103,7 @@ class LoamingShamanEffect extends OneShotEffect<LoamingShamanEffect> {
                     card.moveToZone(Zone.LIBRARY, source.getSourceId(), game, true);
                 }
             }
-            targetPlayer.getLibrary().shuffle();
+            targetPlayer.shuffleLibrary(game);
             return true;
         }
         return false;

Mage.Sets/src/mage/sets/gatecrash/UnexpectedResults.java

@@ -113,7 +113,7 @@ class UnexpectedResultEffect extends OneShotEffect<UnexpectedResultEffect> {
             return false;
         }
         if (controller.getLibrary().size() > 0) {
-            controller.getLibrary().shuffle();
+            controller.shuffleLibrary(game);
             Card card = controller.getLibrary().getFromTop(game);
             if (card == null) {
                 return false;

Mage.Sets/src/mage/sets/innistrad/MemorysJourney.java

@@ -109,7 +109,7 @@ class MemorysJourneyEffect extends OneShotEffect<MemorysJourneyEffect> {
                 }
             }
             if (shuffle) {
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
             }
             return true;
         }

Mage.Sets/src/mage/sets/lorwyn/PrimalCommand.java

@@ -123,7 +123,7 @@ class PrimalCommandShuffleGraveyardEffect extends OneShotEffect<PrimalCommandShu
         if (player != null) {
             player.getLibrary().addAll(player.getGraveyard().getCards(game), game);
             player.getGraveyard().clear();
-            player.getLibrary().shuffle();
+            player.shuffleLibrary(game);
             return true;
         }
         return false;

Mage.Sets/src/mage/sets/magic2010/WarpWorld.java

@@ -119,7 +119,7 @@ class WarpWorldEffect extends OneShotEffect<WarpWorldEffect> {
             }
 
             if (count > 0) {
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
             }
 
             permanentsCount.put(player.getId(), count);

Mage.Sets/src/mage/sets/modernmasters/Riftsweeper.java

@@ -106,7 +106,7 @@ class RiftsweeperEffect extends OneShotEffect<RiftsweeperEffect> {
             card.getCounters().clear();
             // move to exile
             card.moveToZone(Zone.LIBRARY, source.getSourceId(), game, true);
-            game.getPlayer(card.getOwnerId()).getLibrary().shuffle();
+            game.getPlayer(card.getOwnerId()).shuffleLibrary(game);
             game.informPlayers(new StringBuilder("Riftsweeper: Choosen card was ").append(card.getName()).toString());
             return true;
         }

Mage.Sets/src/mage/sets/morningtide/Deglamer.java

@@ -99,7 +99,7 @@ class DeglamerShuffleIntoLibraryEffect extends OneShotEffect<DeglamerShuffleInto
         Permanent permanent = game.getPermanent(targetPointer.getFirst(game, source));
         if (permanent != null) {
             if (permanent.moveToZone(Zone.LIBRARY, source.getSourceId(), game, true) ) {
-                game.getPlayer(permanent.getOwnerId()).getLibrary().shuffle();
+                game.getPlayer(permanent.getOwnerId()).shuffleLibrary(game);
                 return true;
             }
         }

Mage.Sets/src/mage/sets/returntoravnica/WorldspineWurm.java

@@ -97,7 +97,7 @@ class WorldspineWurmEffect extends OneShotEffect<WorldspineWurmEffect> {
             if (c != null) {
                 player.getGraveyard().remove(c);
                 player.getLibrary().putOnTop(c, game);
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
                 return true;
             }
 

Mage.Sets/src/mage/sets/urzassaga/SerraAvatar.java

@@ -91,7 +91,7 @@ class SerraAvatarEffect extends OneShotEffect<SerraAvatarEffect> {
             if (c != null) {
                 player.getGraveyard().remove(c);
                 player.getLibrary().putOnTop(c, game);
-                player.getLibrary().shuffle();
+                player.shuffleLibrary(game);
                 return true;
             }
 

Mage.Sets/src/mage/sets/worldwake/SelectiveMemory.java

@@ -96,7 +96,7 @@ class SelectiveMemoryEffect extends OneShotEffect<SelectiveMemoryEffect> {
                 }
             }
 
-            player.getLibrary().shuffle();
+            player.shuffleLibrary(game);
             return true;
         }
         return false;

Mage.Sets/src/mage/sets/zendikar/QuestForAncientSecrets.java

@@ -135,7 +135,7 @@ class QuestForAncientSecretsEffect extends OneShotEffect<QuestForAncientSecretsE
         if (player != null) {
             player.getLibrary().addAll(player.getGraveyard().getCards(game), game);
             player.getGraveyard().clear();
-            player.getLibrary().shuffle();
+            player.shuffleLibrary(game);
             return true;
         }
         return false;

Mage/src/mage/abilities/keyword/TributeAbility.java

@@ -32,6 +32,7 @@ import java.util.UUID;
 import mage.abilities.Ability;
 import mage.abilities.common.EntersBattlefieldAbility;
 import mage.abilities.effects.OneShotEffect;
+import mage.abilities.effects.common.counter.AddCountersSourceEffect;
 import mage.constants.Outcome;
 import mage.counters.CounterType;
 import mage.game.Game;
@@ -118,9 +119,11 @@ class TributeEffect extends OneShotEffect<TributeEffect> {
                     sb.append(" (add ").append(CardUtil.numberToText(tributeValue)).append(" +1/+1 counter");
                     sb.append(tributeValue > 1 ? "s":"").append("to it)?");
                     if (opponent.chooseUse(outcome, sb.toString(), game)) {
-                        sourcePermanent.addCounters(CounterType.P1P1.createInstance(tributeValue), game);
+                        game.informPlayers(new StringBuilder(opponent.getName()).append(" pays tribute to ").append(sourcePermanent.getName()).toString());
                         game.getState().setValue(new StringBuilder("tributeValue").append(source.getSourceId()).toString(), "yes");
+                        return new AddCountersSourceEffect(CounterType.P1P1.createInstance(tributeValue), true).apply(game, source);
                     } else {
+                        game.informPlayers(new StringBuilder(opponent.getName()).append(" does not pay tribute to ").append(sourcePermanent.getName()).toString());
                         game.getState().setValue(new StringBuilder("tributeValue").append(source.getSourceId()).toString(), "no");
                     }
                     return true;

Mage/src/mage/players/Library.java

@@ -60,6 +60,10 @@ public class Library implements Serializable {
         }
     }
 
+    /**
+     * Don't use this directly.
+     * Use <player.shuffleLibrary(game)> instead.
+     */
     public void shuffle() {
         UUID[] shuffled = library.toArray(new UUID[0]);
         for (int n = shuffled.length - 1; n > 0; n--) {

Mage/src/mage/players/PlayerImpl.java

@@ -1004,6 +1004,7 @@ public abstract class PlayerImpl<T extends PlayerImpl<T>> implements Player, Ser
     public void shuffleLibrary(Game game) {
         if (!game.replaceEvent(GameEvent.getEvent(GameEvent.EventType.SHUFFLE_LIBRARY, playerId, playerId))) {
             this.library.shuffle();
+            game.informPlayers(new StringBuilder(this.name).append(" shuffels his or her library.").toString());
             game.fireEvent(GameEvent.getEvent(GameEvent.EventType.LIBRARY_SHUFFLED, playerId, playerId));
         }
     }