Replace/restore buttons.

Normand Briere

2019-07-17 a5580a47d246c1272b10adba68070f6e13da5e41

 RandomNode.java
..
..
@@ -5,7 +5,7 @@
5
5
     
6
6
     RandomNode()
7
7
     {
8
-        this("Random");
8
+        this("Switch");
9
9
     }
10
10
     
11
11
     RandomNode(String name)