From fbd3f5e7076c86204cce39ca4f164689362c9523 Mon Sep 17 00:00:00 2001 From: stefan-aws Date: Wed, 21 Feb 2024 21:11:20 +0000 Subject: [PATCH] add back constructor with supplier argument --- src/interop/java/Full/Random.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/interop/java/Full/Random.java b/src/interop/java/Full/Random.java index a186e8ca..94b38f75 100644 --- a/src/interop/java/Full/Random.java +++ b/src/interop/java/Full/Random.java @@ -12,6 +12,10 @@ public Random() { this.rng = ThreadLocal.withInitial(Random::createSecureRandom); } + public Random(Supplier supplier) { + this.rng = ThreadLocal.withInitial(supplier); + } + private static final SecureRandom createSecureRandom() { final SecureRandom rng = new SecureRandom(); // Required for proper initialization