Added setRandom to RandomHelper

Author: ic0ns

src/main/java/de/rub/nds/modifiablevariable/util/RandomHelper.java

@@ -28,6 +28,10 @@ public static BadRandom getBadSecureRandom() {
         return new BadRandom(getRandom(), null);
     }
 
+    public static void setRandom(Random random) {
+        RandomHelper.random = random;
+    }
+
     private RandomHelper() {
     }
 }