- Updating Label observers after a ChangeZone

src/main/java/forge/GameAction.java

@@ -111,6 +111,10 @@ public class GameAction {
     public static Card changeZone(final PlayerZone prev, final PlayerZone zone, final Card c) {
         if ((prev == null) && !c.isToken()) {
             zone.add(c);
+            Player p = zone.getPlayer();
+            if (p != null){
+                p.updateLabelObservers();
+            }
             return c;
         }
 
@@ -191,6 +195,11 @@ public class GameAction {
             prev.remove(c);
         }
         
+        Player p = zone.getPlayer();
+        if (p != null){
+            p.updateLabelObservers();
+        }
+
         final HashMap<String, Object> runParams = new HashMap<String, Object>();
         runParams.put("Card", lastKnownInfo);
         if (prev != null) {

src/main/java/forge/Player.java

@@ -2734,6 +2734,10 @@ public abstract class Player extends GameEntity {
         return this.mustAttackEntity;
     }
     
+    public final void updateLabelObservers() {
+        this.getZone(Zone.Hand).updateObservers();
+    }
+
     // //////////////////////////////
     //
     // generic Object overrides