scope is broken again for datarace and --atomicity=true

[andrecostea]

Patch ID: 2
Replace (INSERT) lines: 6 - 41
+: Object objR1 = new Object();
Replace (INSERT) lines: 39 - 39
-: return accounts[accountNumber].getBalance() == amount;
+: synchronized(objR1) { return accounts[accountNumber].getBalance() == amount; }

Replace (INSERT) lines: 31 - 33
-: int temp = accounts[accountNumber].getBalance();
temp = temp + amount;
accounts[accountNumber].setBalance(temp);
+: synchronized(objR1) { int temp = accounts[accountNumber].getBalance();
temp = temp + amount;
accounts[accountNumber].setBalance(temp); }

Replace (INSERT) lines: 23 - 25
-: int temp = accounts[accountNumber].getBalance();
temp = temp - amount;
accounts[accountNumber].setBalance(temp);
+: synchronized(objR1) { int temp = accounts[accountNumber].getBalance();
temp = temp - amount;
accounts[accountNumber].setBalance(temp); }