Thanks to TMO for updating the phones to Jelly Bean. There is unfortunately a couple of annoying bugs.
1. Every time I reboot the phone, it defaults the keyboard back to Swype. I purchased SwiftKey and like it better, and every time I switch the phone on I have to go to Settings and change the default input keyboard. I saw a similar problem pointed out in the Galaxy S3 forums, with someone suggesting that it is fixed in Android 4.2. It would be great if they could push a fix.
2. About once a week a 4x4 widget "Favorite Contacts" that I do not use and therefore erased, appears on one of my pages thus pushing away another 4x4 widget that I use (Cozi calendar). I tried to even add a new page to see if it would make a difference and the Favorite Contacts widget appeared on both; then when I removed it from one and put Cozi calendar back, after a while the Favorite contacts widget disappeared from the other page and there was another Cozi widget there too! It is really odd.
Thanks in advance for your answer.