From ef37e40f9f30ffbbead832730656db07ecf56408 Mon Sep 17 00:00:00 2001
From: LevelX2 <ludwig.hirth@online.de>
Date: Tue, 9 Oct 2012 22:15:02 +0200
Subject: [PATCH] Player.java was missing from previous commit.

---
 Mage/src/mage/players/Player.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Mage/src/mage/players/Player.java b/Mage/src/mage/players/Player.java
index 4ceeda99bc4..f7f27f8efc4 100644
--- a/Mage/src/mage/players/Player.java
+++ b/Mage/src/mage/players/Player.java
@@ -56,6 +56,7 @@ import mage.target.common.TargetCardInLibrary;
 import mage.util.Copyable;
 
 import java.io.Serializable;
+import java.util.ArrayList;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
@@ -91,6 +92,7 @@ public interface Player extends MageItem, Copyable<Player> {
     public boolean canPaySacrificeCost();
     public void setLifeTotalCanChange(boolean lifeTotalCanChange);
     public int damage(int damage, UUID sourceId, Game game, boolean combatDamage, boolean preventable);
+    public int damage(int damage, UUID sourceId, Game game, boolean combatDamage, boolean preventable, ArrayList<UUID> appliedEffects);
     public Cards getHand();
     public int getLandsPlayed();
     public int getLandsPerTurn();