Fix version manager.

Normand Briere

2019-08-12 8f1afe25ea8fc8801aab66331c32a50859a758c2

 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)