[java] Fix RngStream.setPackageSeed

[simgrid.git] / examples / java / app / bittorrent / Main.java

diff --git a/examples/java/app/bittorrent/Main.java b/examples/java/app/bittorrent/Main.java
index 8c7fb2c..b918505 100644 (file)
--- a/examples/java/app/bittorrent/Main.java
+++ b/examples/java/app/bittorrent/Main.java
@@ -8,6 +8,7 @@ package app.bittorrent;
 
 import org.simgrid.msg.Msg;
 import org.simgrid.msg.MsgException;
+import org.simgrid.msg.RngStream;
 
 class Main{
   private Main() {
@@ -15,6 +16,9 @@ class Main{
   }
 
   public static void main(String[] args) throws MsgException {
+    int[] seed = { 12345, 12345, 12345, 12345, 12345, 12345 };
+    RngStream.setPackageSeed(seed);
+
     Msg.init(args);
     if(args.length < 2) {
       Msg.info("Usage   : Bittorrent platform_file deployment_file");