Fix random/switch node.

Normand Briere

2019-05-01 d1e1417edc8a6ccf195b6da3270f22234dda61e4

 RandomNode.java
..
..
@@ -66,7 +66,7 @@
66
66
 //        if (!link2master && rnd != -1)
67
67
 //            new Exception().printStackTrace();
68
68
         
69
-        if (link2master && rnd != -1) // freeze current value
69
+        if (!random && rnd != -1) // freeze current value
70
70
             return super.reserve(rnd);
71
71
         
72
72
         if (firstchoice == 0)
..
..
@@ -142,7 +142,7 @@
142
142
         super.get(rnd).count++;
143
143
     //assert (child.count >= 0);
144
144
         
145
-        if (!link2master) // volatile value
145
+        if (random) // volatile value
146
146
             rnd = -1;
147
147
     }
148
148