Add java.util.random seed as initial parameter

- prepare for short save allowing to fully recreate initial lab
having only seed and x,y,depth paramters

java/org/artisanlogiciel/games/Main.java

@@ -16,7 +16,8 @@ public class Main
 
     public LabyMap generate2(MazeParamEditor params)
     {
-        LabyModel model = new LabyModel(params, new java.util.Random(1024L));
+        params.setSeed(1024L);
+        LabyModel model = new LabyModel(params);
         model.generateWithEntry(0, 0);
 
 	final int width = params.getWidth();

java/org/artisanlogiciel/games/MazeParamEditor.java

@@ -8,6 +8,7 @@ import java.util.Scanner;
  **/
 class MazeParamEditor implements MazeParams
 {
+    long seed;
     int width;
     int height;
     int maxdepth;
@@ -27,6 +28,11 @@ class MazeParamEditor implements MazeParams
 	maxdepth = console.nextInt();
     }
 
+    public long getSeed()
+    {
+        return seed;
+    }
+
     public int getWidth()
     {
 	return width;
@@ -51,6 +57,11 @@ class MazeParamEditor implements MazeParams
 	return name;
     }
 
+    public void setSeed(long seed)
+    {
+        this.seed = seed;
+    }
+
     public File getSaveDir()
     {
 	return labdir;

java/org/artisanlogiciel/games/MazeParams.java

@@ -7,6 +7,9 @@ import java.io.File;
  **/
 public interface MazeParams
 {
+    /** currently seed of java.util.random **/
+    public long getSeed();
+
     public int getWidth();
 
     public int getHeight();

java/org/artisanlogiciel/games/MazeParamsFixed.java

@@ -4,6 +4,7 @@ import java.io.File;
 
 public class MazeParamsFixed implements MazeParams
 {
+    long seed;
     int width;
     int height;
     int maxdepth;
@@ -27,10 +28,16 @@ public class MazeParamsFixed implements MazeParams
 	maxdepth=MD;
     }
 
-    public MazeParamsFixed(File saveDir, int W, int H, int MD)
+    public MazeParamsFixed(File saveDir, int W, int H, int MD, long seed)
     {
 	name = null;
 	setParams(saveDir,W,H,MD);
+	this.seed=seed;
+    }
+
+    public long getSeed()
+    {
+        return seed;
     }
 
     public int getWidth()