fixed bug

diff --git a/Robust/src/Tests/Atomic4.java b/Robust/src/Tests/Atomic4.java
index 0f59381efe6d207d668572041be7bd822b756e76..bc029fc69ecfdaa7d20eca16280c734c872091fa 100644 (file)
--- a/Robust/src/Tests/Atomic4.java
+++ b/Robust/src/Tests/Atomic4.java
@@ -19,7 +19,7 @@ public class Atomic4 extends Thread {
                }
                atomic {
                        age = global new Integer(70);
-                       name = global new String("Harry Potter");
+                       name = global new String("John Smith");
                        at4.team[1] = global new People(name,age);
                        c = at4.team[1].getAge();
                }
@@ -34,19 +34,17 @@ public class Atomic4 extends Thread {
        }
 
        public int run() {
-               String name;
+               String name = "";
                int a;
                boolean old = false;
                atomic {
-                       //FIXME a bug value of trans commit is not saved
-                       //a = root.value.intValue();
                        a = team[1].getAge();
                        name = team[1].getName();
                        if(a > 65)
                                old = true;
                }
                if(old){
-                       System.printString(name + " gets Pension"); 
+                       System.printString(" gets Pension"); 
                        System.printString("\n");
                }
        }