From ac7f34d3f5f4dfef5d9355b4634b7020492f6644 Mon Sep 17 00:00:00 2001
From: Ryan1729 <ryan1729@gmail.com>
Date: Sun, 6 Oct 2019 01:40:15 -0600
Subject: [PATCH] Cast to Object as recommended by warning

---
 .../src/main/java/forge/toolbox/special/PlayerDetailsPanel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/forge-gui-desktop/src/main/java/forge/toolbox/special/PlayerDetailsPanel.java b/forge-gui-desktop/src/main/java/forge/toolbox/special/PlayerDetailsPanel.java
index bccc0c274d9..59afc0532b9 100644
--- a/forge-gui-desktop/src/main/java/forge/toolbox/special/PlayerDetailsPanel.java
+++ b/forge-gui-desktop/src/main/java/forge/toolbox/special/PlayerDetailsPanel.java
@@ -213,7 +213,7 @@ public class PlayerDetailsPanel extends JPanel {
         }
 
         public void setToolTip(final String... args) {
-            super.setToolTipText(String.format(tooltip, args));
+            super.setToolTipText(String.format(tooltip, (Object) args));
         }
 
         @Override