Issue: there is a source of non determinism in the ultra-merge optimization...

Issue: there is a source of non determinism in the ultra-merge optimization level source code generator with collection interfaces. This leads to different results under Hudson and my computer (issue already encountered before but unsolved.)
I'm reinstalling the version which succeeds under Hudson.

tinfi/examples/sca-adl/advanced/ultra-merge-helloworld/src/test/java/example/hw/HelloWorldTestCase.java

@@ -119,17 +119,17 @@ public class HelloWorldTestCase extends TestCase {
     
     final static private String[] expecteds =
         new String[]{
-	        "Server3: begin printing...",
-	        "== hello world",
-	        "== hello world",
-	        "== hello world",
-	        "Server3: print done.",
             "Server: begin printing...",
             "-> hello world",
             "Server: print done.",
             "Server2: begin printing...",
             "=> hello world",
             "=> hello world",
-            "Server2: print done."
+            "Server2: print done.",
+	        "Server3: begin printing...",
+	        "== hello world",
+	        "== hello world",
+	        "== hello world",
+	        "Server3: print done."
         };
 }