[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 7443a7e..b918505 100644 (file)
--- a/examples/java/app/bittorrent/Main.java
+++ b/examples/java/app/bittorrent/Main.java
@@ -8,13 +8,21 @@ package app.bittorrent;
 
 import org.simgrid.msg.Msg;
 import org.simgrid.msg.MsgException;
+import org.simgrid.msg.RngStream;
+
+class Main{
+  private Main() {
+    throw new IllegalAccessError("Utility class");
+  }
 
-public 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");
-      Msg.info("example : Bittorrent ../platforms/platform.xml bittorrent.xml");
+      Msg.info("example : Bittorrent ../platforms/cluster.xml bittorrent.xml");
       System.exit(1);
     }
 
@@ -23,6 +31,6 @@ public class Main{
     Msg.deployApplication(args[1]);
 
     /*  execute the simulation. */
-        Msg.run();
+    Msg.run();
   }
 }