From 445a8a242e127934004819c5160a1d72550cde72 Mon Sep 17 00:00:00 2001
From: LevelX2 <ludwig.hirth@online.de>
Date: Wed, 14 Sep 2016 19:02:27 +0200
Subject: [PATCH] * Reverted the library quick fix for random because
 RandomUtil works now.

---
 Mage/src/main/java/mage/players/Library.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Mage/src/main/java/mage/players/Library.java b/Mage/src/main/java/mage/players/Library.java
index 73c258a4df3..0723ef547d5 100644
--- a/Mage/src/main/java/mage/players/Library.java
+++ b/Mage/src/main/java/mage/players/Library.java
@@ -38,13 +38,13 @@ import java.util.HashSet;
 import java.util.Iterator;
 import java.util.List;
 import java.util.Map;
-import java.util.Random;
 import java.util.Set;
 import java.util.UUID;
 import mage.cards.Card;
 import mage.constants.Zone;
 import mage.filter.FilterCard;
 import mage.game.Game;
+import mage.util.RandomUtil;
 
 /**
  *
@@ -52,7 +52,6 @@ import mage.game.Game;
  */
 public class Library implements Serializable {
 
-    private static Random rnd = new Random();
     private boolean emptyDraw;
     private final Deque<UUID> library = new ArrayDeque<>();
     private final UUID playerId;
@@ -75,7 +74,7 @@ public class Library implements Serializable {
     public void shuffle() {
         UUID[] shuffled = library.toArray(new UUID[0]);
         for (int n = shuffled.length - 1; n > 0; n--) {
-            int r = rnd.nextInt(n);
+            int r = RandomUtil.nextInt(n);;
             UUID temp = shuffled[n];
             shuffled[n] = shuffled[r];
             shuffled[r] = temp;