+import org.simgrid.msg.RngStream;
+
+class Main{
+ private Main() {
+ throw new IllegalAccessError("Utility class");
+ }
+
+ public static void main(String[] args) {
+ int[] seed = { 12345, 12345, 12345, 12345, 12345, 12345 };
+ RngStream.setPackageSeed(seed);