Whose gmail credentials were used in the phone? Strange that if it were his, then it should work. Does he remember if there are any other accounts used in the phone?

You can try this one:
http://samxan.wordpress.com/2012/08/...galaxy-pocket/

NOTE: THIS WILL FORCE FACTORY RESET ON THE PHONE. ANY DATA IN THE PHONE WILL BE LOST.