Fix multiple selection

Normand Briere

2019-06-27 f78dd18c66d607b693c0bf5937fc59181bf5a26b

 RandomNode.java
..
..
@@ -95,7 +95,7 @@
95
95
         
96
96
             //(int)(Math.random()*super.size());
97
97
         //globalcount++;
98
-        gcount += GrafreeD.mix3(rnd+12345,firstchoice*12345,gcount);
98
+        gcount += Grafreed.mix3(rnd+12345,firstchoice*12345,gcount);
99
99
         
100
100
         gcount &= 0x7fffffff;
101
101